| .. |
|
Issue1430.agda
|
82c0ed7cdf
[ fixed #4649 ] allow --allow-unsolved-metas with --safe in -I mode
|
%!s(int64=5) %!d(string=hai) anos |
|
Issue1430.in
|
66b884936d
[ tests ] Migrate interactive tests to haskell test runner.
|
%!s(int64=8) %!d(string=hai) anos |
|
Load.agda
|
a528e77f40
Update interactive test framework and add a test case
|
%!s(int64=5) %!d(string=hai) anos |
|
Load.in
|
a528e77f40
Update interactive test framework and add a test case
|
%!s(int64=5) %!d(string=hai) anos |
|
Load.stdout.expected
|
a528e77f40
Update interactive test framework and add a test case
|
%!s(int64=5) %!d(string=hai) anos |
|
Makefile
|
66b884936d
[ tests ] Migrate interactive tests to haskell test runner.
|
%!s(int64=8) %!d(string=hai) anos |
|
Naked.in
|
d1f688c584
[ fixed #5132 ] interactive: importPrimitives if no file is loaded
|
%!s(int64=4) %!d(string=hai) anos |
|
Naked.stdout.expected
|
d1f688c584
[ fixed #5132 ] interactive: importPrimitives if no file is loaded
|
%!s(int64=4) %!d(string=hai) anos |
|
Tests.hs
|
3ce0d59bf4
[ #5132 refactor ] test/interactive/Tests.hs: factor out bareTest
|
%!s(int64=4) %!d(string=hai) anos |
Andreas Abel
d1f688c584
[ fixed #5132 ] interactive: importPrimitives if no file is loaded