From d541e0f84ae8f82f70e2393207d359975841facf Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 20 Nov 2019 22:47:52 +0100 Subject: lambdarec for singly-recursive lambda's --- AST.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'AST.hs') diff --git a/AST.hs b/AST.hs index f8b5e5b..a096227 100644 --- a/AST.hs +++ b/AST.hs @@ -15,6 +15,7 @@ data Value | VQuoted Value | VDefine Name Value | VLambda [Name] Value + | VLambdaRec Name [Name] Value | VLet [(Name, Value)] Value | VBuiltin String | VEllipsis @@ -32,6 +33,7 @@ instance Show Value where show (VQuoted e) = '\'' : show e show (VDefine n v) = "(define " ++ n ++ " " ++ show v ++ ")" show (VLambda as v) = "(lambda (" ++ intercalate " " as ++ ") " ++ show v ++ ")" + show (VLambdaRec rn as v) = "(lambdarec " ++ rn ++ " (" ++ intercalate " " as ++ ") " ++ show v ++ ")" show (VLet ps v) = "(let (" ++ intercalate " " ["(" ++ n ++ " " ++ show w ++ ")" | (n, w) <- ps] ++ ") " ++ show v ++ ")" show (VBuiltin str) = "[[builtin " ++ str ++ "]]" show VEllipsis = "..." -- cgit v1.2.3-70-g09d2