 Fredrik Nordvall Forsberg
|
a50ff581f3
[ #2487 ] consistency checking of options
|
5 years ago |
 Ulf Norell
|
a751e811a8
[ test ] use Agda.Builtin.* in test/Common
|
8 years ago |
|
Ulf Norell
|
a10f892af5
[ test ] compiler test for builtin integers
|
9 years ago |
|
Ulf Norell
|
7997e8e46c
[ builtins ] Char, String and Float now get COMPILED_TYPE for free
|
9 years ago |
|
Ulf Norell
|
988141b7e8
[ primitive ] changed primitive integers to a datatype
|
9 years ago |
|
Ulf Norell
|
99e1e2fcee
[ literals ] support for overloaded string literals
|
9 years ago |
 Philipp Hausmann
|
de5bf1989a
[ tests ] Merge "Common" with backend tests "Prelude".
|
9 years ago |
