git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix finally tagless encoding bug, add example.
3339928Phil Freeman
examples/passing/FinalTagless.pursnew file+22
compare with golang
unifiedsplit
@@ -0,0 +1,22 @@
1+module Main where
2+
3+import Prelude
4+
5+class E e where
6+ num :: Number -> e Number
7+ add :: e Number -> e Number -> e Number
8+
9+type Expr a = forall e. (E e) => e a
10+
11+data Id a = Id a
12+
13+instance exprId :: E Id where
14+ num = Id
15+ add (Id n) (Id m) = Id (n + m)
16+
17+runId (Id a) = a
18+
19+three :: Expr Number
20+three = add (num 1) (num 2)
21+
22+main = Debug.Trace.print $ runId three
src/Language/PureScript/Sugar/BindingGroups.hs+5
@@ -25,6 +25,7 @@ import Data.Data
25import Data.Graph
25import Data.Graph
26import Data.Generics
26import Data.Generics
27import Data.List (nub, intersect)
27import Data.List (nub, intersect)
28+import Data.Maybe (mapMaybe)
28import Control.Applicative ((<$>), (<*>), pure)
29import Control.Applicative ((<$>), (<*>), pure)
29
30
30import Language.PureScript.Declarations
31import Language.PureScript.Declarations
@@ -89,6 +90,10 @@ usedProperNames :: (Data d) => ModuleName -> d -> [ProperName]
89usedProperNames moduleName = nub . everything (++) (mkQ [] usedNames)
90usedProperNames moduleName = nub . everything (++) (mkQ [] usedNames)
90 where
91 where
91 usedNames :: Type -> [ProperName]
92 usedNames :: Type -> [ProperName]
93+ usedNames (ConstrainedType constraints _) = flip mapMaybe constraints $ \qual ->
94+ case qual of
95+ (Qualified (Just moduleName') name, _) | moduleName == moduleName' -> Just name
96+ _ -> Nothing
92 usedNames (TypeConstructor (Qualified (Just moduleName') name)) | moduleName == moduleName' = [name]
97 usedNames (TypeConstructor (Qualified (Just moduleName') name)) | moduleName == moduleName' = [name]
93 usedNames _ = []
98 usedNames _ = []
94
99