author | haftmann |
Sat, 29 Apr 2023 16:49:59 +0000 | |
changeset 77924 | 55fb4572e062 |
parent 77923 | 909efe20ff3b |
child 77925 | 07e82441c19e |
--- 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)), [])