# HG changeset patch
# User Gabriel Riba Faura <griba2001@gmail.com>
# Date 1433313263 -7200
# Node ID 763ccca119bc00e81a615d043429d83b7ef6118b
# Parent  854d7ba67a5929f53e2547311b5f506055f18222
location literal _LOC_

diff -r 854d7ba67a59 -r 763ccca119bc src/urweb.lex
--- a/src/urweb.lex	Thu May 28 10:28:15 2015 -0400
+++ b/src/urweb.lex	Wed Jun 03 08:34:23 2015 +0200
@@ -537,6 +537,12 @@
 
 <INITIAL> "CURRENT_TIMESTAMP" => (Tokens.CURRENT_TIMESTAMP (pos yypos, pos yypos + size yytext));
 
+<INITIAL> "_LOC_" => (let val strLoc = ErrorMsg.spanToString (ErrorMsg.spanOf
+                                            (pos yypos, pos yypos + size yytext))
+                      in
+                          Tokens.STRING (strLoc, pos yypos, pos yypos + size yytext)
+                      end);
+
 <INITIAL> {id}        => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));
 <INITIAL> {cid}       => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));