Add string pasting support to the gramamr.

[snipe.git] / util / mark.sml

diff --git a/util/mark.sml b/util/mark.sml
index a83f65a64f6ff54efc417cbd8bc8427c47fbc9eb..c3b8348474bd108a77648a42cd3a9612bf6b5f93 100644 (file)
--- a/util/mark.sml
+++ b/util/mark.sml
@@ -27,6 +27,7 @@ sig
 
   (* data: remove the markings *)
   val data : 'a marked -> 'a
+  val kane : 'a marked -> 'a
 
   (* ext: retrieve positional information from marked value*)
   val ext : 'a marked -> ext option
@@ -64,6 +65,7 @@ struct
   fun naked d = (d, NONE)
 
   fun data (d, e) = d
+  val kane = data
   fun ext (d, e) = e
 
   fun extmin ((l1, c1), (l2, c2)) =