index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
language-features
/
basic-values
/
case05.out
Age
Commit message (
Expand
)
Author
2016-05-01
improve pretty print layout & show desugared source code in .out files
Péter Diviánszky
2016-05-01
better namespace handling in pretty print
Péter Diviánszky
2016-04-29
use Doc instead of String is several places
Péter Diviánszky
2016-04-28
switch to Haskell style syntax in pretty print
Péter Diviánszky
2016-04-28
unify Doc types; better expr. pretty print
Péter Diviánszky
2016-04-28
switch to ansi-wl-pprint
Péter Diviánszky
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-02-15
put trace info in .out files
Péter Diviánszky
2016-02-13
use different kinf of infos
Péter Diviánszky
2016-02-03
polymorphic Int literals
Péter Diviánszky
2016-01-26
show tooltips in type namespace
Péter Diviánszky
2016-01-23
cleanup
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
wip refactoring (results better error ranges as a side effect)
Péter Diviánszky
2016-01-21
add new tests
Csaba Hruska