# HG changeset patch
# User haftmann
# Date 1402588959 -7200
# Node ID 5c75baf68b774ed8104dc7f3e984ad6c510f137f
# Parent  5496011859eba73c073f4e0d141d7e2587cfdb12
formal variable name: IVar NONE is strictly spoken not supported on lhs of function definitions, e.g. in Scala

diff -r 5496011859eb -r 5c75baf68b77 src/Tools/Code/code_target.ML
--- a/src/Tools/Code/code_target.ML	Thu Jun 12 18:47:27 2014 +0200
+++ b/src/Tools/Code/code_target.ML	Thu Jun 12 18:02:39 2014 +0200
@@ -437,7 +437,7 @@
     val ty' = ITyVar v' `-> ty;
     val program = prepared_program
       |> Code_Symbol.Graph.new_node (Code_Symbol.value,
-          Code_Thingol.Fun (((vs', ty'), [(([IVar NONE], t), (NONE, true))]), NONE))
+          Code_Thingol.Fun (((vs', ty'), [(([IVar (SOME "dummy")], t), (NONE, true))]), NONE))
       |> fold (curry (perhaps o try o
           Code_Symbol.Graph.add_edge) Code_Symbol.value) syms;
     val (program_code, deresolve) =