summaryrefslogtreecommitdiff
path: root/testdata/Prelude.out
AgeCommit message (Expand)Author
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
2016-01-19normalise paths and fix self export handlingCsaba Hruska