equal
deleted
inserted
replaced
106 OS.FileSys.remove tmpName; |
106 OS.FileSys.remove tmpName; |
107 result |
107 result |
108 end; |
108 end; |
109 |
109 |
110 |
110 |
111 (*"false" writes an image file that is executed via the MLWorks "mlimage" |
111 (* getenv *) |
112 script, while "true" would yield a larger, self-contained executable.*) |
112 |
113 fun xML filename = Shell.saveImage (filename, false); |
113 local |
|
114 fun drop_last [] = [] |
|
115 | drop_last [x] = [] |
|
116 | drop_last (x :: xs) = x :: drop_last xs; |
|
117 |
|
118 val drop_last_char = implode o drop_last o explode; |
|
119 in |
|
120 fun getenv var = drop_last_char |
|
121 (execute ("env | grep '^" ^ var ^ "=' | sed -e 's/" ^ var ^ "=//'")); |
|
122 end; |
114 |
123 |
115 |
124 |
116 (*Non-printing and 8-bit chars are forbidden in string constants*) |
125 (*Non-printing and 8-bit chars are forbidden in string constants*) |
117 val needs_filtered_use = true; |
126 val needs_filtered_use = true; |
118 |
127 |