diff options
| author | johnvg | 2002-06-17 11:30:25 +0000 |
|---|---|---|
| committer | johnvg | 2002-06-17 11:30:25 +0000 |
| commit | 99902ae56a417d98ee7baefc9a4c0e2e0e023ccc (patch) | |
| tree | 910fcbc7c71884a4cf26a04bb00c055ea6895407 | |
| parent | removed ingnored !'s (diff) | |
removed double alternative for TVI_TypeKind in <<<
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1098 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/syntax.icl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/frontend/syntax.icl b/frontend/syntax.icl index a71dc0b..1f78c2c 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -2135,7 +2135,6 @@ where (<<<) file (TVI_TypeCode _) = file <<< "TVI_TypeCode" (<<<) file (TVI_CPSLocalTypeVar _) = file <<< "TVI_CPSLocalTypeVar" (<<<) file (TVI_Kinds _) = file <<< "TVI_Kinds" - (<<<) file (TVI_TypeKind _) = file <<< "TVI_TypeKind" (<<<) file (TVI_PropClass _ _ _) = file <<< "TVI_PropClass" (<<<) file (TVI_TypeKind kind_info_ptr) = file <<< "TVI_TypeKind " <<< (ptrToInt kind_info_ptr) (<<<) file (TVI_Kind kind) = file <<< "TVI_Kind" <<< kind |