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-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
2016-02-17
better path handling
Péter Diviánszky
2016-02-16
eliminate FixLabel, performance is back at previous level
Péter Diviánszky
2016-02-15
show trace only on demand
Péter Diviánszky
2016-02-15
refactoring
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-13
add structure to error messages
Péter Diviánszky
2016-02-12
switch to megaparsec
Péter Diviánszky
2016-02-08
simplify label handling (some test may be slower because of a TODO)
Péter Diviánszky
2016-02-05
bugfix
Péter Diviánszky
2016-02-05
support ADT records with repeated field name
Péter Diviánszky
2016-02-05
cleanup
Péter Diviánszky
2016-02-04
fix section desugaring
Péter Diviánszky
2016-02-04
add names to primitive functions
Péter Diviánszky
2016-02-04
add test
Csaba Hruska
2016-02-04
bugfix
Péter Diviánszky
2016-02-04
begin to support qualified module names
Péter Diviánszky
2016-02-04
definitions are allowed in any order (not just bottom-up)
Péter Diviánszky
2016-02-04
desugar value definitions (first version)
Péter Diviánszky
2016-02-03
polymorphic Int literals
Péter Diviánszky
2016-02-03
more uniform handling of literals
Péter Diviánszky
2016-02-03
refactor literal parsing
Péter Diviánszky
2016-02-03
refactor identifier parsing
Péter Diviánszky
2016-02-02
Add some as-patterns tests.
Andor Penzes
2016-02-02
If something defined in other file do not lookup in the source code.
Andor Penzes
2016-02-02
try to speed up parseTerm
Péter Diviánszky
2016-02-02
remove 'try's from lexer
Péter Diviánszky
2016-02-01
add passing wip tests
Péter Diviánszky
2016-02-01
use less try
Péter Diviánszky
2016-02-01
bugfix
Péter Diviánszky
2016-02-01
faster section parsing
Péter Diviánszky
2016-02-01
erease CaseFun's type parameters
Péter Diviánszky
2016-02-01
fix bug; CaseFun's last argument is neutral
Péter Diviánszky
2016-02-01
erease lambda argument type and constructor type parameters
Péter Diviánszky
2016-01-31
add test
Csaba Hruska
[prev]
[next]