some work on HM interpreter

[fp.git] / src / Lambda / Parser / Fancy.hs

diff --git a/src/Lambda/Parser/Fancy.hs b/src/Lambda/Parser/Fancy.hs
index 3ad5728..f7a523d 100644 (file)
--- a/src/Lambda/Parser/Fancy.hs
+++ b/src/Lambda/Parser/Fancy.hs
@@ -57,7 +57,7 @@ tRead s = case parseOnly (parseTerm <* endOfInput) (T.pack s) of
 
 parseVar :: Parser Term
 parseVar = do
 
 parseVar :: Parser Term
 parseVar = do

-  x <- many1 $ satisfy isAsciiLower
+  x <- many1 letter

   return $! Var x
 
 parseLambda :: Parser Term
   return $! Var x
 
 parseLambda :: Parser Term