Commit b965e672 authored by simonpj's avatar simonpj
Browse files

[project @ 2000-11-27 11:04:38 by simonpj]

Default methods are sys-binders
parent b8f6e664
......@@ -349,6 +349,7 @@ tidyIdInfo (_, occ_env, subst_env) is_external unfold_info id
new_flavour = case flavourInfo core_idinfo of
VanillaId -> ConstantId
ExportedId -> ConstantId
ConstantId -> ConstantId -- e.g. Default methods
DictFunId -> DictFunId
flavour -> pprTrace "tidyIdInfo" (ppr id <+> ppFlavourInfo flavour)
flavour
......
......@@ -261,8 +261,9 @@ tyClDeclSysNames :: TyClDecl name pat -> [(name, SrcLoc)]
-- Similar to tyClDeclNames, but returns the "implicit"
-- or "system" names of the declaration
tyClDeclSysNames (ClassDecl {tcdSysNames = names, tcdLoc = loc})
= [(n,loc) | n <- names]
tyClDeclSysNames (ClassDecl {tcdSysNames = names, tcdLoc = loc, tcdSigs = sigs})
= [(n,loc) | n <- names] ++
[(n,loc) | ClassOpSig _ (DefMeth n) _ loc <- sigs]
tyClDeclSysNames (TyData {tcdCons = cons, tcdSysNames = names, tcdLoc = loc})
= [(n,loc) | n <- names] ++
[(wkr_name,loc) | ConDecl _ wkr_name _ _ _ loc <- cons]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment