aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
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-16Missing casesJuan J. Martinez
2022-08-16Test labels, test for errors WIPJuan J. Martinez
2022-08-15Try call before lambdaJuan J. Martinez
2022-08-15Unify error reportingJuan J. Martinez
2022-08-15Better error reportingJuan J. Martinez
These don't need backtracking.
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-14Removed extra endlJuan J. Martinez
2022-08-14Display 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-13Use as-patternJuan J. Martinez
2022-08-13TypoJuan J. Martinez
2022-08-13Improved documentationJuan 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:44:14 +0000