7582dc7 · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

#458

commit7582dc7e774eba155bcf6e486e3d0c7167e2e925 authorPhil Freeman <paf31@cantab.net> dateThu 3 Jul 2014, 19:20 (12 years ago) parenta43b772

3 files changed+14−3

unifiedsplit

examples/failing/ArrayType.pursnew file+11

@@ -0,0 +1,11 @@

1+module Main where

3+import Debug.Trace

5+bar :: Number -> Number -> Number

6+bar n m = n + m

8+foo = x `bar` y

9+ where

10+ x = 1

11+ y = []

purescript.cabal+1−1

@@ -1,5 +1,5 @@

11name: purescript

2−version: 0.5.2.5

2+version: 0.5.2.6

33cabal-version: >=1.8

44build-type: Custom

55license: MIT

src/Language/PureScript/TypeChecker/Types.hs+2−2

@@ -600,8 +600,8 @@ infer' v@(BooleanLiteral _) = return $ TypedValue True v tyBoolean

600600infer' (ArrayLiteral vals) = do

601601 ts <- mapM infer vals

602602 els <- fresh

603− forM_ ts $ \(TypedValue _ _ t) -> els =?= TypeApp tyArray t

604− return $ TypedValue True (ArrayLiteral ts) els

603+ forM_ ts $ \(TypedValue _ _ t) -> els =?= t

604+ return $ TypedValue True (ArrayLiteral ts) (TypeApp tyArray els)

605605infer' (ObjectLiteral ps) = do

606606 ensureNoDuplicateProperties ps

607607 ts <- mapM (infer . snd) ps