@@ -145,6 +145,8 @@ implementation Show Const where
145 showPrec d StrType = "StrType"
145 showPrec d StrType = "StrType"
146 showPrec d VoidType = "VoidType"
146 showPrec d VoidType = "VoidType"
147 showPrec d Forgot = "Forgot"
147 showPrec d Forgot = "Forgot"
148+ showPrec d WorldType = "WorldType"
149+ showPrec d TheWorld = "TheWorld"
149implementation Eq NativeTy where
151implementation Eq NativeTy where
150 IT8 == IT8 = True
152 IT8 == IT8 = True