msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

LitE -> Lit

Browse Source
This commit is contained in:
crumbtoo
2023-12-18 15:42:41 -07:00
parent 52b7723ea0
commit d954734660
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tst/Arith.hs
View File

@@ -76,7 +76,7 @@ toCore expr = Program
] ]
where where
go :: ArithExpr -> Expr' go :: ArithExpr -> Expr'
go (IntA n) = LitE (IntL n) go (IntA n) = Lit (IntL n)
go (NegateA e) = "negate#" :$ go e go (NegateA e) = "negate#" :$ go e
go (IdA e) = "id" :$ go e go (IdA e) = "id" :$ go e
go (a :+ b) = f "+#" a b go (a :+ b) = f "+#" a b