Commits

Anonymous committed 6828245

relaxed type requirement on 'new List.ti'

  • Participants
  • Parent commits 19d41b0

Comments (0)

Files changed (1)

       let open Buffer in
       let b = create 30 in
       ( add_string b begins
-      ; let show = t#show in
+      ; let show = Cdt.get_meth_typed1 "show" t t Cdt.ti_string in
         let add x = add_string b (show x) in
         match lst with
         [ [] -> ()