summaryrefslogtreecommitdiff
path: root/src/Parser
AgeCommit message (Collapse)Author
2024-09-18Make sure identifier starts with a letterRoman Smrž
2024-09-17Type variables and simple unificationRoman Smrž
2024-08-11Remove emptyVarValue from ExprType classRoman Smrž
2024-08-11Remove MonadEval instance for TestParserRoman Smrž
2024-08-11Parser: try ParamType Either branches with cleared delayed errorsRoman Smrž
Changelog: Fix type error reporting for some command parameters
2024-08-07Parser: collect toplevel definitions using WriterRoman Smrž
2024-08-07Replace first command (wait) with a builtinRoman Smrž
2024-08-07Parser: report multiple errors in some casesRoman Smrž
Changelog: Report multiple parsing errors in single pass
2024-08-02Module name declarationRoman Smrž
Changelog: Accept module name declaration
2024-02-21Update to support mtl-2.3Roman Smrž
2023-10-23Flush commandRoman Smrž
Changelog: Add 'flush' command
2023-07-13Show record selectors in failure reportsRoman Smrž
Changelog: Show record selectors in failure reports
2023-04-24Fix parsing of two-element listsRoman Smrž
2023-04-23Drop unused ProcName parameter type instanceRoman Smrž
2023-04-23Split parser into several modulesRoman Smrž