diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-12-24 14:55:35 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-12-24 14:59:57 +0000 |
| commit | 1af0d36be801a2039ba5c3c1546f06b6dad9b7a1 (patch) | |
| tree | 0b6cdabfff8af5e12d08081771c19f358fe6e70a /compiler/main/InteractiveEval.hs | |
| parent | fcc7498f9b36c7c47d4d7aea8c277fe7a5699f51 (diff) | |
| download | haskell-1af0d36be801a2039ba5c3c1546f06b6dad9b7a1.tar.gz | |
Refactoring only
This moves code around to more sensible places.
- Construction for CoAxiom is localised in FamInstEnv
- orphNamesOfxx moves to CoreFVs
- roughMatchTcs, instanceCantMatch moves to Unify
- mkNewTypeCo moves from Coercion to FamInstEnv, and is
renamed mkNewTypeCoAxiom, which makes more sense
Diffstat (limited to 'compiler/main/InteractiveEval.hs')
| -rw-r--r-- | compiler/main/InteractiveEval.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/main/InteractiveEval.hs b/compiler/main/InteractiveEval.hs index eb23a60f82..7839f1b9ed 100644 --- a/compiler/main/InteractiveEval.hs +++ b/compiler/main/InteractiveEval.hs @@ -58,7 +58,8 @@ import HsSyn import HscTypes import InstEnv import IfaceEnv ( newInteractiveBinder ) -import FamInstEnv ( FamInst, orphNamesOfFamInst ) +import FamInstEnv ( FamInst ) +import CoreFVs ( orphNamesOfFamInst ) import TyCon import Type hiding( typeKind ) import TcType hiding( typeKind ) |