From 56f62f31d88348e25636e13d9f8f57a04c1b0b74 Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 1 Dec 2005 16:55:57 +0000 Subject: Transfer: Added Double type. --- src/Transfer/Syntax/Lex.x | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Transfer/Syntax/Lex.x') diff --git a/src/Transfer/Syntax/Lex.x b/src/Transfer/Syntax/Lex.x index 41f8e1fd0..3805b1d65 100644 --- a/src/Transfer/Syntax/Lex.x +++ b/src/Transfer/Syntax/Lex.x @@ -29,7 +29,7 @@ $l $i* { tok (\p s -> PT p (eitherResIdent (TV . share) s)) } \" ([$u # [\" \\ \n]] | (\\ (\" | \\ | \' | n | t)))* \"{ tok (\p s -> PT p (TL $ share $ unescapeInitTail s)) } $d+ { tok (\p s -> PT p (TI $ share s)) } - +$d+ \. $d+ (e (\-)? $d+)? { tok (\p s -> PT p (TD $ share s)) } { -- cgit v1.2.3