git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix pattern matching for rank 2 constructors, and add an example
7e3515cPhil Freeman
examples/passing/Rank2Data.psnew file+23
compare with golang
unifiedsplit
@@ -0,0 +1,23 @@
1+data Id = Id forall a. a -> a
2+
3+runId = \id a -> case id of
4+ Id f -> f a
5+
6+data Nat = Nat forall r. r -> (r -> r) -> r
7+
8+runNat = \nat -> case nat of
9+ Nat f -> f 0 (\n -> n + 1)
10+
11+zero = Nat (\zero _ -> zero)
12+
13+succ = \n -> case n of
14+ Nat f -> Nat (\zero succ -> succ (f zero succ))
15+
16+add = \n m -> case n of
17+ Nat f -> case m of
18+ Nat g -> Nat (\zero succ -> g (f zero succ) succ)
19+
20+one = succ zero
21+two = succ zero
22+four = add two two
23+fourNumber = runNat four
src/Language/PureScript/TypeChecker/Types.hs+2−2
@@ -474,8 +474,8 @@ inferBinder val (UnaryBinder ctor binder) = do
474 modulePath <- checkModulePath `fmap` lift get
474 modulePath <- checkModulePath `fmap` lift get
475 case M.lookup (qualify modulePath ctor) (dataConstructors env) of
475 case M.lookup (qualify modulePath ctor) (dataConstructors env) of
476 Just ty -> do
476 Just ty -> do
477− obj <- fresh
477+ Function [obj] ret <- replaceAllVarsWithUnknowns ty
478− ty `subsumes` (Function [obj] val)
478+ val `subsumes` ret
479 inferBinder obj binder
479 inferBinder obj binder
480 _ -> throwError $ "Constructor " ++ show ctor ++ " is not defined"
480 _ -> throwError $ "Constructor " ++ show ctor ++ " is not defined"
481inferBinder val (ObjectBinder props) = do
481inferBinder val (ObjectBinder props) = do