From bb40cbba2ac51276ea51c474767764252a5a89a4 Mon Sep 17 00:00:00 2001 From: sebastian Date: Wed, 17 May 2023 19:18:40 +0200 Subject: [PATCH] STLC BI and HM compatible --- sample-programs/working/STLC.crf | 3 ++- sample-programs/working/{addition.chrf => addition.crf} | 0 2 files changed, 2 insertions(+), 1 deletion(-) rename sample-programs/working/{addition.chrf => addition.crf} (100%) diff --git a/sample-programs/working/STLC.crf b/sample-programs/working/STLC.crf index d5fcdac..a3bd455 100644 --- a/sample-programs/working/STLC.crf +++ b/sample-programs/working/STLC.crf @@ -85,6 +85,7 @@ eq t1 t2 = case t1 of True => r _ => False +.++ : List a -> List a -> List a .++ xs ys = case xs of Nil => ys Cons a as => Cons a (as ++ ys) @@ -108,6 +109,6 @@ pretty t = case t of getType c e = case infer c e of Nothing => printStr "fail" Just p => case p of - Pair t _ => printStr (pretty t) + Pair t e => printStr (pretty t) main = getType emptyCtx expression diff --git a/sample-programs/working/addition.chrf b/sample-programs/working/addition.crf similarity index 100% rename from sample-programs/working/addition.chrf rename to sample-programs/working/addition.crf