summaryrefslogtreecommitdiff
path: root/testdata/Prelude.out
AgeCommit message (Collapse)Author
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-25warn in case of uncovered patterns (first version)Péter Diviánszky
2016-04-25cleanupPéter Diviánszky
2016-04-25refactoringPéter Diviánszky
2016-04-21cleanup in pattern match compilationPéter Diviánszky
2016-04-20tweak pattern source infosPéter Diviánszky
2016-04-19refactoring & fix switching to type namespace after @Péter Diviánszky
2016-04-18bugfix: show missing types in tooltipsPéter Diviánszky
2016-02-29renamesPéter Diviánszky
2016-02-26bugfixesPéter Diviánszky
2016-02-26fix buildPéter Diviánszky
2016-02-26more accurate pi valueCsaba Hruska
2016-02-26add perspective to preludeCsaba Hruska
2016-02-24tweak namespace handlingPéter Diviánszky
2016-02-19tuples are heterogeneous listsPéter Diviánszky
2016-02-16eliminate FixLabel, performance is back at previous levelPéter Diviánszky
2016-02-15put trace info in .out filesPéter Diviánszky
2016-02-14refactoring: use less withRangePéter Diviánszky
2016-02-13use different kinf of infosPéter Diviánszky
2016-02-07refactoringPéter Diviánszky
2016-02-07work on the elimination of ConNamePéter Diviánszky
2016-02-05refactor Builtins.lcPéter Diviánszky
2016-02-05experimental change: Stream -> ListPéter Diviánszky
2016-02-05cleanupPéter Diviánszky
2016-02-05better Fragment data typePéter Diviánszky
2016-02-04add names to primitive functionsPéter Diviánszky
2016-02-04bugfixPéter Diviánszky
2016-02-04desugar value definitions (first version)Péter Diviánszky
2016-02-03add more aliases to primitivesPéter Diviánszky
2016-02-03more uniform handling of literalsPéter Diviánszky
2016-02-02try to speed up parseTermPéter Diviánszky
2016-02-01erease CaseFun's type parametersPéter Diviánszky
2016-02-01erease lambda argument type and constructor type parametersPéter Diviánszky
2016-01-26show tooltips in type namespacePéter Diviánszky
2016-01-26reorder definitions in Infer.hsPéter Diviánszky
2016-01-23major refactoringPéter Diviánszky
2016-01-22several improvement to get better tooltipsPéter Diviánszky
2016-01-21better source range handlingPéter Diviánszky
2016-01-21continue refactoring of parserPéter Diviánszky
2016-01-21wip refactoring (results more ranges as a side effect)Péter Diviánszky
2016-01-21wip refactoring (results better error ranges as a side effect)Péter Diviánszky
2016-01-21wip refactoringPéter Diviánszky
2016-01-20update .out filesPéter Diviánszky
2016-01-19fix loop issuePéter Diviánszky
2016-01-19update test outputCsaba Hruska
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:33:01 +0000