diff options
| author | Kathy Gray | 2013-07-31 15:37:15 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-07-31 15:37:15 +0100 |
| commit | 7724520fc51f127bd9f4451129b1ad38b872a53d (patch) | |
| tree | f316c54f2f35d7dac179be007b31b2d96bc7ee31 /language | |
| parent | ebe968fcb8d67a7065bd75e56c39c7f9a0a3a615 (diff) | |
Adding reporting basic from Lem development, also adding basic error messages for syntax and lexical errors (i.e. syntax error and location information)
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/language/l2.ott b/language/l2.ott index deca115e..c998eb53 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -439,6 +439,7 @@ kinded_id :: 'KOpt_' ::= quant_item :: 'QI_' ::= {{ com Either a kinded identifier or a nexp constraint for a typquant }} + {{ aux _ annot }} {{ auxparam 'a }} | kinded_id :: :: id {{ com An optionally kinded identifier }} | nexp_constraint :: :: const {{ com A constraint for this type }} @@ -852,7 +853,8 @@ grammar tannot_opt :: 'Typ_annot_opt_' ::= {{ com Optional type annotation for functions}} {{ aux _ annot }} {{ auxparam 'a }} - | :: :: none +% | :: :: none +% Currently not optional; one issue, do the type parameters apply over the argument types, or should this be the type of the function and not just the return | typquant typ :: :: some rec_opt :: 'Rec_' ::= |