Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_thingol.ML
changeset 78666 2ca78c955c97
parent 77927 f041d5060892
child 79411 700d4f16b5f2 
--- 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)), [])
isabelle