|
From: Matthew F. <fl...@ml...> - 2006-11-20 15:44:50
|
cmcat: catching up with some old changes to mltonlib
----------------------------------------------------------------------
U mlton/trunk/util/cmcat/cmcat.sml
----------------------------------------------------------------------
Modified: mlton/trunk/util/cmcat/cmcat.sml
===================================================================
--- mlton/trunk/util/cmcat/cmcat.sml 2006-11-20 19:44:30 UTC (rev 4849)
+++ mlton/trunk/util/cmcat/cmcat.sml 2006-11-20 23:44:26 UTC (rev 4850)
@@ -108,7 +108,7 @@
fun closure () =
if List.length (!todo) = 0
then ()
- else DynamicWind.withEscape
+ else Exn.withEscape
(fn esc =>
let
val (srcdescr,finish) = List.pop todo
@@ -640,7 +640,7 @@
then
(comments := true;
loop args)
- else if String.isPrefix {prefix = "-D", string = flag}
+ else if String.hasPrefix (flag, {prefix = "-D"})
then
(defines := String.extract (flag, 2, NONE) :: !defines
; loop args)
|