summaryrefslogtreecommitdiff
path: root/testdata/language-features/adt
AgeCommit message (Expand)Author
2016-04-28better names for free variablesPéter Diviánszky
2016-04-28generate less variable namesPéter Diviánszky
2016-04-22refactoring: ask less for desugarInfo during parsing; bugfix: fix parser mona...Péter Diviánszky
2016-04-18refactoringPéter Diviánszky
2016-04-16use module ids in more places; side effect: better error messagesPéter Diviánszky
2016-02-15show trace only on demandPéter Diviánszky
2016-02-15refactoringPéter Diviánszky
2016-02-15put trace info in .out filesPéter Diviánszky
2016-02-12switch to megaparsecPéter Diviánszky
2016-02-08simplify label handling (some test may be slower because of a TODO)Péter Diviánszky
2016-02-05support ADT records with repeated field namePéter Diviánszky
2016-02-03more uniform handling of literalsPéter Diviánszky
2016-02-01erease CaseFun's type parametersPéter Diviánszky
2016-02-01fix bug; CaseFun's last argument is neutralPéter Diviánszky
2016-02-01erease lambda argument type and constructor type parametersPéter Diviánszky
2016-01-29hide CoreToIR's expression representationPéter Diviánszky
2016-01-25apply hlint suggestionsPéter Diviánszky
2016-01-23major refactoringPéter Diviánszky
2016-01-22better redefine error messages; move another wip testPéter Diviánszky
2016-01-22add & delete .out filesPéter Diviánszky
2016-01-22work on closed expression recognition; fix 3 redefine testsPéter Diviánszky
2016-01-22accept wip resultPéter Diviánszky
2016-01-21Add gadt related testsAndor Penzes
2016-01-21Move adt test cases to a dirAndor Penzes
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:33:44 +0000