ucsd-progsys/liquidhaskell — pull request #113 by ranjitjhala (2013-08-12 23:05:35+00:00)
Title: Pragmas

Add command line parameters as string pragmas in the source file.

See tests/pos/pragma0.hs or web/demos/Order.hs for an example.