diff options
Diffstat (limited to 'language/l2.ott')
| -rw-r--r-- | language/l2.ott | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/language/l2.ott b/language/l2.ott index 3b1e95b7..69b2bf9c 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -380,10 +380,10 @@ typschm :: 'TypSchm_' ::= %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% grammar -ctor_def :: 'CT_' ::= - {{ com Datatype constructor definition clause }} - {{ aux _ annot }} {{ auxparam 'a }} - | id : typschm :: :: ct +%ctor_def :: 'CT_' ::= +% {{ com Datatype constructor definition clause }} +% {{ aux _ annot }} {{ auxparam 'a }} +% | id : typschm :: :: ct % but we could get away with disallowing constraints in typschm, we % think - if it's useful to do that |