equal
deleted
inserted
replaced
414 |
414 |
415 fun evaluation mounted_serializer prepared_program consts ((vs, ty), t) = |
415 fun evaluation mounted_serializer prepared_program consts ((vs, ty), t) = |
416 let |
416 let |
417 val _ = if Code_Thingol.contains_dict_var t then |
417 val _ = if Code_Thingol.contains_dict_var t then |
418 error "Term to be evaluated contains free dictionaries" else (); |
418 error "Term to be evaluated contains free dictionaries" else (); |
419 val v' = Name.variant (map fst vs) "a"; |
419 val v' = singleton (Name.variant_list (map fst vs)) "a"; |
420 val vs' = (v', []) :: vs; |
420 val vs' = (v', []) :: vs; |
421 val ty' = Code_Thingol.fun_tyco `%% [ITyVar v', ty]; |
421 val ty' = Code_Thingol.fun_tyco `%% [ITyVar v', ty]; |
422 val value_name = "Value.value.value" |
422 val value_name = "Value.value.value" |
423 val program = prepared_program |
423 val program = prepared_program |
424 |> Graph.new_node (value_name, |
424 |> Graph.new_node (value_name, |