diff options
| author | simonpj@microsoft.com <unknown> | 2008-09-20 23:20:24 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2008-09-20 23:20:24 +0000 |
| commit | 5e5310b3cb4f78e30cc7b90879eb016e97c214cb (patch) | |
| tree | 40c2729075e672c743a6df04cf3430ea6bd1f2db /compiler/iface/BuildTyCl.lhs | |
| parent | fbbd2bfaa54b4424edc70cbc4bd4ff29e324f6a2 (diff) | |
| download | haskell-5e5310b3cb4f78e30cc7b90879eb016e97c214cb.tar.gz | |
Comments only: replace ":=:" by "~" (notation for equality predicates)
Diffstat (limited to 'compiler/iface/BuildTyCl.lhs')
| -rw-r--r-- | compiler/iface/BuildTyCl.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/iface/BuildTyCl.lhs b/compiler/iface/BuildTyCl.lhs index 296b430e88..12668abccc 100644 --- a/compiler/iface/BuildTyCl.lhs +++ b/compiler/iface/BuildTyCl.lhs @@ -93,7 +93,7 @@ buildAlgTyCon tc_name tvs stupid_theta rhs is_rec want_generics gadt_syn -- -- (1) create a coercion that identifies the family instance type and the -- representation type from Step (1); ie, it is of the form --- `Co tvs :: F ts :=: R tvs', where `Co' is the name of the coercion, +-- `Co tvs :: F ts ~ R tvs', where `Co' is the name of the coercion, -- `F' the family tycon and `R' the (derived) representation tycon, -- and -- (2) produce a `TyConParent' value containing the parent and coercion |