diff src/settings.sml @ 1057:eaba663fd6aa

Represent FFI function names as strings, to deal with cross-file recursion
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Dec 2009 14:01:34 -0500
parents 93315ac00394
children e8a35d710ab9
line wrap: on
line diff
--- a/src/settings.sml	Thu Dec 03 14:32:47 2009 -0500
+++ b/src/settings.sml	Sat Dec 05 14:01:34 2009 -0500
@@ -160,6 +160,7 @@
                           ("attrifyFloat", "ts"),
                           ("attrifyBool", "bs"),
                           ("boolToString", "ts"),
+                          ("str1", "id"),
                           ("strsub", "sub"),
                           ("strsuffix", "suf"),
                           ("strlen", "slen"),