diff options
| author | simonpj@microsoft.com <unknown> | 2007-01-11 08:53:31 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-01-11 08:53:31 +0000 |
| commit | e50fa4a41693ccd5d95034d02f4452b6c627a377 (patch) | |
| tree | 229135db406cc7d16aef14d5479c0b5dc8e7a08c /compiler/simplCore | |
| parent | 086c359ab4dbfd140a096aa1864b31dec7868416 (diff) | |
| download | haskell-e50fa4a41693ccd5d95034d02f4452b6c627a377.tar.gz | |
Comments
Diffstat (limited to 'compiler/simplCore')
| -rw-r--r-- | compiler/simplCore/Simplify.lhs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs index c3fb34de94..d2e912b900 100644 --- a/compiler/simplCore/Simplify.lhs +++ b/compiler/simplCore/Simplify.lhs @@ -735,8 +735,9 @@ simplCast env body co cont where addCoerce co cont = add_coerce co (coercionKind co) cont - add_coerce co (s1, k1) cont - | s1 `coreEqType` k1 = cont + add_coerce co (s1, k1) cont -- co :: ty~ty + | s1 `coreEqType` k1 = cont -- is a no-op + add_coerce co1 (s1, k2) (CoerceIt co2 cont) | (l1, t1) <- coercionKind co2 -- coerce T1 S1 (coerce S1 K1 e) |