summaryrefslogtreecommitdiff
path: root/cpp.mlb
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-03-22 01:45:46 +0100
committerVladimir Azarov <avm@intermediate-node.net>2025-03-22 01:45:46 +0100
commit9ed6d5386bcc9ad8a8e73b481d41fcaea80adaad (patch)
tree81869c0ad2bb1d64f21323ce8a3f07a64fc451e9 /cpp.mlb
Initial version
Diffstat (limited to 'cpp.mlb')
-rw-r--r--cpp.mlb6
1 files changed, 6 insertions, 0 deletions
diff --git a/cpp.mlb b/cpp.mlb
new file mode 100644
index 0000000..ef33548
--- /dev/null
+++ b/cpp.mlb
@@ -0,0 +1,6 @@
+ann
+ "allowRecordPunExps true"
+in
+ $(SML_LIB)/basis/basis.mlb
+ cpp.sml
+end