equal
deleted
inserted
replaced
12 |
12 |
13 definition "everything = (Array.new, Array.of_list, Array.make, Array.len, Array.nth, |
13 definition "everything = (Array.new, Array.of_list, Array.make, Array.len, Array.nth, |
14 Array.upd, Array.map_entry, Array.swap, Array.freeze, |
14 Array.upd, Array.map_entry, Array.swap, Array.freeze, |
15 ref, Ref.lookup, Ref.update, Ref.change)" |
15 ref, Ref.lookup, Ref.update, Ref.change)" |
16 |
16 |
17 export_code everything checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala? |
17 export_code everything checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala? Scala_imp? |
18 |
18 |
19 end |
19 end |