changeset 37826 | 4c0a5e35931a |
parent 37806 | a7679be14442 |
child 37845 | b70d7a347964 |
37825:adc1143bc1a8 | 37826:4c0a5e35931a |
---|---|
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 in SML_imp module_name QSort file - |
658 export_code qsort checking SML SML_imp OCaml? OCaml_imp? Haskell? |
659 export_code qsort in OCaml module_name QSort file - |
|
660 export_code qsort in OCaml_imp module_name QSort file - |
|
661 export_code qsort in Haskell module_name QSort file - |
|
662 |
659 |
663 end |
660 end |