equal
deleted
inserted
replaced
9 begin |
9 begin |
10 |
10 |
11 code_type char |
11 code_type char |
12 (SML "char") |
12 (SML "char") |
13 (OCaml "char") |
13 (OCaml "char") |
14 (Haskell "Char") |
14 (Haskell "Prelude.Char") |
15 (Scala "Char") |
15 (Scala "Char") |
16 |
16 |
17 setup {* |
17 setup {* |
18 fold String_Code.add_literal_char ["SML", "OCaml", "Haskell", "Scala"] |
18 fold String_Code.add_literal_char ["SML", "OCaml", "Haskell", "Scala"] |
19 #> String_Code.add_literal_list_string "Haskell" |
19 #> String_Code.add_literal_list_string "Haskell" |
56 (SML "String.explode") |
56 (SML "String.explode") |
57 (OCaml "!(let s = _ in let rec exp i l = if i < 0 then l else exp (i - 1) (String.get s i :: l) in exp (String.length s - 1) [])") |
57 (OCaml "!(let s = _ in let rec exp i l = if i < 0 then l else exp (i - 1) (String.get s i :: l) in exp (String.length s - 1) [])") |
58 (Haskell "_") |
58 (Haskell "_") |
59 (Scala "!(_.toList)") |
59 (Scala "!(_.toList)") |
60 |
60 |
61 |
|
62 (*declare Quickcheck_Exhaustive.char.bounded_forall_char.simps [code del]*) |
|
63 |
|
64 end |
61 end |