X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FMkId.lhs;h=8f71aabf065113789db7d6e5d25f4cce928a53fd;hb=0119bfdc7ae348c0f45b591391d1b68bc6bd8cc8;hp=172f8b001a335626b71f201a2a0088c42951f635;hpb=61d2625ae2e6a4cdae2ffc92df828905e81c24cc;p=ghc-hetmet.git diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs index 172f8b0..8f71aab 100644 --- a/compiler/basicTypes/MkId.lhs +++ b/compiler/basicTypes/MkId.lhs @@ -413,10 +413,10 @@ type (e.g. 'b' in T2). \begin{code} --- XXX - autrijus - --- Plan: 1. Determine naughtiness by comparing field type vs result type --- 2. Install naughty ones with selector_ty of type _|_ and fill in mzero for info --- 3. If it's not naughty, do the normal plan. +-- Steps for handling "naughty" vs "non-naughty" selectors: +-- 1. Determine naughtiness by comparing field type vs result type +-- 2. Install naughty ones with selector_ty of type _|_ and fill in mzero for info +-- 3. If it's not naughty, do the normal plan. mkRecordSelId :: TyCon -> FieldLabel -> Id mkRecordSelId tycon field_label @@ -571,10 +571,10 @@ mkRecordSelId tycon field_label -- it manipulates CoreSyn. mkReboxingAlt - :: [Unique] -- Uniques for the new Ids + :: [Unique] -- Uniques for the new Ids -> DataCon - -> [Var] -- Source-level args, including existential dicts - -> CoreExpr -- RHS + -> [Var] -- Source-level args, including existential dicts + -> CoreExpr -- RHS -> CoreAlt mkReboxingAlt us con args rhs