summaryrefslogtreecommitdiff
path: root/src/LambdaCube/Compiler/Infer.hs
AgeCommit message (Expand)Author
2016-05-13refactoring: use less reverse callPéter Diviánszky
2016-05-13refactoring & fix buildPéter Diviánszky
2016-05-12refactor hashed name handlingPéter Diviánszky
2016-05-12refactoringPéter Diviánszky
2016-05-12mutual function definitionsPéter Diviánszky
2016-05-10explicit lhs marks, first stepPéter Diviánszky
2016-05-10closedExp is not needed any morePéter Diviánszky
2016-05-10finish maxDB --> freeVarsPéter Diviánszky
2016-05-09rename & reorder definitionsPéter Diviánszky
2016-05-093rd step to improve maxDBPéter Diviánszky
2016-05-09first step to improve maxDBPéter Diviánszky
2016-05-07introduce let in core (not used yet)Péter Diviánszky
2016-05-06refactoringPéter Diviánszky
2016-05-06tweak hnf handlingPéter Diviánszky
2016-05-06refactoringPéter Diviánszky
2016-05-06show typechecked source code in .out files & fix local function handling (again)Péter Diviánszky
2016-05-05bugfixPéter Diviánszky
2016-05-05improve pretty printing & try to fix local function handlingPéter Diviánszky
2016-05-05show error location in recheckPéter Diviánszky
2016-05-05simplify local function handlingPéter Diviánszky
2016-05-05refactoringPéter Diviánszky
2016-05-04split Infer.hsPéter Diviánszky
2016-05-04implement constraint kindsPéter Diviánszky
2016-05-04fix pretty printPéter Diviánszky
2016-05-04print reduced result in .out filePéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04bugfix: do not overnormalizePéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-03split Infer.hsPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-02use (:) instead of Cons everywherePéter Diviánszky
2016-05-01removing coloring from .out filesPéter Diviánszky
2016-05-01better namespace handling in pretty printPéter Diviánszky
2016-05-01refactoringPéter Diviánszky
2016-04-30refactoringPéter Diviánszky
2016-04-29auto expansion of Doc & improved error messagesPéter Diviánszky
2016-04-29use Doc instead of String is several placesPéter Diviánszky
2016-04-28switch to Haskell style syntax in pretty printPéter Diviánszky
2016-04-28refactoring: eliminate custom ESC handlingPé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-28refactored pretty print frameworkPéter Diviánszky
2016-04-27split modulePéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 20:24:50 +0000