summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-04-28fix naming of free variablesPéter Diviánszky
2016-04-28refactoringPéter Diviánszky
2016-04-28refactoringPéter Diviánszky
2016-04-28refactoringPéter Diviánszky
2016-04-28unify Doc types; better expr. pretty printPéter Diviánszky
2016-04-28switch to ansi-wl-pprintPéter Diviánszky
2016-04-28refactoringPéter Diviánszky
2016-04-28refactoringPéter Diviánszky
2016-04-28always show parensPéter Diviánszky
2016-04-28better names for free variablesPéter Diviánszky
2016-04-28generate less variable namesPéter Diviánszky
2016-04-28refactored pretty print frameworkPéter Diviánszky
2016-04-27adjust .out filesPéter Diviánszky
2016-04-27split modulePéter Diviánszky
2016-04-27refactoringPéter Diviánszky
2016-04-27refactoringPéter Diviánszky
2016-04-27refactoringPéter Diviánszky
2016-04-27simplificationPéter Diviánszky
2016-04-27simplificationPéter Diviánszky
2016-04-27refactor implicit forall handlingPéter Diviánszky
2016-04-27split modulesPéter Diviánszky
2016-04-26fix buildPéter Diviánszky
2016-04-26split desugared source code representation into a separate modulePéter Diviánszky
2016-04-26refactoringPéter Diviánszky
2016-04-26refactoringPéter Diviánszky
2016-04-26refactoringPéter Diviánszky
2016-04-26refactoringPéter Diviánszky
2016-04-26eliminate an error callPéter Diviánszky
2016-04-26export SPos (needed by the editor)Péter Diviánszky
2016-04-25warn in case of uncovered patterns (first version)Péter Diviánszky
2016-04-25emit warnings on unreachable right hand sidesPéter Diviánszky
2016-04-25cleanupPéter Diviánszky
2016-04-25fix build & refactoringPéter Diviánszky
2016-04-25refactoringPéter Diviánszky
2016-04-25refactoringPéter Diviánszky
2016-04-24add Utils modulePéter Diviánszky
2016-04-24simplificationPéter Diviánszky
2016-04-24simplificationPéter Diviánszky
2016-04-24use count'Péter Diviánszky
2016-04-24switch to megaparsec-4.4; use RWS monad instead of Reader+Writer+StatePéter Diviánszky
2016-04-22refactoring: ask less for desugarInfo during parsing; bugfix: fix parser mona...Péter Diviánszky
2016-04-22support pattern type annotationsPéter Diviánszky
2016-04-21simplificationPéter Diviánszky
2016-04-21support pattern guardsPéter Diviánszky
2016-04-21support view patternsPéter Diviánszky
2016-04-21support guards + wherePéter Diviánszky
2016-04-21adjust test casesPéter Diviánszky
2016-04-21improvements: A) as-patterns are working now; B) do not crash on undefined co...Péter Diviánszky
2016-04-21refactoringPéter Diviánszky
2016-04-21refactoringPéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 20:33:03 +0000