aboutsummaryrefslogtreecommitdiff
path: root/src/Compiler.hs
AgeCommit message (Collapse)Author
2022-08-31Technically is the function type itself what is testingJuan J. Martinez
2022-08-30Check undefined typesJuan J. Martinez
2022-08-30Boolean type, and true/false symbolsJuan J. Martinez
2022-08-21Qualified undefined variable error, added testJuan J. Martinez
2022-08-20Qualified as non callable errorJuan J. Martinez
2022-08-18This words make the errors more readableJuan J. Martinez
2022-08-17More sensible error typesJuan J. Martinez
2022-08-16Unexpected return errorJuan J. Martinez
2022-08-16Test labels, test for errors WIPJuan J. Martinez
2022-08-15Unify error reportingJuan J. Martinez
2022-08-14Limit lambdas to only use local variablesJuan J. Martinez
Dynamic allocation (and hence closures) is not supported.
2022-08-14Unnecessary parenthesisJuan J. Martinez
2022-08-14Case removed by mistakeJuan J. Martinez
2022-08-14Missing caseJuan J. Martinez
Also removed unused as-pattern.
2022-08-14Missing caseJuan J. Martinez
2022-08-14Typechecking returnJuan J. Martinez
2022-08-14Provide information about typesJuan J. Martinez
2022-08-14Typecheck function callsJuan J. Martinez
2022-08-14Extract code to add errors to the stateJuan J. Martinez
2022-08-14Check arityJuan J. Martinez
2022-08-14Slightly better error messageJuan J. Martinez
2022-08-14Return the type of the functionJuan J. Martinez
This makes lambda calls work.
2022-08-14Check type of expressions in calls to be callableJuan J. Martinez
2022-08-13We need to keep the function definition in the enviromentJuan J. Martinez
2022-08-13Extracted functionJuan J. Martinez
2022-08-13Probably betterJuan J. Martinez
2022-08-13Split in modulesJuan J. Martinez
2022-08-12Initial importJuan J. Martinez
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-15 20:48:53 +0000