@@ -375,14 +375,12 @@ collectApps variable = go [] variable
375 go vars variable = do
375 go vars variable = do
376 desc <- UF.descriptor variable
376 desc <- UF.descriptor variable
377 case (structure desc, vars) of
377 case (structure desc, vars) of
378− (Nothing, [v]) -> case name desc of
378+ (Nothing, [v] ) -> case name desc of
379− Just "_List" -> return (List v)
379+ Just "_List" -> return (List v)
380− _ -> return Other
380+ _ -> return Other
381− (Nothing, vs) -> case name desc of
381+ (Nothing, vs ) -> case name desc of
382− Just ctor | isTuple ctor -> return (Tuple vs)
382+ Just ctor | isTuple ctor -> return (Tuple vs)
383− _ -> return Other
383+ _ -> return Other
385− (Just term, vs) ->
384+ (Just term, vs) -> case term of
387− App1 a b -> go (vars ++ [b]) a
385+ App1 a b -> go (vars ++ [b]) a
388− _ -> return Other
386+ _ -> return Other