git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Merge branch 'master' of github.com:purescript/purescript
813d985joneshf
RELEASE-0.5.md+2
compare with golang
unifiedsplit
@@ -41,6 +41,8 @@
41- PSCI now evaluates expressions (joneshf)
41- PSCI now evaluates expressions (joneshf)
42- Overlapping variables in typeclass instances are rejected (paf31)
42- Overlapping variables in typeclass instances are rejected (paf31)
43- A bug in the optimizer related to inlining was fixed (paf31)
43- 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)
44
46
45### Libraries
47### Libraries
46
48
src/Language/PureScript/TypeChecker/Types.hs+2−1
@@ -716,7 +716,8 @@ check' v@(StringLiteral _) t | t == tyString =
716 return $ TypedValue True v t
716 return $ TypedValue True v t
717check' v@(BooleanLiteral _) t | t == tyBoolean =
717check' v@(BooleanLiteral _) t | t == tyBoolean =
718 return $ TypedValue True v t
718 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
720 array <- ArrayLiteral <$> forM vals (`check` ty)
721 array <- ArrayLiteral <$> forM vals (`check` ty)
721 return $ TypedValue True array t
722 return $ TypedValue True array t
722check' (Abs (Left arg) ret) ty@(TypeApp (TypeApp t argTy) retTy) | t == tyFunction = do
723check' (Abs (Left arg) ret) ty@(TypeApp (TypeApp t argTy) retTy) | t == tyFunction = do