diff options
| author | simonpj@microsoft.com <unknown> | 2006-10-13 16:24:34 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2006-10-13 16:24:34 +0000 |
| commit | ac704fcac946590eef0ec91ae19f3b47d779a75f (patch) | |
| tree | f93958e109b052b48ee780c0ee4372a0e655fce7 /compiler/simplCore/SimplUtils.lhs | |
| parent | 28d732c362e13e58d653b3dc15fd376c3f0c54c2 (diff) | |
| download | haskell-ac704fcac946590eef0ec91ae19f3b47d779a75f.tar.gz | |
Add assertion checks for mkCoVar/mkTyVar
A type variable has a flag saying whether it is a *type* variable or
a *coercion* variable. This patch adds assertions to check the flag.
And it adds fixes to places which were Wrong (and hence fired the
assertion)!
Also removed isCoVar from Coercion, since it's done by Var.isCoVar.
Diffstat (limited to 'compiler/simplCore/SimplUtils.lhs')
| -rw-r--r-- | compiler/simplCore/SimplUtils.lhs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/simplCore/SimplUtils.lhs b/compiler/simplCore/SimplUtils.lhs index b193771ebe..fa244c47e1 100644 --- a/compiler/simplCore/SimplUtils.lhs +++ b/compiler/simplCore/SimplUtils.lhs @@ -44,7 +44,6 @@ import Id ( Id, idType, isDataConWorkId, idOccInfo, isDictId, ) import NewDemand ( isStrictDmd, isBotRes, splitStrictSig ) import SimplMonad -import Var ( tyVarKind, mkTyVar ) import Name ( mkSysTvName ) import Type ( Type, splitFunTys, dropForAlls, isStrictType, splitTyConApp_maybe, tyConAppArgs, mkTyVarTys ) |