X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FDataCon.lhs;h=a9faa2cc7e9a43d7c9d9636af2af2d35469ab370;hb=85255a966b21172ce5a26c8a9cb0cdaf7315be95;hp=844c69b5551b8f937c384becf11c259bb9ab6f90;hpb=c1153c7803e311d7b6e7de454ea0156b211281c3;p=ghc-hetmet.git diff --git a/compiler/basicTypes/DataCon.lhs b/compiler/basicTypes/DataCon.lhs index 844c69b..a9faa2c 100644 --- a/compiler/basicTypes/DataCon.lhs +++ b/compiler/basicTypes/DataCon.lhs @@ -275,7 +275,7 @@ data DataCon -- Reason: less confusing, and easier to generate IfaceSyn dcEqSpec :: [(TyVar,Type)], -- Equalities derived from the result type, - -- /as written by the programmer/ + -- _as written by the programmer_ -- This field allows us to move conveniently between the two ways -- of representing a GADT constructor's type: -- MkT :: forall a b. (a :=: [b]) => b -> T a