# HG changeset patch
# User berghofe
# Date 1138294681 -3600
# Node ID 4f4ed2a01152af2656d3368f1a904be9668456aa
# Parent  5784fe1b5657b42f635c9152f324ec10c8416598
Fixed bug in code generator for primitive definitions that
caused dependencies to get mixed up.

diff -r 5784fe1b5657 -r 4f4ed2a01152 src/Pure/codegen.ML
--- a/src/Pure/codegen.ML	Thu Jan 26 15:37:14 2006 +0100
+++ b/src/Pure/codegen.ML	Thu Jan 26 17:58:01 2006 +0100
@@ -763,7 +763,7 @@
                  NONE =>
                    let
                      val _ = message ("expanding definition of " ^ s);
-                     val (Ts, _) = strip_type T;
+                     val (Ts, _) = strip_type U;
                      val (args', rhs') =
                        if not (null args) orelse null Ts then (args, rhs) else
                          let val v = Free (new_name rhs "x", hd Ts)