parse lambda

src/Rlp/AltParse.y

@@ -45,6 +45,7 @@ import Core.Syntax              qualified as Core
     '|'             { Located _ TokenPipe }
     '::'            { Located _ TokenHasType }
     ';'             { Located _ TokenSemicolon }
+    'λ'             { Located _ TokenLambda }
     '('             { Located _ TokenLParen }
     ')'             { Located _ TokenRParen }
     '->'            { Located _ TokenArrow }
@@ -128,6 +129,10 @@ Expr                :: { RlpExpr PsName }
                     | LetE                  { $1 }
                     | CaseE                 { $1 }
                     | Expr1                 { $1 }
+                    | LamE                  { $1 }
+
+LamE                :: { RlpExpr PsName }
+                    : 'λ' list0(varname) '->' Expr { Finl $ Core.LamF (fmap extractName $2) $4 }
 
 CaseE               :: { RlpExpr PsName }
                     : case Expr of CaseAlts { Finr $ CaseEF $2 $4 }
@@ -222,4 +227,6 @@ parseRlpExprR s = liftErrorful $ errorful (ma,es)
 
 parseError = error "explode"
 
+extractName = view $ to extract . singular _TokenVarName
+
 }

src/Rlp/HindleyMilner.hs

@@ -70,7 +70,6 @@ instance IsRlpcError TypeError where
 -- throw any number of fatal or nonfatal errors. Run with @runErrorful@.
 type HMError = Errorful TypeError
 
-infer = undefined
 check = undefined
 
 fixCofree :: (Functor f, Functor g)
@@ -164,6 +163,9 @@ solve :: [Constraint] -> Maybe Subst
 solve = foldM go mempty where
     go s (Equality a b) = applySubst s a `mgu` applySubst s b
 
+infer :: RlpExpr PsName -> Cofree (RlpExprF PsName) (Type PsName)
+infer = undefined
+
 demoContext :: Context'
 demoContext = H.fromList
     [ ("id", ForallT "a" $ VarT "a" :-> VarT "a")

src/Rlp/Lex.x

@@ -170,6 +170,7 @@ lexReservedOp = \case
     ":"     -> TokenHasType
     "|"     -> TokenPipe
     "->"    -> TokenArrow
+    "\\"    -> TokenLambda
     s       -> error (show s)
 
 -- | @andBegin@, with the subtle difference that the start code is set