git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Merge pull request #672 from purescript/671
3415457Phil Freeman
examples/passing/MutRec2.pursnew file+17
compare with golang
unifiedsplit
@@ -0,0 +1,17 @@
1+module Main where
2+
3+data A = A B
4+
5+data B = B A
6+
7+foreign import data S :: *
8+
9+f :: A -> S
10+f a = case a of A b -> g b
11+
12+g b = case b of B a -> f a
13+
14+showN :: A -> S
15+showN a = f a
16+
17+main = Debug.Trace.trace "Done"
examples/passing/MutRec3.pursnew file+17
@@ -0,0 +1,17 @@
1+module Main where
2+
3+data A = A B
4+
5+data B = B A
6+
7+foreign import data S :: *
8+
9+f a = case a of A b -> g b
10+
11+g :: B -> S
12+g b = case b of B a -> f a
13+
14+showN :: A -> S
15+showN a = f a
16+
17+main = Debug.Trace.trace "Done"
src/Language/PureScript/TypeChecker.hs+5−1
@@ -183,7 +183,11 @@ typeCheckAll mainModuleName moduleName exps = go
183 forM_ (map (\(ident, _, _) -> ident) vals) $ \name ->
183 forM_ (map (\(ident, _, _) -> ident) vals) $ \name ->
184 valueIsNotDefined moduleName name
184 valueIsNotDefined moduleName name
185 tys <- typesOf mainModuleName moduleName $ map (\(ident, _, ty) -> (ident, ty)) vals
185 tys <- typesOf mainModuleName moduleName $ map (\(ident, _, ty) -> (ident, ty)) vals
186− vals' <- forM (zipWith (\(name, nameKind, _) (_, (val, ty)) -> (name, val, nameKind, ty)) vals tys) $ \(name, val, nameKind, ty) -> do
186+ vals' <- forM [ (name, val, nameKind, ty)
187+ | (name, nameKind, _) <- vals
188+ , (name', (val, ty)) <- tys
189+ , name == name'
190+ ] $ \(name, val, nameKind, ty) -> do
187 addValue moduleName name ty nameKind
191 addValue moduleName name ty nameKind
188 return (name, nameKind, val)
192 return (name, nameKind, val)
189 return $ BindingGroupDeclaration vals'
193 return $ BindingGroupDeclaration vals'