Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-04-28 | refactoring | Péter Diviánszky | |
2016-04-28 | refactoring | Péter Diviánszky | |
2016-04-28 | unify Doc types; better expr. pretty print | Péter Diviánszky | |
2016-04-28 | switch to ansi-wl-pprint | Péter Diviánszky | |
2016-04-28 | refactoring | Péter Diviánszky | |
2016-04-28 | refactoring | Péter Diviánszky | |
2016-04-28 | always show parens | Péter Diviánszky | |
2016-04-28 | better names for free variables | Péter Diviánszky | |
2016-04-28 | generate less variable names | Péter Diviánszky | |
2016-04-28 | refactored pretty print framework | Péter Diviánszky | |
2016-04-27 | adjust .out files | Péter Diviánszky | |
2016-04-27 | split module | Péter Diviánszky | |
2016-04-27 | refactoring | Péter Diviánszky | |
2016-04-27 | refactoring | Péter Diviánszky | |
2016-04-27 | refactoring | Péter Diviánszky | |
2016-04-27 | simplification | Péter Diviánszky | |
2016-04-27 | simplification | Péter Diviánszky | |
2016-04-27 | refactor implicit forall handling | Péter Diviánszky | |
2016-04-27 | split modules | Péter Diviánszky | |
2016-04-26 | fix build | Péter Diviánszky | |
2016-04-26 | split desugared source code representation into a separate module | Péter Diviánszky | |
2016-04-26 | refactoring | Péter Diviánszky | |
2016-04-26 | refactoring | Péter Diviánszky | |
2016-04-26 | refactoring | Péter Diviánszky | |
2016-04-26 | refactoring | Péter Diviánszky | |
2016-04-26 | eliminate an error call | Péter Diviánszky | |
2016-04-26 | export SPos (needed by the editor) | Péter Diviánszky | |
2016-04-25 | warn in case of uncovered patterns (first version) | Péter Diviánszky | |
2016-04-25 | emit warnings on unreachable right hand sides | Péter Diviánszky | |
2016-04-25 | cleanup | Péter Diviánszky | |
2016-04-25 | fix build & refactoring | Péter Diviánszky | |
2016-04-25 | refactoring | Péter Diviánszky | |
2016-04-25 | refactoring | Péter Diviánszky | |
2016-04-24 | add Utils module | Péter Diviánszky | |
2016-04-24 | simplification | Péter Diviánszky | |
2016-04-24 | simplification | Péter Diviánszky | |
2016-04-24 | use count' | Péter Diviánszky | |
2016-04-24 | switch to megaparsec-4.4; use RWS monad instead of Reader+Writer+State | Péter Diviánszky | |
2016-04-22 | refactoring: ask less for desugarInfo during parsing; bugfix: fix parser ↵ | Péter Diviánszky | |
monad stack order | |||
2016-04-22 | support pattern type annotations | Péter Diviánszky | |
2016-04-21 | simplification | Péter Diviánszky | |
2016-04-21 | support pattern guards | Péter Diviánszky | |
2016-04-21 | support view patterns | Péter Diviánszky | |
2016-04-21 | support guards + where | Péter Diviánszky | |
2016-04-21 | improvements: A) as-patterns are working now; B) do not crash on undefined ↵ | Péter Diviánszky | |
constructors | |||
2016-04-21 | refactoring | Péter Diviánszky | |
2016-04-21 | refactoring | Péter Diviánszky | |
2016-04-21 | cleanup in pattern match compilation | Péter Diviánszky | |
2016-04-21 | refactoring | Péter Diviánszky | |
2016-04-21 | simplification | Péter Diviánszky | |