# HG changeset patch
# User haftmann
# Date 1187032960 -7200
# Node ID ae3eb1766e567c16399b7e9d595a2ac820ba0dcf
# Parent  c59c09b097944de433ee1437bbcb95644206c13d
fixed OCaml bug

diff -r c59c09b09794 -r ae3eb1766e56 src/Tools/code/code_target.ML
--- a/src/Tools/code/code_target.ML	Mon Aug 13 21:22:39 2007 +0200
+++ b/src/Tools/code/code_target.ML	Mon Aug 13 21:22:40 2007 +0200
@@ -687,11 +687,12 @@
               | fillup_parm x (i, NONE) = x ^ string_of_int i;
             fun fish_parms vars eqs =
               let
-                val raw_fished = fold (map2 fish_parm) eqs (replicate (length (hd eqs)) NONE);
-                val x = Name.variant (map_filter I raw_fished) "x";
-                val fished = map_index (fillup_parm x) raw_fished;
-                val vars' = CodeName.intro_vars fished vars;
-              in map (CodeName.lookup_var vars') fished end;
+                val fished1 = fold (map2 fish_parm) eqs (replicate (length (hd eqs)) NONE);
+                val x = Name.variant (map_filter I fished1) "x";
+                val fished2 = map_index (fillup_parm x) fished1;
+                val fished3 = fold_rev (fn x => fn xs => Name.variant xs x :: xs) fished2 [];
+                val vars' = CodeName.intro_vars fished3 vars;
+              in map (CodeName.lookup_var vars') fished3 end;
             fun pr_eq (ts, t) =
               let
                 val consts = map_filter