Ah yes. So should we make them all uppercase?




On Sep 16, 2013, at 12:43 PM, Niki Vazou <notifications@github.com> wrote:

> In Language/Haskell/Liquid/Parse.hs:
> 
> > @@ -421,6 +423,7 @@ specP
> >      <|> (reserved "embed"     >> liftM Embed  embedP    )
> >      <|> (reserved "qualif"    >> liftM Qualif qualifierP)
> >      <|> (reserved "Decrease"  >> liftM Decr   decreaseP )
> > +    <|> (reserved "LAZYVAR"   >> liftM LVars  lazyVarP  )
> The only problem with lower case is that then we cannot give a liquid type to functions with all these reserved names.
> 
> —
> Reply to this email directly or view it on GitHub.
>