@@ -370,13 +370,11 @@ toSrcType variable = do
370 case name desc of
370 case name desc of
371 Just x@(c:cs) | Char.isLower c -> return (Src.Var x)
371 Just x@(c:cs) | Char.isLower c -> return (Src.Var x)
372 | otherwise -> return (Src.Data x [])
372 | otherwise -> return (Src.Data x [])
374− error $ concat
373+ _ -> error $ concat
375 [ "Problem converting the following type "
374 [ "Problem converting the following type "
376 , "from a type-checker type to a source-syntax type:"
375 , "from a type-checker type to a source-syntax type:"
377 , P.render (pretty Never variable) ]
376 , P.render (pretty Never variable) ]
380data AppStructure = List Variable | Tuple [Variable] | Other
378data AppStructure = List Variable | Tuple [Variable] | Other
382collectApps :: Variable -> IO AppStructure
380collectApps :: Variable -> IO AppStructure