X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskStrongToWeak.v;h=79d954c9a0c311fadd6612261f8a254e4a64e9a1;hp=e956dd659394f4eb9c9a3853f214ac67a8ce8f7b;hb=1cfe65d4e2d3292cc038882d8518dd7a48e2c40a;hpb=9ae7c0c0ae44417d2171487376ae66dc9eaad20a

diff --git a/src/HaskStrongToWeak.v b/src/HaskStrongToWeak.v
index e956dd6..79d954c 100644
--- a/src/HaskStrongToWeak.v
+++ b/src/HaskStrongToWeak.v
@@ -181,7 +181,7 @@ Section HaskStrongToWeak.
                                   (fun _ => UniqM WeakType) _ (fun _ t => typeToWeakType t ite) atypes))
                   ; return WECase vscrut' escrut' tbranches' tc tys branches'
 
-    | ELetRec _ _ _ _ _ vars elrb e => fun ite => bind vars' = seqM (map (fun vt:VV * HaskType _ ★
+    | ELetRec _ _ _ _ _ vars disti elrb e => fun ite => bind vars' = seqM (map (fun vt:VV * HaskType _ ★
                                                                         => bind tleaf = typeToWeakType (snd vt) ite
                                                                          ; bind v' = mkWeakExprVar tleaf
                                                                          ; return ((fst vt),v'))