adbrucker
/
isabelle-hacks
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Bug fix: wrong order of default variables.

This commit is contained in:
Achim D. Brucker 2018-06-25 19:00:09 +01:00
parent 09aa5120f5
commit a069d566f8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Hiding_Type_Variables.thy
View File

@ -399,7 +399,7 @@ structure Hide_Tvar : HIDE_TVAR = struct
| _ => error("Unsupported type structure.")
val type_vars_ast = map (fn n => Ast.Variable(name_of_tvar n)) (#tvars default_info)
val type_vars_ast = case hole of
right => List.drop(List.rev type_vars_ast, List.length args)@args
right => (List.rev(List.drop(List.rev type_vars_ast, List.length args)))@args
| left => args@List.drop(type_vars_ast, List.length args)
in
Ast.Appl ((Ast.Constant decorated_name)::type_vars_ast)