From 2d1461d27fc9f23eae15062c9f799b23e86876cb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?An=C4=B1l=20Anar?= Date: Wed, 3 Oct 2018 15:21:23 +0200 Subject: Fix purescript array of ints/numbers Fixes #2026. --- purescript.html.markdown | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'purescript.html.markdown') diff --git a/purescript.html.markdown b/purescript.html.markdown index df0cb66e..6b74ac64 100644 --- a/purescript.html.markdown +++ b/purescript.html.markdown @@ -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` -- cgit v1.2.3