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