Skip to content

GitLab

Commit 1250249b authored by John van Groningen's avatar John van Groningen
Browse files

removed double alternative for TVI_TypeKind in <<<

parent 4af77f09
Hide whitespace changes
Inline Side-by-side
frontend/syntax.icl
View file @ 1250249b
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment