diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index fd7ce17..139f869 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -1077,8 +1077,6 @@ cNotVarNumber :== -1 | TFAC ![ATypeVar] !Type ![TypeContext] // Universally quantified function argument type with contexts | TempV !TempVarId /* Auxiliary, used during type checking */ - - | TQV TypeVar | TempQV !TempVarId /* Auxiliary, used during type checking */ | TempQDV !TempVarId // Auxiliary, used during type checking, existential type variable in dynamic pattern |