aboutsummaryrefslogtreecommitdiff
path: root/snug-clean
AgeCommit message (Collapse)AuthorFilesLines
2023-06-18Add automated testsCamil Staps6-17/+82
2023-03-05Implement apCamil Staps5-5/+44
2023-02-28Refactor, return MaybeError from lookupFunction and lookupConstructorCamil Staps1-20/+22
2023-02-28Remove aborts in Snug.Compile, use MonadFail insteadCamil Staps4-39/+45
2023-02-17Pass errors using MonadFail, avoid abortsCamil Staps3-11/+20
2023-02-01Implement basic uses of localsCamil Staps3-26/+56
2023-02-01Fix argument order in function callsCamil Staps1-2/+2
2023-02-01Remove ambiguity from function definition syntax: Type (x y) could have Type ↵Camil Staps1-1/+1
as kind *->*, or (x y) could be the rhs
2023-01-31Use <<|> instead of <|> in parser to reduce memory usageCamil Staps1-18/+23
2023-01-31Minor improvements; implement saturated function and constructor applicationsCamil Staps5-4/+66
2023-01-30Add compilation for symbols with arity 0Camil Staps3-1/+48
2023-01-30Align on halfwords instead of double words; use data/text boundary to ↵Camil Staps5-8/+19
distinguish hnfs and thunks
2023-01-30Align on double wordsCamil Staps1-1/+1
2023-01-28Add stack simulator for compilationCamil Staps5-52/+217
2023-01-27Add compilation of constructors and basic valuesCamil Staps6-3/+440
2023-01-23Add Clean parser for snugCamil Staps8-0/+368