diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-22 23:28:20 +0100 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-22 23:28:20 +0100 |
| commit | 806082ec8249bb73c1d69a43bd8aea2bc9ef0364 (patch) | |
| tree | 39a2cb1e0859ceebdc9aa573fe0691ef4077f829 /cpp.mlb | |
| parent | 8b4d40a1bb5e62788c9e2d8da774596ce8f4dd57 (diff) | |
Keywords
Diffstat (limited to 'cpp.mlb')
| -rw-r--r-- | cpp.mlb | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,5 +1,6 @@ ann "allowRecordPunExps true" + "warnUnused true" in $(SML_LIB)/basis/basis.mlb cpp.sml |