diff options
| author | Gabor Greif <ggreif@gmail.com> | 2013-02-02 02:14:15 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2013-02-02 02:55:13 +0100 |
| commit | a06684446edc7fa6f63fa897fc0dffb746431238 (patch) | |
| tree | 10ee6feef0899c6cc430a7f55df65a4f29c12418 | |
| parent | 8b64ce191171b22fb334799de4de568401c06268 (diff) | |
| download | haskell-a06684446edc7fa6f63fa897fc0dffb746431238.tar.gz | |
spelling
| -rw-r--r-- | compiler/basicTypes/IdInfo.lhs | 2 | ||||
| -rw-r--r-- | compiler/types/InstEnv.lhs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/basicTypes/IdInfo.lhs b/compiler/basicTypes/IdInfo.lhs index 0107e411d0..f0248fc3f1 100644 --- a/compiler/basicTypes/IdInfo.lhs +++ b/compiler/basicTypes/IdInfo.lhs @@ -129,7 +129,7 @@ data IdDetails -- b) when desugaring a RecordCon we can get -- from the Id back to the data con] - | ClassOpId Class -- ^ The 'Id' is an superclass selector or class operation of a class + | ClassOpId Class -- ^ The 'Id' is a superclass selector or class operation of a class | PrimOpId PrimOp -- ^ The 'Id' is for a primitive operator | FCallId ForeignCall -- ^ The 'Id' is for a foreign call diff --git a/compiler/types/InstEnv.lhs b/compiler/types/InstEnv.lhs index dbfbc434e0..569697caa2 100644 --- a/compiler/types/InstEnv.lhs +++ b/compiler/types/InstEnv.lhs @@ -458,7 +458,7 @@ type ClsInstLookupResult Note [DFunInstType: instantiating types] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -A successful match is an ClsInst, together with the types at which +A successful match is a ClsInst, together with the types at which the dfun_id in the ClsInst should be instantiated The instantiating types are (Either TyVar Type)s because the dfun might have some tyvars that *only* appear in arguments |