index
:
micro-lang-hs
main
Micro is a toy programming language implemented in Haskell
Juan J. Martinez
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Compiler.hs
Age
Commit message (
Expand
)
Author
2022-09-04
Refactored typecheck value
Juan J. Martinez
2022-09-04
Type-checking variable declaration
Juan J. Martinez
2022-09-02
Private variables
Juan J. Martinez
2022-09-01
Variable declaration
Juan J. Martinez
2022-08-31
Technically is the function type itself what is testing
Juan J. Martinez
2022-08-30
Check undefined types
Juan J. Martinez
2022-08-30
Boolean type, and true/false symbols
Juan J. Martinez
2022-08-21
Qualified undefined variable error, added test
Juan J. Martinez
2022-08-20
Qualified as non callable error
Juan J. Martinez
2022-08-18
This words make the errors more readable
Juan J. Martinez
2022-08-17
More sensible error types
Juan J. Martinez
2022-08-16
Unexpected return error
Juan J. Martinez
2022-08-16
Test labels, test for errors WIP
Juan J. Martinez
2022-08-15
Unify error reporting
Juan J. Martinez
2022-08-14
Limit lambdas to only use local variables
Juan J. Martinez
2022-08-14
Unnecessary parenthesis
Juan J. Martinez
2022-08-14
Case removed by mistake
Juan J. Martinez
2022-08-14
Missing case
Juan J. Martinez
2022-08-14
Missing case
Juan J. Martinez
2022-08-14
Typechecking return
Juan J. Martinez
2022-08-14
Provide information about types
Juan J. Martinez
2022-08-14
Typecheck function calls
Juan J. Martinez
2022-08-14
Extract code to add errors to the state
Juan J. Martinez
2022-08-14
Check arity
Juan J. Martinez
2022-08-14
Slightly better error message
Juan J. Martinez
2022-08-14
Return the type of the function
Juan J. Martinez
2022-08-14
Check type of expressions in calls to be callable
Juan J. Martinez
2022-08-13
We need to keep the function definition in the enviroment
Juan J. Martinez
2022-08-13
Extracted function
Juan J. Martinez
2022-08-13
Probably better
Juan J. Martinez
2022-08-13
Split in modules
Juan J. Martinez
2022-08-12
Initial import
Juan J. Martinez