| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-09-08 | Licence clarification | Juan J. Martinez | |
| 2022-09-07 | Better project layout, removed warnings | Juan J. Martinez | |
| 2022-09-07 | Some docs on operators | Juan J. Martinez | |
| 2022-09-07 | This is missing | Juan J. Martinez | |
| 2022-09-06 | Typecheck binary operator | Juan J. Martinez | |
| 2022-09-06 | Assignation | Juan J. Martinez | |
| 2022-09-06 | Split statement parsers to get better error reporting | Juan J. Martinez | |
| Also prevents duplicated parsers for var. | |||
| 2022-09-06 | Group variable declaration | Juan J. Martinez | |
| 2022-09-05 | Much simpler | 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 | Parse only flag | 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 only makes sense for global variables | Juan J. Martinez | |
| Also make error reporting slightly better on statements. | |||
| 2022-09-02 | Private variables | Juan J. Martinez | |
| 2022-09-02 | Formatting | Juan J. Martinez | |
| 2022-09-02 | Perhaps we can have different backends | Juan J. Martinez | |
| 2022-09-02 | For completeness | Juan J. Martinez | |
| 2022-09-01 | Use the position of the ident | Juan J. Martinez | |
| 2022-09-01 | Fix: if binNum fails, backtrack | Juan J. Martinez | |
| 2022-09-01 | Variable declaration | Juan J. Martinez | |
| 2022-09-01 | Refinement, formatting | Juan J. Martinez | |
| 2022-08-31 | Manage the TODO with the language spec | 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-30 | Rewording | Juan J. Martinez | |
| 2022-08-30 | Refer to the language spec | Juan J. Martinez | |
| 2022-08-30 | Typos | Juan J. Martinez | |
| 2022-08-22 | WIP of language specification | Juan J. Martinez | |
| 2022-08-21 | Changed comment format | Juan J. Martinez | |
| 2022-08-21 | Use # as line comment | Juan J. Martinez | |
| 2022-08-21 | Order | Juan J. Martinez | |
| 2022-08-21 | Test for binary number parsing | Juan J. Martinez | |
| 2022-08-21 | Support for binary numbers witg 0b[0-1] notation | Juan J. Martinez | |
| 2022-08-21 | Wording | Juan J. Martinez | |
| 2022-08-21 | Test lambdas can access local variables only | Juan J. Martinez | |
| 2022-08-21 | Show the error types we got | Juan J. Martinez | |
| 2022-08-21 | Qualified undefined variable error, added test | Juan J. Martinez | |
| 2022-08-20 | Refactor expectError | Juan J. Martinez | |
| We expect a specific error in a list of errors. Added case for call on non callable symbol. | |||
| 2022-08-20 | Qualified as non callable error | Juan J. Martinez | |
| 2022-08-20 | Test name | Juan J. Martinez | |
 |
index : micro-lang-hs | |
| Micro is a toy programming language implemented in Haskell | Juan J. Martinez |
| aboutsummaryrefslogtreecommitdiff |