aboutsummaryrefslogtreecommitdiff
path: root/lang/mlkit
Commit message (Collapse)AuthorAgeFilesLines
* lang/mlkit: update to 4.7.13Serpent77762024-12-103-101/+182
| | | | | | Changelog: https://github.com/melsman/mlkit/blob/master/NEWS.md PR: 283008
* lang/mlkit: Moved man to share/manMuhammad Moinur Rahman2024-02-222-6/+8
| | | | Approved by: portmgr (blanket)
* lang/mlkit: update to 4.7.5Serpent77762023-10-277-107/+93
| | | | | | | | | | | | | | | | Changelog: https://github.com/melsman/mlkit/blob/master/NEWS.md - ReML released as part of the distribution - Improved documentation of basis library - Addition of IEEE_REAL signature and IEEEReal structure. Improved Real support. - Initial support for explicit region and effect annotations, including constraints on function invocations. The modified source language, which we call ReML (a Standard ML program is also a ReML program) is enabled with the -er flag - Generate position-independent machine code PR: 274695
* lang/mlkit: Standard ML CompilerSerpent77762023-05-2910-0/+3750
The MLKit is a compiler toolkit for the Standard ML language, including The MLKit with Regions, which features a native backend for the x64 architecture, based on region inference, and SMLtoJs, which features a JavaScript backend targeting web browsers. The two compilers share the same frontend and compilation management scheme. The MLKit covers all of Standard ML, as defined in the 1997 edition of The Definition of Standard ML and supports most of the Standard ML Basis Library. WWW: https://elsman.com/mlkit/ PR: 269566