- | T_Leaf (Some (ac,lwv,e)) =>
- (mkTriple ac (map weakVarToCoreVar lwv) (weakExprToCoreExpr e))::nil
+ | T_Leaf (Some (ac,tvars,cvars,evars,e)) =>
+ (mkTriple (ac:AltCon)
+ (app (app
+ (map (fun v:WeakTypeVar => weakVarToCoreVar v) tvars)
+ (map (fun v:WeakCoerVar => weakVarToCoreVar v) cvars))
+ (map (fun v:WeakExprVar => weakVarToCoreVar v) evars))
+ (weakExprToCoreExpr e))::nil