equal
deleted
inserted
replaced
22 |
22 |
23 code_instance int :: eq |
23 code_instance int :: eq |
24 (Haskell -) |
24 (Haskell -) |
25 |
25 |
26 setup {* |
26 setup {* |
27 fold (fn target => CodegenSerializer.add_pretty_numeral target true |
27 fold (fn target => CodeTarget.add_pretty_numeral target true |
28 (@{const_name number_of}, @{typ "int \<Rightarrow> int"}) |
28 (@{const_name number_of}, @{typ "int \<Rightarrow> int"}) |
29 @{const_name Numeral.B0} @{const_name Numeral.B1} |
29 @{const_name Numeral.B0} @{const_name Numeral.B1} |
30 @{const_name Numeral.Pls} @{const_name Numeral.Min} |
30 @{const_name Numeral.Pls} @{const_name Numeral.Min} |
31 @{const_name Numeral.Bit} |
31 @{const_name Numeral.Bit} |
32 ) ["SML", "OCaml", "Haskell"] |
32 ) ["SML", "OCaml", "Haskell"] |