changeset 38058 | e4640c2ceb43 |
parent 37966 | ac9bcae5ada7 |
child 38068 | 00042fd999a8 |
38057:5ac79735cfef | 38058:e4640c2ceb43 |
---|---|
1012 |
1012 |
1013 ML {* @{code test_1} () *} |
1013 ML {* @{code test_1} () *} |
1014 ML {* @{code test_2} () *} |
1014 ML {* @{code test_2} () *} |
1015 ML {* @{code test_3} () *} |
1015 ML {* @{code test_3} () *} |
1016 |
1016 |
1017 export_code test_1 test_2 test_3 checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala? |
1017 export_code test_1 test_2 test_3 checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala? (*Scala_imp?*) |
1018 |
1018 |
1019 end |
1019 end |