diff options
| author | Tim Baumann <tim@timbaumann.info> | 2014-08-31 17:31:47 +0200 |
|---|---|---|
| committer | Tim Baumann <tim@timbaumann.info> | 2014-08-31 17:31:47 +0200 |
| commit | ce7ab4225df16d761e62ff2d7ab6fc5d88d57eb1 (patch) | |
| tree | 3ef0eed03d8bee923a9d62a67129fdc2b006327d /tests | |
| parent | 750ca02ad15f5c6a8090e090f08c659748cfc592 (diff) | |
| download | pygments-ce7ab4225df16d761e62ff2d7ab6fc5d88d57eb1.tar.gz | |
Idris lexer: parse commented out type declarations as comments
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/examplefiles/test.idr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/examplefiles/test.idr b/tests/examplefiles/test.idr index f0e96d88..c31232b5 100644 --- a/tests/examplefiles/test.idr +++ b/tests/examplefiles/test.idr @@ -87,6 +87,13 @@ using (G : Vect n Ty) testFac : Int testFac = interp [] eFac 4 +--testFacTooBig : Int +--testFacTooBig = interp [] eFac 100000 + + {-testFacTooBig2 : Int +testFacTooBig2 = interp [] eFac 1000 +-} + main : IO () main = print testFac |