changeset 37750 | 82e0fe8b07eb |
parent 37719 | 271ecd4fb9f9 |
child 37758 | bf86a65403a8 |
37749:c7e15d59c58d | 37750:82e0fe8b07eb |
---|---|
635 |
635 |
636 code_reserved SML upto |
636 code_reserved SML upto |
637 |
637 |
638 ML {* @{code qsort} (Array.fromList [42, 2, 3, 5, 0, 1705, 8, 3, 15]) () *} |
638 ML {* @{code qsort} (Array.fromList [42, 2, 3, 5, 0, 1705, 8, 3, 15]) () *} |
639 |
639 |
640 export_code qsort in SML_imp module_name QSort |
640 export_code qsort in SML_imp module_name QSort file - |
641 export_code qsort in OCaml module_name QSort file - |
641 export_code qsort in OCaml module_name QSort file - |
642 export_code qsort in OCaml_imp module_name QSort file - |
642 export_code qsort in OCaml_imp module_name QSort file - |
643 export_code qsort in Haskell module_name QSort file - |
643 export_code qsort in Haskell module_name QSort file - |
644 |
644 |
645 end |
645 end |