[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