6653db5 · rowtype-yoga/purescript-native

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

Fix #942

commit6653db51f88405f7bf7fe77f0f61bf0df3546784 authorPhil Freeman <paf31@cantab.net> dateFri 6 Mar 2015, 15:21 (12 years ago) parent96b7f82

2 files changed+17−1

unifiedsplit

examples/passing/QualifiedNames.pursnew file+11

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

1+module Data.Either where

3+data Either a b = Left a | Right b

5+module Main where

7+either :: forall a b c. (a -> c) -> (b -> c) -> Data.Either.Either a b -> c

8+either f _ (Data.Either.Left x) = f x

9+either _ g (Data.Either.Right y) = g y

10+

11+main = Debug.Trace.trace (either id id (Data.Either.Left "Done"))

src/Language/PureScript/CoreFn/Desugar.hs+6−1

@@ -190,12 +190,17 @@ moduleToCoreFn env (A.Module coms mn decls (Just exps)) =

190190--

191191findQualModules :: [A.Declaration] -> [ModuleName]

192192findQualModules decls =

193− let (f, _, _, _, _) = everythingOnValues (++) (const []) fqValues (const []) (const []) (const [])

193+ let (f, _, _, _, _) = everythingOnValues (++) (const []) fqValues fqBinders (const []) (const [])

194194 in f `concatMap` decls

195195 where

196196 fqValues :: A.Expr -> [ModuleName]

197197 fqValues (A.Var (Qualified (Just mn) _)) = [mn]

198+ fqValues (A.Constructor (Qualified (Just mn) _)) = [mn]

198199 fqValues _ = []

200+

201+ fqBinders :: A.Binder -> [ModuleName]

202+ fqBinders (A.ConstructorBinder (Qualified (Just mn) _) _) = [mn]

203+ fqBinders _ = []

199204

200205-- |

201206-- Desugars import declarations from AST to CoreFn representation.