summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
03e4615)
These references are treated as function applications without arguments.
addNameHint (Name.getOccString id) sig_id
addDef (UncondDef (Right $ Literal lit) sig_id)
return ([], Single sig_id)
addNameHint (Name.getOccString id) sig_id
addDef (UncondDef (Right $ Literal lit) sig_id)
return ([], Single sig_id)
+ IdInfo.VanillaGlobal ->
+ -- Treat references to globals as an application with zero elements
+ flattenApplicationExpr binds (CoreUtils.exprType var) id []
otherwise ->
error $ "Ids other than local vars and dataconstructors not supported: " ++ (showSDoc $ ppr id)
otherwise ->
error $ "Ids other than local vars and dataconstructors not supported: " ++ (showSDoc $ ppr id)