[Ur] json_variant/destrR in meta leaving behind anonymous functions
Edward Z. Yang
ezyang at MIT.EDU
Sun Sep 16 22:23:52 EDT 2012
Trace is below. Perhaps the inline thresholds have to be bumped up for
this case?
ezyang at javelin:~/Dev/logitext/meta/tests$ urweb testJson
/home/ezyang/Dev/logitext/meta/variant.ur:96:24: (to 96:33) Anonymous function remains at code generation
Function: (fn v : {} => "{" ^ (UNBOUNDN_1872 "landline") ^ ":{}}")
/home/ezyang/Dev/logitext/meta/variant.ur:96:24: (to 96:33) Anonymous function remains at code generation
Function:
(fn v : FFI(Basis.string) =>
"{" ^ (UNBOUNDN_1872 "mobile") ^ ":" ^ (UNBOUNDN_1872 v) ^ "}")
/home/ezyang/Dev/logitext/meta/variant.ur:96:24: (to 96:33) Anonymous function remains at code generation
Function: (fn v : {} => "{" ^ (UNBOUNDN_1872 "secret") ^ ":{}}")
/home/ezyang/Dev/logitext/meta/variant.ur:96:24: (to 96:33) Anonymous function remains at code generation
Function:
(fn v : {1 : FFI(Basis.string), 2 : list(UNBOUND_DATATYPE_2029)} =>
"{" ^
(UNBOUNDN_1872 "Fun") ^
":{" ^
(let acc : FFI(Basis.string) =
((UNBOUNDN_1872 "2") ^
":" ^
(case v.2 of
None => "[]" |
Some {1 = x, 2 = None} => "[" ^ (UNBOUNDN_2031 x) ^ "]" |
Some {1 = x, 2 = ls} =>
"[" ^ (UNBOUNDN_2031 x) ^ (UNBOUNDN_2059 ls) ^ "]") ^ "")
in
((UNBOUNDN_1872 "1") ^
":" ^
(UNBOUNDN_1872 v.1) ^
(case acc of "" => "" | _ => "," ^ acc))) ^ "}}")
/home/ezyang/Dev/logitext/meta/variant.ur:96:24: (to 96:33) Anonymous function remains at code generation
Function:
(fn v : FFI(Basis.string) =>
"{" ^ (UNBOUNDN_1872 "Var") ^ ":" ^ (UNBOUNDN_1872 v) ^ "}")
/home/ezyang/Dev/logitext/meta/tests/testJson.ur:97:20: (to 97:27) Anonymous function remains at code generation
Function:
(fn $x : {1 : FFI(Basis.string), 2 : list(UNBOUND_DATATYPE_2029)} =>
(case $x of
{1 = s, 2 = gs} =>
"\n<b>Main god:</b> " ^
FFI(Basis.htmlifyString(s)) ^
"<br />\n<b>Subgods:</b> <ul>\n" ^
(UNBOUNDN_2063 gs) ^ "\n</ul>\n"))
/home/ezyang/Dev/logitext/meta/tests/testJson.ur:103:19: (to 103:20) Anonymous function remains at code generation
Function:
(fn s : FFI(Basis.string) =>
"\n<b>Var:</b> " ^ FFI(Basis.htmlifyString(s)) ^ "\n")
/home/ezyang/Dev/logitext/meta/tests/testJson.ur:97:20: (to 97:27) Anonymous function remains at code generation
Function:
(fn $x : {1 : FFI(Basis.string), 2 : list(UNBOUND_DATATYPE_2029)} =>
(case $x of
{1 = s, 2 = gs} =>
"\n<b>Main god:</b> " ^
FFI(Basis.htmlifyString(s)) ^
"<br />\n<b>Subgods:</b> <ul>\n" ^
(UNBOUNDN_2063 gs) ^ "\n</ul>\n"))
/home/ezyang/Dev/logitext/meta/tests/testJson.ur:103:19: (to 103:20) Anonymous function remains at code generation
Function:
(fn s : FFI(Basis.string) =>
"\n<b>Var:</b> " ^ FFI(Basis.htmlifyString(s)) ^ "\n")
More information about the Ur
mailing list