threading LocSymbol through
added code for Located values
added locations to invariants too
added locations to invariants too
slowly porting fixpoint sortchecking from ml to hs
much progress
making sort errors a bit more palatable
after much cajoling, some non-trivial progress in bytestring
removing LiquidPrelude from source
all tests pass AND bytestring.Internal has reasonable error message
removing bogus fromIntegral signature
removing bogus fromIntegral signature
Merge branch 'specerror' of github.com:ucsd-progsys/liquidhaskell into specerror
added support for including qualifiers in .hs source files
added support for including qualifiers in .hs source files
changed auto-qual-gen (specificationQualifiers) to use ALL imported sigs, and datacon sigs, not just for defined types
auto-qualgen for all imported types. yikes. measure slowdown.
Data.Map.Base did not finish with ALL quals. dialing down to include only data cons
Asd
done with Bytestring-Internal -- except for canary.hs