aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2022-09-04TypoJuan J. Martinez
2022-09-04Revert "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-04Unneeded (duplicated) caseJuan J. Martinez
2022-09-04Use pure for pure valuesJuan J. Martinez
2022-09-04Guards, use themJuan J. Martinez
2022-09-04Resolving the value may add errors to stateJuan J. Martinez
In this way we preserve them (like in "return").
2022-09-04CommentJuan J. Martinez
2022-09-04Parse only flagJuan J. Martinez
2022-09-04Refactored typecheck valueJuan J. Martinez
2022-09-04Type-checking variable declarationJuan J. Martinez
2022-09-02Private only makes sense for global variablesJuan J. Martinez
Also make error reporting slightly better on statements.
2022-09-02Private variablesJuan J. Martinez
2022-09-02FormattingJuan J. Martinez
2022-09-02Perhaps we can have different backendsJuan J. Martinez
2022-09-02For completenessJuan J. Martinez
2022-09-01Use the position of the identJuan J. Martinez
2022-09-01Fix: if binNum fails, backtrackJuan J. Martinez
2022-09-01Variable declarationJuan J. Martinez
2022-09-01Refinement, formattingJuan J. Martinez
2022-08-31Manage the TODO with the language specJuan J. Martinez
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-30RewordingJuan J. Martinez
2022-08-30Refer to the language specJuan J. Martinez
2022-08-30TyposJuan J. Martinez
2022-08-22WIP of language specificationJuan J. Martinez
2022-08-21Changed comment formatJuan J. Martinez
2022-08-21Use # as line commentJuan J. Martinez
2022-08-21OrderJuan J. Martinez
2022-08-21Test for binary number parsingJuan J. Martinez
2022-08-21Support for binary numbers witg 0b[0-1] notationJuan J. Martinez
2022-08-21WordingJuan J. Martinez
2022-08-21Test lambdas can access local variables onlyJuan J. Martinez
2022-08-21Show the error types we gotJuan J. Martinez
2022-08-21Qualified undefined variable error, added testJuan J. Martinez
2022-08-20Refactor expectErrorJuan J. Martinez
We expect a specific error in a list of errors. Added case for call on non callable symbol.
2022-08-20Qualified as non callable errorJuan J. Martinez
2022-08-20Test nameJuan J. Martinez
2022-08-20Test nameJuan J. Martinez
2022-08-18Added CLIJuan J. Martinez
2022-08-18This words make the errors more readableJuan J. Martinez
2022-08-17More error testsJuan J. Martinez
2022-08-17More sensible error typesJuan J. Martinez
2022-08-17Missing dependencyJuan 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-16Added more testsJuan J. Martinez
2022-08-16Split in test casesJuan J. Martinez