Fix purescript array of ints/numbers

Fixes #2026.
This commit is contained in:
Anıl Anar 2018-10-03 15:21:23 +02:00 committed by GitHub
parent 6cfd618df3
commit 2d1461d27f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -71,7 +71,8 @@ world""" -- "Hello\nworld"
--
-- 2. Arrays are Javascript arrays, but must be homogeneous
[1,1,2,3,5,8] :: Array Number -- [1,1,2,3,5,8]
[1,1,2,3,5,8] :: Array Int -- [1,1,2,3,5,8]
[1.2,2.0,3.14] :: Array Number -- [1.2,2.0,3.14]
[true, true, false] :: Array Boolean -- [true,true,false]
-- [1,2, true, "false"] won't work
-- `Cannot unify Prim.Int with Prim.Boolean`