diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-22 10:53:11 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 10:53:11 -0400 |
| commit | ebf05a538b3de96189fefaabb68613e58a2f9f51 (patch) | |
| tree | 067ac515fc4b911618a42b39dfe76b109031a314 /tests | |
| parent | 3b6cb47aff3c43b36945c1558eb21d3c7661a9c4 (diff) | |
Lexer/parser hacks to share code between regular and signature file parsers
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/lexerr.lac | 3 | ||||
| -rw-r--r-- | tests/lexerrS.lac | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/tests/lexerr.lac b/tests/lexerr.lac new file mode 100644 index 00000000..c9d17adf --- /dev/null +++ b/tests/lexerr.lac @@ -0,0 +1,3 @@ +type t = int +type q = int +type u = inot diff --git a/tests/lexerrS.lac b/tests/lexerrS.lac new file mode 100644 index 00000000..93ab30a0 --- /dev/null +++ b/tests/lexerrS.lac @@ -0,0 +1,4 @@ +sig +type t = int +type q = int +type u = inot |