summaryrefslogtreecommitdiff
path: root/testdata/typesig.reject.out
AgeCommit message (Expand)Author
2018-02-03show normalised filepaths in error messagesCsaba Hruska
2016-05-13refactoring & fix buildPéter Diviánszky
2016-05-12don't show module pathPéter Diviánszky
2016-05-12mutual function definitionsPéter Diviánszky
2016-05-06refactoringPéter Diviánszky
2016-05-04implement constraint kindsPéter Diviánszky
2016-05-04improve pretty printPéter Diviánszky
2016-05-04fix pretty printPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-03better show for let expressions; fix a bug in type class desugaringPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-01removing coloring from .out filesPéter Diviánszky
2016-05-01improve pretty print layout & show desugared source code in .out filesPéter Diviánszky
2016-05-01better namespace handling in pretty printPéter Diviánszky
2016-05-01refactoringPéter Diviánszky
2016-04-30fix pretty print syntaxPé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-28fix naming of free variablesPéter Diviánszky
2016-04-28switch to ansi-wl-pprintPé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-27refactor implicit forall handlingPéter Diviánszky
2016-02-15show trace only on demandPéter Diviánszky
2016-02-15put trace info in .out filesPéter Diviánszky
2016-02-13add structure to error messagesPéter Diviánszky
2016-02-01erease lambda argument type and constructor type parametersPéter Diviánszky
2016-01-29fix let expression typePéter Diviánszky
2016-01-28move Meta and Assign into a separate typePéter Diviánszky
2016-01-28refactor focusPéter Diviánszky
2016-01-28refactoringPéter Diviánszky
2016-01-19normalise paths and fix self export handlingCsaba Hruska
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 13:24:17 +0000