diff options
Diffstat (limited to 'frontend')
| -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 |