Merge branch 'master' of github.com:purescript/purescript
commit813d98569462a2b6752b211e8729d571c277c3c3
authorjoneshf <jones3.hardy@gmail.com>
dateMon 10 Mar 2014, 10:50 (13 years ago)
parent92c15005a1cbdc
RELEASE-0.5.md+2
@@ -41,6 +41,8 @@
4141- PSCI now evaluates expressions (joneshf)
4242- Overlapping variables in typeclass instances are rejected (paf31)
4343- A bug in the optimizer related to inlining was fixed (paf31)
44+- A type checker bug related to array literals was fixed (paf31)
45+- Externs files (`--externs`) are now working again (paf31)
4446
4547### Libraries
4648
src/Language/PureScript/TypeChecker/Types.hs+2−1
@@ -716,7 +716,8 @@ check' v@(StringLiteral _) t | t == tyString =
716716 return $ TypedValue True v t
717717check' v@(BooleanLiteral _) t | t == tyBoolean =
718718 return $ TypedValue True v t
719−check' (ArrayLiteral vals) t@(TypeApp a ty) | a == tyArray = do
719+check' (ArrayLiteral vals) t@(TypeApp a ty) = do
720+ a =?= tyArray
720721 array <- ArrayLiteral <$> forM vals (`check` ty)
721722 return $ TypedValue True array t
722723check' (Abs (Left arg) ret) ty@(TypeApp (TypeApp t argTy) retTy) | t == tyFunction = do