index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
Prelude.out
Age
Commit message (
Expand
)
Author
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-25
warn in case of uncovered patterns (first version)
Péter Diviánszky
2016-04-25
cleanup
Péter Diviánszky
2016-04-25
refactoring
Péter Diviánszky
2016-04-21
cleanup in pattern match compilation
Péter Diviánszky
2016-04-20
tweak pattern source infos
Péter Diviánszky
2016-04-19
refactoring & fix switching to type namespace after @
Péter Diviánszky
2016-04-18
bugfix: show missing types in tooltips
Péter Diviánszky
2016-02-29
renames
Péter Diviánszky
2016-02-26
bugfixes
Péter Diviánszky
2016-02-26
fix build
Péter Diviánszky
2016-02-26
more accurate pi value
Csaba Hruska
2016-02-26
add perspective to prelude
Csaba Hruska
2016-02-24
tweak namespace handling
Péter Diviánszky
2016-02-19
tuples are heterogeneous lists
Péter Diviánszky
2016-02-16
eliminate FixLabel, performance is back at previous level
Péter Diviánszky
2016-02-15
put trace info in .out files
Péter Diviánszky
2016-02-14
refactoring: use less withRange
Péter Diviánszky
2016-02-13
use different kinf of infos
Péter Diviánszky
2016-02-07
refactoring
Péter Diviánszky
2016-02-07
work on the elimination of ConName
Péter Diviánszky
2016-02-05
refactor Builtins.lc
Péter Diviánszky
2016-02-05
experimental change: Stream -> List
Péter Diviánszky
2016-02-05
cleanup
Péter Diviánszky
2016-02-05
better Fragment data type
Péter Diviánszky
2016-02-04
add names to primitive functions
Péter Diviánszky
2016-02-04
bugfix
Péter Diviánszky
2016-02-04
desugar value definitions (first version)
Péter Diviánszky
2016-02-03
add more aliases to primitives
Péter Diviánszky
2016-02-03
more uniform handling of literals
Péter Diviánszky
2016-02-02
try to speed up parseTerm
Péter Diviánszky
2016-02-01
erease CaseFun's type parameters
Péter Diviánszky
2016-02-01
erease lambda argument type and constructor type parameters
Péter Diviánszky
2016-01-26
show tooltips in type namespace
Péter Diviánszky
2016-01-26
reorder definitions in Infer.hs
Péter Diviánszky
2016-01-23
major refactoring
Péter Diviánszky
2016-01-22
several improvement to get better tooltips
Péter Diviánszky
2016-01-21
better source range handling
Péter Diviánszky
2016-01-21
continue refactoring of parser
Péter Diviánszky
2016-01-21
wip refactoring (results more ranges as a side effect)
Péter Diviánszky
2016-01-21
wip refactoring (results better error ranges as a side effect)
Péter Diviánszky
2016-01-21
wip refactoring
Péter Diviánszky
2016-01-20
update .out files
Péter Diviánszky
2016-01-19
fix loop issue
Péter Diviánszky
2016-01-19
update test output
Csaba Hruska
2016-01-19
normalise paths and fix self export handling
Csaba Hruska