diff options
| author | johnvg | 2014-09-26 10:24:19 +0000 |
|---|---|---|
| committer | johnvg | 2014-09-26 10:24:19 +0000 |
| commit | ca487a2d1583b8e11fe532b76d08aa695dff19d5 (patch) | |
| tree | 0775ab489dd6a89bc18e8edfe38753d9df22b504 /frontend/syntax.dcl | |
| parent | add unit type (print type as ()) (diff) | |
remove unused constructor TQV of :: type_io.icl
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2424 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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 |