I agree. How about lowercase except for LIQUID?




On Sep 16, 2013, at 11:48 AM, Eric Seidel <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  )
> It would be nice to have a consistent naming convention for our annotations, e.g. use LazyVar instead. Or even better, perhaps we should make all the annotations lowercase, except LIQUID?
> 
> —
> Reply to this email directly or view it on GitHub.