index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
language-features
Age
Commit message (
Expand
)
Author
2016-05-03
use less wildcards
Péter Diviánszky
2016-05-03
fix: parens around operators
Péter Diviánszky
2016-05-03
shorten more lambdas
Péter Diviánszky
2016-05-03
fix pretty print parens
Péter Diviánszky
2016-05-03
refactoring
Péter Diviánszky
2016-05-03
refactoring
Péter Diviánszky
2016-05-03
remove more color formattins from out files
Péter Diviánszky
2016-05-03
support mutually defined constants (first version)
Péter Diviánszky
2016-05-02
more list syntax in pretty print
Péter Diviánszky
2016-05-02
use [] instead of Nil in pretty print
Péter Diviánszky
2016-05-02
use (:) instead of Cons everywhere
Péter Diviánszky
2016-05-02
follow compiler API change
Péter Diviánszky
2016-05-02
complete pShow on patterns; bugfix; more uncovered warning tests
Péter Diviánszky
2016-05-01
removing coloring from .out files
Péter Diviánszky
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-30
fix pretty print syntax
Péter Diviánszky
2016-04-29
auto expansion of Doc & improved error messages
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
fix naming of free variables
Péter Diviánszky
2016-04-28
refactoring
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
always show parens
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-27
adjust .out files
Péter Diviánszky
2016-04-26
refactoring
Péter Diviánszky
2016-04-25
warn in case of uncovered patterns (first version)
Péter Diviánszky
2016-04-25
emit warnings on unreachable right hand sides
Péter Diviánszky
2016-04-22
refactoring: ask less for desugarInfo during parsing; bugfix: fix parser mona...
Péter Diviánszky
2016-04-21
support pattern guards
Péter Diviánszky
2016-04-21
support view patterns
Péter Diviánszky
2016-04-21
support guards + where
Péter Diviánszky
2016-04-21
adjust test cases
Péter Diviánszky
2016-04-21
improvements: A) as-patterns are working now; B) do not crash on undefined co...
Péter Diviánszky
2016-04-19
refactoring & fix operator definition parsing
Péter Diviánszky
2016-04-19
refactoring & fix parsing of sections
Péter Diviánszky
2016-04-18
refactoring
Péter Diviánszky
2016-04-18
refactoring & fix parsing of literals
Péter Diviánszky
2016-04-18
bugfix: show missing types in tooltips
Péter Diviánszky
2016-04-17
better error message for mismatching operator fixities
Péter Diviánszky
2016-04-16
use module ids in more places; side effect: better error messages
Péter Diviánszky
2016-02-23
simplify namespace handling
Péter Diviánszky
2016-02-22
tweak name ticking
Péter Diviánszky
2016-02-22
refactoring
Péter Diviánszky
2016-02-19
speedup: tweak max de bruijn handling
Péter Diviánszky
2016-02-19
tuples are heterogeneous lists
Péter Diviánszky
2016-02-18
support local pattern matching functions and local recursive functions
Péter Diviánszky
[next]