diff --git a/flap/src/hopix/hopixParser.mly b/flap/src/hopix/hopixParser.mly index ddccf48..414a847 100644 --- a/flap/src/hopix/hopixParser.mly +++ b/flap/src/hopix/hopixParser.mly @@ -434,24 +434,27 @@ expression: /******************************** BASIC TYPES *********************************/ +identifier: +| i=ID { + Id i + } + type_variable: | tid=TID { TId tid } +constructor: +| kid=CID { + KId kid + } + type_constructor: | tcon=CID { TCon tcon } - -constructor: -| kid=CID { - KId kid - } - - label: | label=ID { LId label @@ -473,12 +476,6 @@ literal: } -identifier: -| i=ID { - Id i - } - - %inline binop: | PLUS { "`+`" } | MINUS { "`-`" }