@@ -243,12 +243,13 @@ occurs (_name, variable) =
243243
244244 var : _ ->
245245 do desc <- liftIO $ UF.descriptor var
246+ let region = error "TODO:occurs"
246247 case structure desc of
247248 Nothing ->
248− error "occurs check triggered"
249+ TS.addError region (Error.InfiniteType undefined (error "TODO:occurs"))
249250
250251 Just _ ->
251− error "occurs check triggered"
252+ TS.addError region (Error.InfiniteType undefined (error "TODO:occurs"))
252253 where
253254 infiniteVars :: [Variable] -> Variable -> IO [Variable]
254255 infiniteVars seen var =