changeset 38058 | e4640c2ceb43 |
parent 37966 | ac9bcae5ada7 |
child 40671 | 5e46057ba8e0 |
38057:5ac79735cfef | 38058:e4640c2ceb43 |
---|---|
653 |
653 |
654 code_reserved SML upto |
654 code_reserved SML upto |
655 |
655 |
656 ML {* @{code qsort} (Array.fromList [42, 2, 3, 5, 0, 1705, 8, 3, 15]) () *} |
656 ML {* @{code qsort} (Array.fromList [42, 2, 3, 5, 0, 1705, 8, 3, 15]) () *} |
657 |
657 |
658 export_code qsort checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala? |
658 export_code qsort checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala? Scala_imp? |
659 |
659 |
660 end |
660 end |