diff options
| author | Anıl Anar <anilanar@users.noreply.github.com> | 2018-10-03 15:21:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 15:21:23 +0200 |
| commit | 2d1461d27fc9f23eae15062c9f799b23e86876cb (patch) | |
| tree | 55ba7a6c97a6054036b0c8f34810309d1bde8b54 /purescript.html.markdown | |
| parent | 6cfd618df3edea644199f9ec4b2cbc90e0465814 (diff) | |
Fix purescript array of ints/numbers
Fixes #2026.
Diffstat (limited to 'purescript.html.markdown')
| -rw-r--r-- | purescript.html.markdown | 3 |
1 files changed, 2 insertions, 1 deletions
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` |