Yes it should be full

> On May 26, 2014, at 6:19 PM, Eric Seidel <notifications@github.com> wrote:
> 
> In README.md:
> 
> > +    real	0m11.584s
> > +    user	0m6.008s
> > +    sys	    0m0.696s
> > +
> > +The diff is only performed against **code**, i.e. if you only change
> > +specifications, qualifiers, measures, etc. `liquid -d` will not perform
> > +any checks. In this case, you may specify individual definitions to verify:
> > +
> > +    $ liquid -b bar -b baz foo.hs
> > +
> > +This will verify `bar` and `baz`, as well as any functions they use.
> > +
> > +If you always want to run a given file with full-checking, add
> > +the pragma:
> > +
> > +    {-@ LIQUID "--diff" @-}
> Shouldn't this be --full?
> 
> —
> Reply to this email directly or view it on GitHub.