diff options
| author | simonpj@microsoft.com <unknown> | 2007-05-09 11:25:30 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-05-09 11:25:30 +0000 |
| commit | 2c8701fbebc0a6a49248392b53d977f0afdea4ec (patch) | |
| tree | bfc3430afd0863c92e0cf9f053ee776e8385d4ca /compiler/codeGen/Bitmap.hs | |
| parent | 65b5fb0ff8dd2af5c8bed6db5f059b4f60eb05de (diff) | |
| download | haskell-2c8701fbebc0a6a49248392b53d977f0afdea4ec.tar.gz | |
Tidy up the interface to lookupInstEnv
This patch changes the interface to lookupInstEnv, so that it
returns a pair (Instance, [Either TyVar Type])
rather than (Inst, TvSubst)
There is no functionality change, but the interface is tidier,
and closer to lookupFamInstEnv (when Manuel has changed that too).
The [Either TyVar Type] gives the type(s) at which the dfun should
be instantiated. We need an Either because it might be instantiated
freely: see Note [InstTypes: instantiating types] in InstEnv.
(This might be a pattern we want to use elsewhere too.)
Diffstat (limited to 'compiler/codeGen/Bitmap.hs')
0 files changed, 0 insertions, 0 deletions