| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-09-06 | Typecheck binary operator | Juan J. Martinez | |
| 2022-09-06 | Assignation | Juan J. Martinez | |
| 2022-09-04 | Typo, formatting of comment | Juan J. Martinez | |
| 2022-09-04 | Ccmment clarifying the case | Juan J. Martinez | |
| 2022-09-04 | Typo | Juan J. Martinez | |
| 2022-09-04 | Revert "Unneeded (duplicated) case" | Juan J. Martinez | |
| It is actually needed because when we resolve the parameters it is possible some of them are wrong and we may end with a number of "right" that is less than the number of parameters we had initially. This reverts commit 72dc8f0490a26c2438b5eff9fe29a3197036d6e5. | |||
| 2022-09-04 | Unneeded (duplicated) case | Juan J. Martinez | |
| 2022-09-04 | Use pure for pure values | Juan J. Martinez | |
| 2022-09-04 | Guards, use them | Juan J. Martinez | |
| 2022-09-04 | Resolving the value may add errors to state | Juan J. Martinez | |
| In this way we preserve them (like in "return"). | |||
| 2022-09-04 | Comment | Juan J. Martinez | |
| 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 | |
| Dynamic allocation (and hence closures) is not supported. | |||
| 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 | |
| Also removed unused as-pattern. | |||
| 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 | |
| This makes lambda calls work. | |||
| 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 | |
 |
index : micro-lang-hs | |
| Micro is a toy programming language implemented in Haskell | Juan J. Martinez |
| aboutsummaryrefslogtreecommitdiff |