# HG changeset patch
# User haftmann
# Date 1682786999 0
# Node ID 55fb4572e06250f5c0af1e6ce2840e95eb3241fe
# Parent  909efe20ff3b9820df19f4621f37f0a8158a035e
more correct type calculation

diff -r 909efe20ff3b -r 55fb4572e062 src/Tools/Code/code_thingol.ML
--- a/src/Tools/Code/code_thingol.ML	Sat Apr 29 18:40:41 2023 +0200
+++ b/src/Tools/Code/code_thingol.ML	Sat Apr 29 16:49:59 2023 +0000
@@ -591,7 +591,7 @@
   let
     val given = length ts;
     val delta = wanted - given;
-    val rty = (drop delta o binder_types) ty ---> body_type ty;
+    val rty = (drop wanted o binder_types) ty ---> body_type ty;
   in
     if delta = 0 then
       (([], (ts, rty)), [])