# HG changeset patch
# User haftmann
# Date 1694669070 0
# Node ID 2ca78c955c97993711a43565c5baeac7d6bbdc59
# Parent  b0ddfa5b9ddcbdb1216ec2f120c578abd953cc55
Corrected type calculation.

diff -r b0ddfa5b9ddc -r 2ca78c955c97 src/Tools/Code/code_thingol.ML
--- a/src/Tools/Code/code_thingol.ML	Wed Sep 13 17:08:55 2023 +0000
+++ b/src/Tools/Code/code_thingol.ML	Thu Sep 14 05:24:30 2023 +0000
@@ -283,7 +283,7 @@
   let
     val given = length ts;
     val delta = wanted - given;
-    val (_, rty) = unfold_fun_n wanted range;
+    val rty = drop wanted dom `--> range;
   in
     if delta = 0 then
       (([], (ts, rty)), [])