index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
Age
Commit message (
Expand
)
Author
2016-02-05
set programmable point size with ProgramPointSize
Péter Diviánszky
2016-02-04
bugfix & improvements
Péter Diviánszky
2016-02-04
more complete Component instances
Péter Diviánszky
2016-02-04
simplify Component type class
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
eliminate downS
Péter Diviánszky
2016-02-03
add more aliases to primitives
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
longer SampleMaterial
Csaba Hruska
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
2016-01-29
fix let expression type
Péter Diviánszky
2016-01-29
hide CoreToIR's expression representation
Péter Diviánszky
2016-01-29
remove some expType calls
Péter Diviánszky
2016-01-28
move Meta and Assign into a separate type
Péter Diviánszky
2016-01-28
refactor focus
Péter Diviánszky
2016-01-28
refactoring
Péter Diviánszky
2016-01-27
more comples SampleMaterial
Csaba Hruska
2016-01-27
first try to move wired-in constraint reductions into the library
Péter Diviánszky
2016-01-27
less wired-in reductions in the compiler
Péter Diviánszky
2016-01-27
refactoring: use less STyped
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-25
update test hint
Csaba Hruska
2016-01-25
new test
Csaba Hruska
2016-01-25
add wip tag
Csaba Hruska
2016-01-25
new tests
Csaba Hruska
2016-01-25
reorder test notes
Csaba Hruska
2016-01-25
new test
Csaba Hruska
2016-01-25
add wip tag
Csaba Hruska
2016-01-25
new test
Csaba Hruska
[prev]
[next]