- we added some syntactic sugar in the text parser

[helm.git] / helm / software / lambda-delta / text / txtLexer.mll

diff --git a/helm/software/lambda-delta/text/txtLexer.mll b/helm/software/lambda-delta/text/txtLexer.mll
index 05637286e81e73490e2845bcb4f9a5cf6719d05d..fc00064e586cf5664dea7d4783433b7621f1d25a 100644 (file)
--- a/helm/software/lambda-delta/text/txtLexer.mll
+++ b/helm/software/lambda-delta/text/txtLexer.mll
@@ -64,4 +64,7 @@ and token = parse
    | "*"       { out "STAR"; P.STAR   }
    | "#"       { out "HASH"; P.HASH   }
    | "+"       { out "PLUS"; P.PLUS   }
+   | "~"       { out "TE"; P.TE       }
+   | "->"      { out "WTO"; P.WTO     }
+   | "=>"      { out "STO"; P.STO     }
    | eof       { out "EOF"; P.EOF     }