@@ -370,13 +370,11 @@ toSrcType variable = do
370370 case name desc of
371371 Just x@(c:cs) | Char.isLower c -> return (Src.Var x)
372372 | otherwise -> return (Src.Data x [])
373− Nothing ->
374− error $ concat
373+ _ -> error $ concat
375374 [ "Problem converting the following type "
376375 , "from a type-checker type to a source-syntax type:"
377376 , P.render (pretty Never variable) ]
378377
379−
380378data AppStructure = List Variable | Tuple [Variable] | Other
381379
382380collectApps :: Variable -> IO AppStructure