Commit e50fa4a4 authored by's avatar
Browse files


parent 086c359a
......@@ -735,8 +735,9 @@ simplCast env body co cont
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)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment