├── .circleci └── config.yml ├── .ghci ├── .github └── workflows │ ├── cabal.yml │ ├── docs-ci-cd.yml │ ├── ghc-head.yml │ └── hlint.yml ├── .gitignore ├── .gitmodules ├── .hlint.yaml ├── CHANGES.md ├── LICENSE ├── LICENSE_Z3 ├── Makefile ├── README.md ├── Setup.hs ├── Syntax.md ├── TODO.EASY.md ├── TODO.md ├── benchmark-timings ├── CHANGELOG.md ├── app │ └── Main.hs └── benchmark-timings.cabal ├── benchmarks └── icfp15 │ └── README.md ├── cabal.project ├── cleanup ├── docs ├── blog │ ├── 2013-01-01-refinement-types-101.lhs │ ├── 2013-01-27-refinements101-reax.lhs │ ├── 2013-01-31-safely-catching-a-list-by-its-tail.lhs │ ├── 2013-02-16-kmeans-clustering-I.lhs │ ├── 2013-02-17-kmeans-clustering-II.lhs │ ├── 2013-03-04-bounding-vectors.lhs │ ├── 2013-03-26-talking-about-sets.lhs │ ├── 2013-05-16-unique-zippers.lhs │ ├── 2013-05-24-unique-zipper.lhs │ ├── 2013-06-03-abstracting-over-refinements.lhs │ ├── 2013-07-29-putting-things-in-order.lhs │ ├── 2013-11-23-telling_lies.lhs │ ├── 2013-12-01-getting-to-the-bottom.lhs │ ├── 2013-12-02-getting-to-the-bottom.lhs │ ├── 2013-12-09-checking-termination.lhs │ ├── 2013-12-14-gcd.lhs │ ├── 2013-12-22-measuring-the-size-of-structures.lhs │ ├── 2013-12-24-lexicographic-termination.lhs │ ├── 2013-12-29-decreasing-expressions.lhs │ ├── 2014-02-11-the-advantage-of-measures.lhs │ ├── 2014-02-16-text-read.lhs │ ├── 2014-02-23-text-write.lhs │ ├── 2014-03-01-text-bug.lhs │ ├── 2014-05-28-pointers-gone-wild.lhs │ ├── 2014-08-15-a-finer-filter.lhs │ ├── 2015-01-30-okasakis-lazy-queue.lhs │ ├── 2015-06-13-bounded-refinement-types.lhs │ ├── 2016-09-01-normal-forms.lhs │ ├── 2016-09-18-refinement-reflection.lhs │ ├── 2016-10-06-structural-induction.lhs │ ├── 2016-12-25-isomorphisms.lhs │ ├── 2017-01-06-reductions.lhs │ ├── 2017-03-20-arithmetic-overflows.lhs │ ├── 2017-12-15-splitting-and-splicing-intervals-I.lhs │ ├── 2017-12-24-splitting-and-splicing-intervals-II.lhs │ ├── 2018-02-23-measures-and-case-splitting.lhs │ ├── 2018-05-17-hillel-verifier-rodeo-I-leftpad.lhs │ ├── 2020-04-12-polymorphic-perplexion.lhs │ ├── 2020-08-20-lh-as-a-ghc-plugin.lhs │ └── todo │ │ ├── Iso.lhs │ │ ├── LambdaEval.hs │ │ ├── Termination.hs │ │ ├── TextBug.lhs │ │ ├── TextInternal.lhs │ │ ├── TextRead.lhs │ │ ├── TextWrite.lhs │ │ ├── basic_termination.lhs │ │ ├── binary-search-trees.lhs │ │ ├── encoding-induction.lhs │ │ ├── index-dependent-maps.hs │ │ ├── index-dependent-maps.lhs │ │ ├── kmeans-full.lhs │ │ ├── lets-talk-about-sets.lhs.markdown │ │ ├── red-black-intro.lhs │ │ ├── red-black-order.lhs │ │ ├── telling-lies-old.lhs │ │ ├── termination.lhs │ │ ├── text-layout.png │ │ ├── text-lifecycle.png │ │ └── verifying-efficient-sorting-algorithms.lhs ├── language │ ├── Makefile │ ├── commands.sty │ ├── haskellListings.tex │ ├── language.tex │ ├── liquidHaskell.sty │ ├── main.pdf │ ├── main.tex │ └── typeInference.tex ├── mkDocs │ ├── README.md │ ├── docs │ │ ├── blogposts │ │ │ ├── .pages │ │ │ ├── 2013-01-01-refinement-types-101.lhs.md │ │ │ ├── 2013-01-27-refinements101-reax.lhs.md │ │ │ ├── 2013-01-28-bounding-vectors.lhs.md │ │ │ ├── 2013-01-31-safely-catching-a-list-by-its-tail.lhs.md │ │ │ ├── 2013-02-16-kmeans-clustering-I.lhs.md │ │ │ ├── 2013-02-17-kmeans-clustering-II.lhs.md │ │ │ ├── 2013-03-04-bounding-vectors.lhs.md │ │ │ ├── 2013-03-26-talking-about-sets.lhs.md │ │ │ ├── 2013-05-24-unique-zipper.lhs.md │ │ │ ├── 2013-06-03-abstracting-over-refinements.lhs.md │ │ │ ├── 2013-07-29-putting-things-in-order.lhs.md │ │ │ ├── 2013-10-10-csv-tables.lhs.md │ │ │ ├── 2013-11-23-telling_lies.lhs.md │ │ │ ├── 2013-12-02-getting-to-the-bottom.lhs.md │ │ │ ├── 2013-12-09-checking-termination.lhs.md │ │ │ ├── 2013-12-14-gcd.lhs.md │ │ │ ├── 2014-02-11-the-advantage-of-measures.lhs.md │ │ │ ├── 2014-05-28-pointers-gone-wild.lhs.md │ │ │ ├── 2014-08-15-a-finer-filter.lhs.md │ │ │ ├── 2015-01-30-okasakis-lazy-queue.lhs.md │ │ │ ├── 2016-09-01-normal-forms.lhs.md │ │ │ ├── 2016-09-18-refinement-reflection.lhs.md │ │ │ ├── 2016-10-06-structural-induction.lhs.md │ │ │ ├── 2017-03-20-arithmetic-overflows.lhs.md │ │ │ ├── 2017-12-15-splitting-and-splicing-intervals-I.lhs.md │ │ │ ├── 2017-12-24-splitting-and-splicing-intervals-II.lhs.md │ │ │ ├── 2018-02-23-measures-and-case-splitting.lhs.md │ │ │ ├── 2018-05-17-hillel-verifier-rodeo-I-leftpad.lhs.md │ │ │ ├── 2019-10-20-why-types.lhs.md │ │ │ ├── 2020-04-12-polymorphic-perplexion.lhs.md │ │ │ ├── 2020-08-20-lh-as-a-ghc-plugin.lhs.md │ │ │ └── 2025-03-20-lh-release.md │ │ ├── index.md │ │ ├── install.md │ │ ├── options.md │ │ ├── papers.md │ │ ├── specifications.md │ │ ├── static │ │ │ ├── img │ │ │ │ ├── angles.jpg │ │ │ │ ├── ansel-adams-la-jolla.jpg │ │ │ │ ├── beach.jpg │ │ │ │ ├── dafny-leftpad-spec.png │ │ │ │ ├── emacs.png │ │ │ │ ├── escher-helix.jpg │ │ │ │ ├── falling.jpg │ │ │ │ ├── favicon.ico │ │ │ │ ├── garter-snake.jpg │ │ │ │ ├── geisel2.jpg │ │ │ │ ├── hillel-tweet-1.png │ │ │ │ ├── hillel-tweet-2.png │ │ │ │ ├── ico.png │ │ │ │ ├── la-jolla-shores-2.jpg │ │ │ │ ├── la-jolla-shores.jpg │ │ │ │ ├── leftpad-spec.png │ │ │ │ ├── lem_intersect.png │ │ │ │ ├── lem_sub.png │ │ │ │ ├── lem_union.png │ │ │ │ ├── logo-header.png │ │ │ │ ├── logo.png │ │ │ │ ├── odometer-rollover.jpg │ │ │ │ ├── out.gif │ │ │ │ ├── plugin-emacs.gif │ │ │ │ ├── plugin-ghcid.gif │ │ │ │ ├── plugin-vim.png │ │ │ │ ├── plugin-vscode.gif │ │ │ │ ├── preloader.gif │ │ │ │ ├── queue-lists.png │ │ │ │ ├── queue-rotate.png │ │ │ │ ├── queue.png │ │ │ │ ├── regehr-tweet-quantifiers.png │ │ │ │ ├── ribbon.png │ │ │ │ ├── sea.jpg │ │ │ │ ├── splash-append.png │ │ │ │ ├── splash-assocpf.gif │ │ │ │ ├── splash-assocpf.png │ │ │ │ ├── splash-assocthm.gif │ │ │ │ ├── splash-assocthm.png │ │ │ │ ├── splash-binarySearch-A.gif │ │ │ │ ├── splash-binarySearch-A.png │ │ │ │ ├── splash-binarySearch-B.gif │ │ │ │ ├── splash-binarySearch-B.png │ │ │ │ ├── splash-binarySearch-C.gif │ │ │ │ ├── splash-binarySearch-C.png │ │ │ │ ├── splash-binarySearch-D.gif │ │ │ │ ├── splash-binarySearch-D.png │ │ │ │ ├── splash-dotproduct.gif │ │ │ │ ├── splash-dotproduct.png │ │ │ │ ├── splash-fib.gif │ │ │ │ ├── splash-fib.png │ │ │ │ ├── splash-head.gif │ │ │ │ ├── splash-head.png │ │ │ │ ├── splash-insertsort.gif │ │ │ │ ├── splash-insertsort.png │ │ │ │ ├── splash-merge.gif │ │ │ │ ├── splash-merge.png │ │ │ │ ├── splash-unsafetake.gif │ │ │ │ ├── splash-unstutter.gif │ │ │ │ ├── splash-unstutter.png │ │ │ │ ├── splash-ups.gif │ │ │ │ ├── splash-ups.png │ │ │ │ ├── splash-vectorsum.gif │ │ │ │ ├── splash-vectorsum.png │ │ │ │ ├── text-layout.png │ │ │ │ ├── text-lifecycle.png │ │ │ │ ├── white.jpg │ │ │ │ ├── why_types_1_1.png │ │ │ │ ├── why_types_1_2.png │ │ │ │ ├── why_types_1_3.png │ │ │ │ ├── why_types_2.png │ │ │ │ ├── why_types_2_1.png │ │ │ │ ├── why_types_2_2.png │ │ │ │ ├── why_types_3_1.png │ │ │ │ ├── why_types_3_2.png │ │ │ │ ├── why_types_3_3.png │ │ │ │ └── why_types_3_4.png │ │ │ ├── liquid-dark.css │ │ │ ├── liquid-light.css │ │ │ └── misc.css │ │ └── tags.html │ ├── mkdocs.yml │ └── theme-overrides │ │ └── main.html └── slides │ ├── BOS14 │ ├── Makefile │ ├── README.md │ ├── _support │ │ ├── liquid.css │ │ ├── liquidhaskell.css │ │ ├── reveal.js │ │ │ ├── .travis.yml │ │ │ ├── Gruntfile.js │ │ │ ├── LICENSE │ │ │ ├── README.md │ │ │ ├── css │ │ │ │ ├── print │ │ │ │ │ ├── paper.css │ │ │ │ │ └── pdf.css │ │ │ │ ├── reveal.css │ │ │ │ ├── reveal.min.css │ │ │ │ └── theme │ │ │ │ │ ├── README.md │ │ │ │ │ ├── beige.css │ │ │ │ │ ├── blood.css │ │ │ │ │ ├── default.css │ │ │ │ │ ├── moon.css │ │ │ │ │ ├── night.css │ │ │ │ │ ├── seminar.css │ │ │ │ │ ├── seminar.orig.css │ │ │ │ │ ├── serif.css │ │ │ │ │ ├── simple.css │ │ │ │ │ ├── sky.css │ │ │ │ │ ├── solarized.css │ │ │ │ │ ├── source │ │ │ │ │ ├── beige.scss │ │ │ │ │ ├── blood.scss │ │ │ │ │ ├── default.scss │ │ │ │ │ ├── moon.scss │ │ │ │ │ ├── night.scss │ │ │ │ │ ├── serif.scss │ │ │ │ │ ├── simple.scss │ │ │ │ │ ├── sky.scss │ │ │ │ │ └── solarized.scss │ │ │ │ │ └── template │ │ │ │ │ ├── mixins.scss │ │ │ │ │ ├── settings.scss │ │ │ │ │ └── theme.scss │ │ │ ├── index.html │ │ │ ├── js │ │ │ │ ├── reveal.js │ │ │ │ └── reveal.min.js │ │ │ ├── lib │ │ │ │ ├── css │ │ │ │ │ └── zenburn.css │ │ │ │ ├── font │ │ │ │ │ ├── league_gothic-webfont.eot │ │ │ │ │ ├── league_gothic-webfont.svg │ │ │ │ │ ├── league_gothic-webfont.ttf │ │ │ │ │ ├── league_gothic-webfont.woff │ │ │ │ │ └── league_gothic_license │ │ │ │ └── js │ │ │ │ │ ├── classList.js │ │ │ │ │ ├── head.min.js │ │ │ │ │ └── html5shiv.js │ │ │ ├── package.json │ │ │ ├── plugin │ │ │ │ ├── highlight │ │ │ │ │ └── highlight.js │ │ │ │ ├── leap │ │ │ │ │ └── leap.js │ │ │ │ ├── markdown │ │ │ │ │ ├── example.html │ │ │ │ │ ├── example.md │ │ │ │ │ ├── markdown.js │ │ │ │ │ └── marked.js │ │ │ │ ├── math │ │ │ │ │ └── math.js │ │ │ │ ├── multiplex │ │ │ │ │ ├── client.js │ │ │ │ │ ├── index.js │ │ │ │ │ └── master.js │ │ │ │ ├── notes-server │ │ │ │ │ ├── client.js │ │ │ │ │ ├── index.js │ │ │ │ │ └── notes.html │ │ │ │ ├── notes │ │ │ │ │ ├── notes.html │ │ │ │ │ └── notes.js │ │ │ │ ├── postmessage │ │ │ │ │ ├── example.html │ │ │ │ │ └── postmessage.js │ │ │ │ ├── print-pdf │ │ │ │ │ └── print-pdf.js │ │ │ │ ├── remotes │ │ │ │ │ └── remotes.js │ │ │ │ ├── search │ │ │ │ │ └── search.js │ │ │ │ └── zoom-js │ │ │ │ │ └── zoom.js │ │ │ └── test │ │ │ │ ├── examples │ │ │ │ ├── assets │ │ │ │ │ ├── image1.png │ │ │ │ │ └── image2.png │ │ │ │ ├── barebones.html │ │ │ │ ├── embedded-media.html │ │ │ │ ├── math.html │ │ │ │ └── slide-backgrounds.html │ │ │ │ ├── qunit-1.12.0.css │ │ │ │ ├── qunit-1.12.0.js │ │ │ │ ├── test-markdown-element-attributes.html │ │ │ │ ├── test-markdown-element-attributes.js │ │ │ │ ├── test-markdown-slide-attributes.html │ │ │ │ ├── test-markdown-slide-attributes.js │ │ │ │ ├── test-markdown.html │ │ │ │ ├── test-markdown.js │ │ │ │ ├── test.html │ │ │ │ └── test.js │ │ └── template.reveal │ ├── hs │ │ ├── end │ │ │ ├── 000_Refinements.hs │ │ │ ├── 001_Refinements.hs │ │ │ ├── 01_Elements.hs │ │ │ ├── 02_AbstractRefinements.hs │ │ │ ├── 03_Termination.hs │ │ │ ├── 05_Memory.hs │ │ │ └── 06_Eval.hs │ │ ├── long │ │ │ ├── AlphaConvert.hs │ │ │ ├── GhcListSort.hs │ │ │ ├── KMP.hs │ │ │ ├── RBTree-ord.hs │ │ │ ├── RBTree.hs │ │ │ └── SoCalledHeartBleed.hs │ │ └── start │ │ │ ├── 000_Refinements.hs │ │ │ ├── 001_Refinements.hs │ │ │ ├── 01_Elements.hs │ │ │ ├── 02_AbstractRefinements.hs │ │ │ ├── 03_Termination.hs │ │ │ ├── 04_Streams.hs │ │ │ ├── 05_Memory.hs │ │ │ ├── 06_Eval-done.hs │ │ │ └── 06_Eval.hs │ ├── img │ │ ├── RedBlack.png │ │ ├── RobertMorris.png │ │ ├── bytestring.png │ │ ├── code-spec-indiv.png │ │ ├── code-spec-total.png │ │ ├── firstbug-crop.jpg │ │ ├── firstbug-crop2.jpg │ │ ├── firstbug.jpg │ │ ├── george-orwell.jpg │ │ ├── gotofail.png │ │ ├── heartbleed.png │ │ ├── minindex-classic.png │ │ ├── minindex-invariant.png │ │ ├── minindex-modern.png │ │ ├── minindex-reduce.png │ │ ├── overflow.png │ │ ├── rbtree-bad1.png │ │ ├── rbtree-bad2.png │ │ ├── rbtree-ok.png │ │ ├── tension0.png │ │ ├── tension1.png │ │ ├── tension2.png │ │ ├── tension3.png │ │ ├── termination-results.png │ │ ├── thoughtcrime.png │ │ └── ungood-small.jpg │ └── lhs │ │ ├── 00_Motivation.lhs │ │ ├── 00_Motivation_Long.lhs │ │ ├── 01_SimpleRefinements.lhs │ │ ├── 02_Measures.lhs │ │ ├── 03_HigherOrderFunctions.lhs │ │ ├── 04_AbstractRefinements.lhs │ │ ├── 05_Composition.lhs │ │ ├── 06_Inductive.lhs │ │ ├── 07_Array.lhs │ │ ├── 08_Recursive.lhs │ │ ├── 09_Laziness.lhs │ │ ├── 10_Termination.lhs │ │ ├── 11_Evaluation.lhs │ │ ├── 12_Conclusion.lhs │ │ ├── 13_RedBlack.lhs │ │ ├── 14_Memory.lhs │ │ ├── Index-Boston-Haskell.lhs │ │ ├── Index-Tufts.lhs │ │ └── Index.lhs │ ├── ETH14 │ ├── Makefile │ ├── MkCode.hs │ ├── _support │ │ ├── liquid.css │ │ ├── liquidhaskell.css │ │ ├── reveal.js │ │ │ ├── .travis.yml │ │ │ ├── Gruntfile.js │ │ │ ├── LICENSE │ │ │ ├── lib │ │ │ │ └── font │ │ │ │ │ ├── league_gothic-webfont.eot │ │ │ │ │ ├── league_gothic-webfont.svg │ │ │ │ │ ├── league_gothic-webfont.ttf │ │ │ │ │ ├── league_gothic-webfont.woff │ │ │ │ │ └── league_gothic_license │ │ │ ├── plugin │ │ │ │ ├── highlight │ │ │ │ │ └── highlight.js │ │ │ │ ├── leap │ │ │ │ │ └── leap.js │ │ │ │ ├── markdown │ │ │ │ │ ├── markdown.js │ │ │ │ │ └── marked.js │ │ │ │ ├── math │ │ │ │ │ └── math.js │ │ │ │ ├── multiplex │ │ │ │ │ ├── client.js │ │ │ │ │ ├── index.js │ │ │ │ │ └── master.js │ │ │ │ ├── notes-server │ │ │ │ │ ├── client.js │ │ │ │ │ └── index.js │ │ │ │ ├── notes │ │ │ │ │ └── notes.js │ │ │ │ ├── postmessage │ │ │ │ │ └── postmessage.js │ │ │ │ ├── print-pdf │ │ │ │ │ └── print-pdf.js │ │ │ │ ├── remotes │ │ │ │ │ └── remotes.js │ │ │ │ ├── search │ │ │ │ │ └── search.js │ │ │ │ └── zoom-js │ │ │ │ │ └── zoom.js │ │ │ └── test │ │ │ │ ├── examples │ │ │ │ └── assets │ │ │ │ │ ├── image1.png │ │ │ │ │ └── image2.png │ │ │ │ ├── qunit-1.12.0.css │ │ │ │ ├── qunit-1.12.0.js │ │ │ │ ├── test-markdown-element-attributes.js │ │ │ │ ├── test-markdown-slide-attributes.js │ │ │ │ ├── test-markdown.js │ │ │ │ └── test.js │ │ └── template.reveal │ ├── cleanup │ ├── img │ │ ├── RedBlack.png │ │ ├── minindex-classic.png │ │ ├── minindex-invariant.png │ │ ├── minindex-modern.png │ │ ├── minindex-reduce.png │ │ ├── tension0.png │ │ ├── tension1.png │ │ ├── tension2.png │ │ └── tension3.png │ └── lhs │ │ ├── 00_Motivation.lhs │ │ ├── 01_SimpleRefinements.lhs │ │ ├── 02_Measures.lhs │ │ ├── 03_HigherOrderFunctions.lhs │ │ ├── 04_AbstractRefinements.lhs │ │ ├── 05_Composition.lhs │ │ ├── 06_Inductive.lhs │ │ ├── 07_Array.lhs │ │ ├── 08_Recursive.lhs │ │ ├── 09_Laziness.lhs │ │ ├── 10_Termination.lhs │ │ ├── 11_Evaluation.lhs │ │ ├── 12_Conclusion.lhs │ │ └── Index.lhs │ ├── Galois2014 │ ├── 000_Refinements.hs │ ├── 001_Refinements.hs │ ├── 01_Elements.hs │ └── 05_Memory.hs │ ├── HS2014 │ ├── Basics-blank.hs │ ├── Basics.lhs │ ├── ByteString-BAD-DIFFCHECK.hs │ ├── ByteString-blank.hs │ ├── ByteString.lhs │ ├── TODO.md │ ├── Totality-blank.hs │ └── Totality.lhs │ ├── IHP14 │ ├── Makefile │ ├── MkCode.hs │ ├── _support │ │ ├── .template2.reveal.swp │ │ ├── liquid.css │ │ ├── liquidhaskell.css │ │ ├── reveal.js │ │ │ ├── .travis.yml │ │ │ ├── Gruntfile.js │ │ │ ├── LICENSE │ │ │ ├── README.md │ │ │ ├── css │ │ │ │ ├── print │ │ │ │ │ ├── paper.css │ │ │ │ │ └── pdf.css │ │ │ │ ├── reveal.css │ │ │ │ ├── reveal.min.css │ │ │ │ └── theme │ │ │ │ │ ├── README.md │ │ │ │ │ ├── beige.css │ │ │ │ │ ├── blood.css │ │ │ │ │ ├── default.css │ │ │ │ │ ├── moon.css │ │ │ │ │ ├── night.css │ │ │ │ │ ├── seminar.css │ │ │ │ │ ├── seminar.orig.css │ │ │ │ │ ├── serif.css │ │ │ │ │ ├── simple.css │ │ │ │ │ ├── sky.css │ │ │ │ │ ├── solarized.css │ │ │ │ │ ├── source │ │ │ │ │ ├── beige.scss │ │ │ │ │ ├── blood.scss │ │ │ │ │ ├── default.scss │ │ │ │ │ ├── moon.scss │ │ │ │ │ ├── night.scss │ │ │ │ │ ├── serif.scss │ │ │ │ │ ├── simple.scss │ │ │ │ │ ├── sky.scss │ │ │ │ │ └── solarized.scss │ │ │ │ │ └── template │ │ │ │ │ ├── mixins.scss │ │ │ │ │ ├── settings.scss │ │ │ │ │ └── theme.scss │ │ │ ├── index.html │ │ │ ├── js │ │ │ │ ├── reveal.js │ │ │ │ └── reveal.min.js │ │ │ ├── lib │ │ │ │ ├── css │ │ │ │ │ └── zenburn.css │ │ │ │ ├── font │ │ │ │ │ ├── league_gothic-webfont.eot │ │ │ │ │ ├── league_gothic-webfont.svg │ │ │ │ │ ├── league_gothic-webfont.ttf │ │ │ │ │ ├── league_gothic-webfont.woff │ │ │ │ │ └── league_gothic_license │ │ │ │ └── js │ │ │ │ │ ├── classList.js │ │ │ │ │ ├── head.min.js │ │ │ │ │ └── html5shiv.js │ │ │ ├── package.json │ │ │ ├── plugin │ │ │ │ ├── highlight │ │ │ │ │ └── highlight.js │ │ │ │ ├── leap │ │ │ │ │ └── leap.js │ │ │ │ ├── markdown │ │ │ │ │ ├── example.html │ │ │ │ │ ├── example.md │ │ │ │ │ ├── markdown.js │ │ │ │ │ └── marked.js │ │ │ │ ├── math │ │ │ │ │ └── math.js │ │ │ │ ├── multiplex │ │ │ │ │ ├── client.js │ │ │ │ │ ├── index.js │ │ │ │ │ └── master.js │ │ │ │ ├── notes-server │ │ │ │ │ ├── client.js │ │ │ │ │ ├── index.js │ │ │ │ │ └── notes.html │ │ │ │ ├── notes │ │ │ │ │ ├── notes.html │ │ │ │ │ └── notes.js │ │ │ │ ├── postmessage │ │ │ │ │ ├── example.html │ │ │ │ │ └── postmessage.js │ │ │ │ ├── print-pdf │ │ │ │ │ └── print-pdf.js │ │ │ │ ├── remotes │ │ │ │ │ └── remotes.js │ │ │ │ ├── search │ │ │ │ │ └── search.js │ │ │ │ └── zoom-js │ │ │ │ │ └── zoom.js │ │ │ └── test │ │ │ │ ├── examples │ │ │ │ ├── assets │ │ │ │ │ ├── image1.png │ │ │ │ │ └── image2.png │ │ │ │ ├── barebones.html │ │ │ │ ├── embedded-media.html │ │ │ │ ├── math.html │ │ │ │ └── slide-backgrounds.html │ │ │ │ ├── qunit-1.12.0.css │ │ │ │ ├── qunit-1.12.0.js │ │ │ │ ├── test-markdown-element-attributes.html │ │ │ │ ├── test-markdown-element-attributes.js │ │ │ │ ├── test-markdown-slide-attributes.html │ │ │ │ ├── test-markdown-slide-attributes.js │ │ │ │ ├── test-markdown.html │ │ │ │ ├── test-markdown.js │ │ │ │ ├── test.html │ │ │ │ └── test.js │ │ └── template.reveal │ ├── cleanup │ ├── img │ │ ├── RedBlack.png │ │ ├── tension0.png │ │ ├── tension1.png │ │ ├── tension2.png │ │ └── tension3.png │ └── lhs │ │ ├── 00_Motivation_GoWrong.lhs │ │ ├── 00_Motivation_Logic.lhs │ │ ├── 01_SimpleRefinements.lhs │ │ ├── 02_Measures.lhs │ │ ├── 03_HigherOrderFunctions.lhs │ │ ├── 04_AbstractRefinements.lhs │ │ ├── 05_Composition.lhs │ │ ├── 06_Inductive.lhs │ │ ├── 07_Array.lhs │ │ ├── 08_Recursive.lhs │ │ ├── 09_Laziness.lhs │ │ ├── 10_Termination.lhs │ │ ├── 11_Evaluation.lhs │ │ ├── 12_Conclusion.lhs │ │ └── Index.lhs │ ├── LambdaConf15 │ └── lhs │ │ └── 01_SimpleRefinements.lhs │ ├── NEU14 │ ├── 00_Refinements-blank.hs │ ├── 00_Refinements.hs │ ├── 01_AbstractRefinements-blank.hs │ ├── 01_AbstractRefinements.hs │ ├── 02_Termination-blank.hs │ ├── 02_Termination.hs │ ├── AlphaConvert.hs │ ├── Eval.hs │ └── RBTree.hs │ ├── flops14 │ ├── Makefile │ ├── TODO.md │ ├── _support │ │ ├── liquid.css │ │ ├── reveal │ │ │ ├── LICENSE │ │ │ ├── README.md │ │ │ ├── css │ │ │ │ ├── liquidhaskell.css │ │ │ │ ├── main.css │ │ │ │ ├── print │ │ │ │ │ ├── paper.css │ │ │ │ │ └── pdf.css │ │ │ │ └── theme │ │ │ │ │ ├── beige.css │ │ │ │ │ ├── default.css │ │ │ │ │ ├── seminar.css │ │ │ │ │ ├── seminar.orig.css │ │ │ │ │ ├── serif.css │ │ │ │ │ ├── simple.css │ │ │ │ │ └── sky.css │ │ │ ├── js │ │ │ │ ├── .reveal.js.swo │ │ │ │ ├── .reveal.js.swp │ │ │ │ ├── .reveal.min.js.swo │ │ │ │ ├── .reveal.min.js.swp │ │ │ │ ├── reveal.js │ │ │ │ └── reveal.min.js │ │ │ ├── lib │ │ │ │ ├── css │ │ │ │ │ └── zenburn.css │ │ │ │ ├── font │ │ │ │ │ ├── OpenSans-Regular.ttf │ │ │ │ │ ├── PT_Sans-Narrow-Web-Regular.ttf │ │ │ │ │ └── league_gothic-webfont.ttf │ │ │ │ └── js │ │ │ │ │ ├── classList.js │ │ │ │ │ ├── data-markdown.js │ │ │ │ │ ├── head.min.js │ │ │ │ │ ├── highlight.js │ │ │ │ │ ├── html5shiv.js │ │ │ │ │ └── showdown.js │ │ │ ├── package.json │ │ │ └── plugin │ │ │ │ └── speakernotes │ │ │ │ ├── client.js │ │ │ │ ├── index.js │ │ │ │ └── notes.html │ │ └── template.reveal │ ├── cleanup │ ├── img │ │ └── RedBlack.png │ ├── lhs │ │ ├── 00_Index.lhs │ │ ├── 01_SimpleRefinements.lhs │ │ ├── 02_Measures.lhs │ │ ├── 03_HigherOrderFunctions.lhs │ │ ├── 04_AbstractRefinements.lhs │ │ ├── 05_Composition.lhs │ │ ├── 06_Inductive.lhs │ │ ├── 07_Array.lhs │ │ ├── 08_Recursive.lhs │ │ ├── 09_Laziness.lhs │ │ ├── 10_Termination.lhs │ │ └── 11_Evaluation.lhs │ └── reveal.js │ │ ├── .gitignore │ │ ├── .travis.yml │ │ ├── Gruntfile.js │ │ ├── LICENSE │ │ ├── lib │ │ └── font │ │ │ ├── league_gothic-webfont.eot │ │ │ ├── league_gothic-webfont.svg │ │ │ ├── league_gothic-webfont.ttf │ │ │ ├── league_gothic-webfont.woff │ │ │ └── league_gothic_license │ │ ├── plugin │ │ ├── highlight │ │ │ └── highlight.js │ │ ├── leap │ │ │ └── leap.js │ │ ├── markdown │ │ │ ├── markdown.js │ │ │ └── marked.js │ │ ├── math │ │ │ └── math.js │ │ ├── multiplex │ │ │ ├── client.js │ │ │ ├── index.js │ │ │ └── master.js │ │ ├── notes-server │ │ │ ├── client.js │ │ │ └── index.js │ │ ├── notes │ │ │ └── notes.js │ │ ├── postmessage │ │ │ └── postmessage.js │ │ ├── print-pdf │ │ │ └── print-pdf.js │ │ ├── remotes │ │ │ └── remotes.js │ │ ├── search │ │ │ └── search.js │ │ └── zoom-js │ │ │ └── zoom.js │ │ └── test │ │ ├── examples │ │ └── assets │ │ │ ├── image1.png │ │ │ └── image2.png │ │ ├── qunit-1.12.0.css │ │ ├── qunit-1.12.0.js │ │ ├── test-markdown-element-attributes.js │ │ ├── test-markdown-slide-attributes.js │ │ ├── test-markdown.js │ │ └── test.js │ ├── niki │ ├── Makefile │ ├── fonts │ │ ├── OFT.txt │ │ ├── PT_Mono-Regular.ttf │ │ ├── PT_Sans-Narrow-Web-Bold.ttf │ │ ├── PT_Sans-Narrow-Web-Regular.ttf │ │ ├── PT_Sans-Web-Bold.ttf │ │ ├── PT_Sans-Web-BoldItalic.ttf │ │ ├── PT_Sans-Web-Italic.ttf │ │ └── PT_Sans-Web-Regular.ttf │ ├── html │ │ ├── benchmarks.png │ │ ├── fonts │ │ │ ├── OFT.txt │ │ │ ├── PT_Mono-Regular.ttf │ │ │ ├── PT_Sans-Narrow-Web-Bold.ttf │ │ │ ├── PT_Sans-Narrow-Web-Regular.ttf │ │ │ ├── PT_Sans-Web-Bold.ttf │ │ │ ├── PT_Sans-Web-BoldItalic.ttf │ │ │ ├── PT_Sans-Web-Italic.ttf │ │ │ └── PT_Sans-Web-Regular.ttf │ │ ├── liquid.css │ │ └── slides.css │ └── lhs │ │ ├── AbstractRefinements.lhs │ │ ├── Array.lhs │ │ ├── Composition.lhs │ │ ├── Inductive.lhs │ │ ├── Laziness.lhs │ │ ├── List.lhs │ │ ├── Loop.lhs │ │ ├── Measures.lhs │ │ ├── SimpleRefinements.lhs │ │ ├── liquid.css │ │ └── slides.css │ └── plpv14 │ ├── Makefile │ ├── _support │ ├── liquid.css │ ├── reveal │ │ ├── LICENSE │ │ ├── README.md │ │ ├── css │ │ │ ├── liquidhaskell.css │ │ │ ├── main.css │ │ │ ├── print │ │ │ │ ├── paper.css │ │ │ │ └── pdf.css │ │ │ └── theme │ │ │ │ ├── beige.css │ │ │ │ ├── default.css │ │ │ │ ├── seminar.css │ │ │ │ ├── seminar.orig.css │ │ │ │ ├── serif.css │ │ │ │ ├── simple.css │ │ │ │ └── sky.css │ │ ├── js │ │ │ ├── .reveal.js.swo │ │ │ ├── .reveal.js.swp │ │ │ ├── .reveal.min.js.swo │ │ │ ├── .reveal.min.js.swp │ │ │ ├── reveal.js │ │ │ └── reveal.min.js │ │ ├── lib │ │ │ ├── css │ │ │ │ └── zenburn.css │ │ │ ├── font │ │ │ │ ├── OpenSans-Regular.ttf │ │ │ │ ├── PT_Sans-Narrow-Web-Regular.ttf │ │ │ │ └── league_gothic-webfont.ttf │ │ │ └── js │ │ │ │ ├── classList.js │ │ │ │ ├── data-markdown.js │ │ │ │ ├── head.min.js │ │ │ │ ├── highlight.js │ │ │ │ ├── html5shiv.js │ │ │ │ └── showdown.js │ │ ├── package.json │ │ └── plugin │ │ │ └── speakernotes │ │ │ ├── client.js │ │ │ ├── index.js │ │ │ └── notes.html │ └── template.reveal │ ├── hopa │ └── AbstractRefinements.lhs │ ├── lhs │ ├── .01_SimpleRefinements.lhs.swn │ ├── 00_Index.lhs │ ├── 00_Index.lhs.markdown │ ├── 01_SimpleRefinements.lhs │ ├── 01_SimpleRefinements.lhs.markdown │ ├── 02_Measures.lhs │ ├── 02_Measures.lhs.markdown │ ├── 03_HigherOrderFunctions.lhs │ ├── 03_HigherOrderFunctions.lhs.markdown │ ├── 04_AbstractRefinements.lhs │ ├── 04_AbstractRefinements.lhs.markdown │ ├── 05_Composition.lhs │ ├── 05_Composition.lhs.markdown │ ├── 06_Inductive.lhs │ ├── 06_Inductive.lhs.markdown │ ├── 07_Array.lhs │ ├── 07_Array.lhs.markdown │ ├── 08_Recursive.lhs │ ├── 08_Recursive.lhs.markdown │ ├── 09_Laziness.lhs │ ├── 09_Laziness.lhs.markdown │ ├── 10_Termination.lhs │ ├── 10_Termination.lhs.markdown │ └── liquid.css │ ├── pdcreveal.tgz │ ├── reveal.js │ ├── .gitignore │ ├── .travis.yml │ ├── Gruntfile.js │ ├── LICENSE │ ├── lib │ │ └── font │ │ │ ├── league_gothic-webfont.eot │ │ │ ├── league_gothic-webfont.svg │ │ │ ├── league_gothic-webfont.ttf │ │ │ ├── league_gothic-webfont.woff │ │ │ └── league_gothic_license │ ├── plugin │ │ ├── highlight │ │ │ └── highlight.js │ │ ├── leap │ │ │ └── leap.js │ │ ├── markdown │ │ │ ├── markdown.js │ │ │ └── marked.js │ │ ├── math │ │ │ └── math.js │ │ ├── multiplex │ │ │ ├── client.js │ │ │ ├── index.js │ │ │ └── master.js │ │ ├── notes-server │ │ │ ├── client.js │ │ │ └── index.js │ │ ├── notes │ │ │ └── notes.js │ │ ├── postmessage │ │ │ └── postmessage.js │ │ ├── print-pdf │ │ │ └── print-pdf.js │ │ ├── remotes │ │ │ └── remotes.js │ │ ├── search │ │ │ └── search.js │ │ └── zoom-js │ │ │ └── zoom.js │ └── test │ │ ├── examples │ │ └── assets │ │ │ ├── image1.png │ │ │ └── image2.png │ │ ├── qunit-1.12.0.css │ │ ├── qunit-1.12.0.js │ │ ├── test-markdown-element-attributes.js │ │ ├── test-markdown-slide-attributes.js │ │ ├── test-markdown.js │ │ └── test.js │ └── tmp │ ├── Foo.hs │ └── liquid.css ├── external └── hsmisc │ ├── Graphs.hs │ └── Lhs2Hs.hs ├── files ├── README.md └── main.css ├── liquid-parallel ├── LICENSE ├── Setup.hs ├── liquid-parallel.cabal └── src │ └── Control │ └── Parallel │ └── Strategies_LHAssumptions.hs ├── liquid-prelude ├── LICENSE ├── Setup.hs ├── liquid-prelude.cabal └── src │ └── Language │ └── Haskell │ └── Liquid │ ├── Bag.hs │ ├── Equational.hs │ ├── Foreign.hs │ ├── List.hs │ ├── Prelude.hs │ ├── ProofCombinators.hs │ ├── RTick.hs │ ├── RTick │ └── Combinators.hs │ └── String.hs ├── liquid-vector ├── LICENSE ├── Setup.hs ├── liquid-vector.cabal └── src │ └── Data │ └── Vector_LHAssumptions.hs ├── liquidhaskell-boot ├── ghc-api-tests │ └── GhcApiTests.hs ├── liquidhaskell-boot.cabal ├── src-ghc-9.10 │ └── Liquid │ │ └── GHC │ │ └── API │ │ └── Compat.hs ├── src-ghc │ └── Liquid │ │ └── GHC │ │ ├── API.hs │ │ └── API │ │ ├── Extra.hs │ │ └── StableModule.hs ├── src │ ├── Language │ │ └── Haskell │ │ │ └── Liquid │ │ │ ├── Bare.hs │ │ │ ├── Bare │ │ │ ├── Axiom.hs │ │ │ ├── Check.hs │ │ │ ├── Class.hs │ │ │ ├── DataType.hs │ │ │ ├── Elaborate.hs │ │ │ ├── Expand.hs │ │ │ ├── Measure.hs │ │ │ ├── Misc.hs │ │ │ ├── Plugged.hs │ │ │ ├── Resolve.hs │ │ │ ├── ToBare.hs │ │ │ ├── Typeclass.hs │ │ │ └── Types.hs │ │ │ ├── CSS.hs │ │ │ ├── Cabal.hs │ │ │ ├── Constraint │ │ │ ├── Constraint.hs │ │ │ ├── Env.hs │ │ │ ├── Fresh.hs │ │ │ ├── Generate.hs │ │ │ ├── Init.hs │ │ │ ├── Monad.hs │ │ │ ├── Qualifier.hs │ │ │ ├── Relational.hs │ │ │ ├── RewriteCase.hs │ │ │ ├── Split.hs │ │ │ ├── Template.hs │ │ │ ├── Termination.hs │ │ │ ├── ToFixpoint.hs │ │ │ └── Types.hs │ │ │ ├── GHC │ │ │ ├── Interface.hs │ │ │ ├── Logging.hs │ │ │ ├── Misc.hs │ │ │ ├── Play.hs │ │ │ ├── Plugin.hs │ │ │ ├── Plugin │ │ │ │ ├── Serialisation.hs │ │ │ │ ├── SpecFinder.hs │ │ │ │ ├── Tutorial.hs │ │ │ │ └── Types.hs │ │ │ ├── Resugar.hs │ │ │ ├── SpanStack.hs │ │ │ ├── TypeRep.hs │ │ │ └── Types.hs │ │ │ ├── LHNameResolution.hs │ │ │ ├── Liquid.hs │ │ │ ├── Measure.hs │ │ │ ├── Misc.hs │ │ │ ├── Name │ │ │ └── LogicNameEnv.hs │ │ │ ├── Parse.hs │ │ │ ├── Termination │ │ │ └── Structural.hs │ │ │ ├── Transforms │ │ │ ├── ANF.hs │ │ │ ├── CoreToLogic.hs │ │ │ ├── InlineAux.hs │ │ │ ├── RefSplit.hs │ │ │ ├── Rewrite.hs │ │ │ └── Simplify.hs │ │ │ ├── Types │ │ │ ├── Annotations.hs │ │ │ ├── Bounds.hs │ │ │ ├── DataDecl.hs │ │ │ ├── Dictionaries.hs │ │ │ ├── Equality.hs │ │ │ ├── Errors.hs │ │ │ ├── Fresh.hs │ │ │ ├── Generics.hs │ │ │ ├── Literals.hs │ │ │ ├── Meet.hs │ │ │ ├── Names.hs │ │ │ ├── PredType.hs │ │ │ ├── PrettyPrint.hs │ │ │ ├── RType.hs │ │ │ ├── RTypeOp.hs │ │ │ ├── RefType.hs │ │ │ ├── Specs.hs │ │ │ ├── Types.hs │ │ │ ├── Variance.hs │ │ │ └── Visitors.hs │ │ │ ├── UX │ │ │ ├── ACSS.hs │ │ │ ├── Annotate.hs │ │ │ ├── CTags.hs │ │ │ ├── CmdLine.hs │ │ │ ├── Config.hs │ │ │ ├── DiffCheck.hs │ │ │ ├── Errors.hs │ │ │ ├── QuasiQuoter.hs │ │ │ ├── SimpleVersion.hs │ │ │ └── Tidy.hs │ │ │ └── WiredIn.hs │ └── LiquidHaskellBoot.hs └── tests │ ├── Parser.hs │ └── WiredInTests.hs ├── liquidhaskell.cabal ├── nixpkgs.nix ├── proposals ├── AssumeReflect.md ├── LocalRewrites.md └── OpaqueReflect.md ├── resources ├── icon.png ├── icon.svg ├── logo.png └── logo.svg ├── scripts ├── ghc.head │ ├── build.sh │ └── lh.build.sh ├── haskell_count ├── head.hackage.sh ├── metrics.py ├── performance │ ├── cleanup.bash │ ├── generate.bash │ └── initialize.bash ├── plot-performance │ ├── README.md │ ├── app │ │ ├── Benchmark.hs │ │ ├── Main.hs │ │ └── Plot.hs │ ├── chart_perf.sh │ ├── perf.gnuplot │ └── plot-performance.cabal ├── profiling-driver │ ├── ProfilingDriver.hs │ └── profiling-driver.cabal ├── test │ └── test_plugin.sh └── travis ├── src ├── Data │ ├── Bits_LHAssumptions.hs │ ├── ByteString │ │ ├── Char8_LHAssumptions.hs │ │ ├── Lazy │ │ │ └── Char8_LHAssumptions.hs │ │ ├── Lazy_LHAssumptions.hs │ │ ├── Short_LHAssumptions.hs │ │ └── Unsafe_LHAssumptions.hs │ ├── ByteString_LHAssumptions.hs │ ├── Either_LHAssumptions.hs │ ├── Foldable_LHAssumptions.hs │ ├── Int_LHAssumptions.hs │ ├── List_LHAssumptions.hs │ ├── Maybe_LHAssumptions.hs │ ├── Set_LHAssumptions.hs │ ├── String_LHAssumptions.hs │ ├── Tuple_LHAssumptions.hs │ └── Word_LHAssumptions.hs ├── Foreign │ ├── C │ │ ├── String_LHAssumptions.hs │ │ └── Types_LHAssumptions.hs │ ├── Concurrent_LHAssumptions.hs │ ├── ForeignPtr_LHAssumptions.hs │ ├── Marshal │ │ └── Alloc_LHAssumptions.hs │ ├── Ptr_LHAssumptions.hs │ └── Storable_LHAssumptions.hs ├── GHC │ ├── Base_LHAssumptions.hs │ ├── CString_LHAssumptions.hs │ ├── Classes_LHAssumptions.hs │ ├── Exts_LHAssumptions.hs │ ├── Float_LHAssumptions.hs │ ├── ForeignPtr_LHAssumptions.hs │ ├── IO │ │ └── Handle_LHAssumptions.hs │ ├── Int_LHAssumptions.hs │ ├── List_LHAssumptions.hs │ ├── Maybe_LHAssumptions.hs │ ├── Num │ │ └── Integer_LHAssumptions.hs │ ├── Num_LHAssumptions.hs │ ├── Ptr_LHAssumptions.hs │ ├── Real_LHAssumptions.hs │ ├── Types_LHAssumptions.hs │ └── Word_LHAssumptions.hs ├── Liquid │ └── Prelude │ │ ├── Real_LHAssumptions.hs │ │ └── Totality_LHAssumptions.hs ├── LiquidHaskell.hs └── Prelude_LHAssumptions.hs ├── stack.yaml ├── stack.yaml.lock ├── tests-by-syntax.md ├── tests ├── DependentHaskell │ └── todo │ │ ├── ClassKind.hs │ │ ├── LF326.hs │ │ └── TypeFamilies.hs ├── README.md ├── RankNTypes │ └── pos │ │ ├── Test0.hs │ │ ├── Test00.hs │ │ └── Test1.hs ├── TestCommits.hs ├── absref │ ├── neg │ │ ├── Deppair0.hs │ │ ├── Deptup0.hs │ │ ├── DeptupW.hs │ │ ├── FlipArgs.hs │ │ ├── ListISort.hs │ │ ├── ListISort_LType.hs │ │ └── ListQSort.hs │ └── pos │ │ ├── AbsRef00.hs │ │ ├── Deppair0.hs │ │ ├── Deppair2.hs │ │ ├── Deptup0.hs │ │ ├── DeptupW.hs │ │ ├── FlipArgs.hs │ │ ├── ListISort.hs │ │ ├── ListISort_LType.hs │ │ ├── ListQSort.hs │ │ ├── Papp00.hs │ │ ├── State00.hs │ │ └── VectorLoop.hs ├── app │ └── Main.hs ├── basic │ ├── neg │ │ ├── AssmRefl01.hs │ │ ├── AssmRefl02.hs │ │ ├── AssmRefl03.hs │ │ ├── AssmRefl04.hs │ │ ├── DuplicateSpecs.hs │ │ ├── Inc01.hs │ │ ├── Inc01q.hs │ │ ├── Inc02.hs │ │ ├── Inc03.hs │ │ ├── Inc04.hs │ │ ├── Inc04Lib.hs │ │ ├── List00.hs │ │ ├── Poly00.hs │ │ ├── ReflExt01A.hs │ │ ├── ReflExt01B.hs │ │ ├── ReflExt02A.hs │ │ ├── ReflExt02B.hs │ │ ├── ShadowLogicSymbols.hs │ │ ├── T1459.hs │ │ └── T2349.hs │ └── pos │ │ ├── Alias00.hs │ │ ├── Alias01.hs │ │ ├── Alias02.hs │ │ ├── Alias03.hs │ │ ├── Alias04.hs │ │ ├── Alias05.hs │ │ ├── AssmRefl01.hs │ │ ├── AssmRefl02A.hs │ │ ├── AssmRefl02B.hs │ │ ├── AssmRefl02C.hs │ │ ├── AssmRefl02D.hs │ │ ├── AssmRefl03.hs │ │ ├── AssmReflFilter.hs │ │ ├── Float.hs │ │ ├── Inc00.hs │ │ ├── Inc01.hs │ │ ├── Inc01q.hs │ │ ├── Inc02.hs │ │ ├── Inc03.hs │ │ ├── Inc03Lib.hs │ │ ├── Inc04.hs │ │ ├── Infer00.hs │ │ ├── List00.hs │ │ ├── MeasureOverlapA.hs │ │ ├── MeasureOverlapB.hs │ │ ├── MeasureOverlapC.hs │ │ ├── MeasureOverlapD.hs │ │ ├── MeasureOverlapE.hs │ │ ├── OpaqueRefl01.hs │ │ ├── OpaqueRefl02.hs │ │ ├── OpaqueRefl03A.hs │ │ ├── OpaqueRefl03B.hs │ │ ├── OpaqueRefl03C.hs │ │ ├── OpaqueRefl03D.hs │ │ ├── OpaqueRefl04.hs │ │ ├── OpaqueRefl05.hs │ │ ├── OpaqueRefl06.hs │ │ ├── Poly00.hs │ │ ├── ReflExt01.hs │ │ ├── ReflExt02A.hs │ │ ├── ReflExt02B.hs │ │ ├── ReflExt03A.hs │ │ ├── ReflExt03B.hs │ │ ├── ReflExt04A.hs │ │ ├── ReflExt04B.hs │ │ ├── ReflExt05A.hs │ │ ├── ReflExt05B.hs │ │ ├── ReflExt06A.hs │ │ ├── ReflExt06B.hs │ │ ├── ReflExt06C.hs │ │ ├── ReflExt06D.hs │ │ ├── ReflExt07A.hs │ │ ├── ReflExt07B.hs │ │ ├── ReflExt08A.hs │ │ ├── ReflExt08B.hs │ │ ├── ShadowLogicSymbols.hs │ │ ├── SkipDerived00.hs │ │ ├── T2349.hs │ │ ├── T2369.hs │ │ └── TestAdmit.hs ├── benchmarks │ ├── NOTES.txt │ ├── base-4.5.1.0 │ │ ├── Control │ │ │ ├── Applicative.hs │ │ │ ├── Arrow.hs │ │ │ ├── Category.hs │ │ │ ├── Concurrent.hs │ │ │ ├── Concurrent │ │ │ │ ├── Chan.hs │ │ │ │ ├── MVar.hs │ │ │ │ ├── QSem.hs │ │ │ │ ├── QSemN.hs │ │ │ │ └── SampleVar.hs │ │ │ ├── Exception.hs │ │ │ ├── Exception │ │ │ │ └── Base.hs │ │ │ ├── Monad.hs │ │ │ ├── Monad │ │ │ │ ├── Fix.hs │ │ │ │ ├── Instances.hs │ │ │ │ ├── ST.hs │ │ │ │ ├── ST │ │ │ │ │ ├── Imp.hs │ │ │ │ │ ├── Lazy.hs │ │ │ │ │ ├── Lazy │ │ │ │ │ │ ├── Imp.hs │ │ │ │ │ │ ├── Safe.hs │ │ │ │ │ │ └── Unsafe.hs │ │ │ │ │ ├── Safe.hs │ │ │ │ │ ├── Strict.hs │ │ │ │ │ └── Unsafe.hs │ │ │ │ └── Zip.hs │ │ │ └── OldException.hs │ │ ├── Data │ │ │ ├── Bits.hs │ │ │ ├── Bool.hs │ │ │ ├── Char.hs │ │ │ ├── Complex.hs │ │ │ ├── Data.hs │ │ │ ├── Dynamic.hs │ │ │ ├── Either.hs │ │ │ ├── Eq.hs │ │ │ ├── Fixed.hs │ │ │ ├── Foldable.hs │ │ │ ├── Function.hs │ │ │ ├── Functor.hs │ │ │ ├── HashTable.hs │ │ │ ├── IORef.hs │ │ │ ├── Int.hs │ │ │ ├── Ix.hs │ │ │ ├── List.hs │ │ │ ├── Maybe.hs │ │ │ ├── Monoid.hs │ │ │ ├── Ord.hs │ │ │ ├── Ratio.hs │ │ │ ├── STRef.hs │ │ │ ├── STRef │ │ │ │ ├── Lazy.hs │ │ │ │ └── Strict.hs │ │ │ ├── String.hs │ │ │ ├── Traversable.hs │ │ │ ├── Tuple.hs │ │ │ ├── Typeable.hs │ │ │ ├── Typeable.hs-boot │ │ │ ├── Typeable │ │ │ │ ├── Internal.hs │ │ │ │ └── Internal.hs-boot │ │ │ ├── Unique.hs │ │ │ ├── Version.hs │ │ │ └── Word.hs │ │ ├── Debug │ │ │ └── Trace.hs │ │ ├── Foreign.hs │ │ ├── Foreign │ │ │ ├── C.hs │ │ │ ├── C │ │ │ │ ├── Error.hs │ │ │ │ ├── String.hs │ │ │ │ └── Types.hs │ │ │ ├── Concurrent.hs │ │ │ ├── ForeignPtr.hs │ │ │ ├── ForeignPtr │ │ │ │ ├── Imp.hs │ │ │ │ ├── Safe.hs │ │ │ │ └── Unsafe.hs │ │ │ ├── Marshal.hs │ │ │ ├── Marshal │ │ │ │ ├── Alloc.hs │ │ │ │ ├── Array.hs │ │ │ │ ├── Error.hs │ │ │ │ ├── Pool.hs │ │ │ │ ├── Safe.hs │ │ │ │ ├── Unsafe.hs │ │ │ │ └── Utils.hs │ │ │ ├── Ptr.hs │ │ │ ├── Safe.hs │ │ │ ├── StablePtr.hs │ │ │ └── Storable.hs │ │ ├── GHC │ │ │ ├── Arr.lhs │ │ │ ├── Base.lhs │ │ │ ├── Conc.lhs │ │ │ ├── Conc │ │ │ │ ├── IO.hs │ │ │ │ ├── Signal.hs │ │ │ │ ├── Sync.lhs │ │ │ │ └── Windows.hs │ │ │ ├── ConsoleHandler.hs │ │ │ ├── Constants.hs │ │ │ ├── Desugar.hs │ │ │ ├── Enum.lhs │ │ │ ├── Environment.hs │ │ │ ├── Err.lhs │ │ │ ├── Err.lhs-boot │ │ │ ├── Event.hs │ │ │ ├── Event │ │ │ │ ├── Array.hs │ │ │ │ ├── Clock.hsc │ │ │ │ ├── Control.hs │ │ │ │ ├── EPoll.hsc │ │ │ │ ├── IntMap.hs │ │ │ │ ├── Internal.hs │ │ │ │ ├── KQueue.hsc │ │ │ │ ├── Manager.hs │ │ │ │ ├── PSQ.hs │ │ │ │ ├── Poll.hsc │ │ │ │ ├── Thread.hs │ │ │ │ └── Unique.hs │ │ │ ├── Exception.lhs │ │ │ ├── Exts.hs │ │ │ ├── Fingerprint.hs │ │ │ ├── Fingerprint.hs-boot │ │ │ ├── Fingerprint │ │ │ │ └── Type.hs │ │ │ ├── Float.lhs │ │ │ ├── Float │ │ │ │ ├── ConversionUtils.hs │ │ │ │ └── RealFracMethods.hs │ │ │ ├── Foreign.hs │ │ │ ├── ForeignPtr.hs │ │ │ ├── Handle.hs │ │ │ ├── IO.hs │ │ │ ├── IO.hs-boot │ │ │ ├── IO │ │ │ │ ├── Buffer.hs │ │ │ │ ├── BufferedIO.hs │ │ │ │ ├── Device.hs │ │ │ │ ├── Encoding.hs │ │ │ │ ├── Encoding.hs-boot │ │ │ │ ├── Encoding │ │ │ │ │ ├── CodePage.hs │ │ │ │ │ ├── CodePage │ │ │ │ │ │ └── Table.hs │ │ │ │ │ ├── Failure.hs │ │ │ │ │ ├── Iconv.hs │ │ │ │ │ ├── Latin1.hs │ │ │ │ │ ├── Types.hs │ │ │ │ │ ├── UTF16.hs │ │ │ │ │ ├── UTF32.hs │ │ │ │ │ └── UTF8.hs │ │ │ │ ├── Exception.hs │ │ │ │ ├── Exception.hs-boot │ │ │ │ ├── FD.hs │ │ │ │ ├── Handle.hs │ │ │ │ ├── Handle.hs-boot │ │ │ │ ├── Handle │ │ │ │ │ ├── FD.hs │ │ │ │ │ ├── FD.hs-boot │ │ │ │ │ ├── Internals.hs │ │ │ │ │ ├── Text.hs │ │ │ │ │ └── Types.hs │ │ │ │ └── IOMode.hs │ │ │ ├── IOArray.hs │ │ │ ├── IOBase.hs │ │ │ ├── IORef.hs │ │ │ ├── Int.hs │ │ │ ├── List.lhs │ │ │ ├── MVar.hs │ │ │ ├── Num.lhs │ │ │ ├── PArr.hs │ │ │ ├── Pack.lhs │ │ │ ├── Ptr.lhs │ │ │ ├── Read.lhs │ │ │ ├── Real.lhs │ │ │ ├── ST.lhs │ │ │ ├── STRef.lhs │ │ │ ├── Show.lhs │ │ │ ├── Show.lhs-boot │ │ │ ├── Stable.lhs │ │ │ ├── Stack.hsc │ │ │ ├── Stats.hsc │ │ │ ├── Storable.lhs │ │ │ ├── TopHandler.lhs │ │ │ ├── Unicode.hs │ │ │ ├── Unicode.hs-boot │ │ │ ├── Weak.lhs │ │ │ ├── Windows.hs │ │ │ └── Word.hs │ │ ├── LICENSE │ │ ├── Numeric.hs │ │ ├── Prelude.hs │ │ ├── Setup.hs │ │ ├── System │ │ │ ├── CPUTime.hsc │ │ │ ├── Console │ │ │ │ └── GetOpt.hs │ │ │ ├── Environment.hs │ │ │ ├── Exit.hs │ │ │ ├── IO.hs │ │ │ ├── IO │ │ │ │ ├── Error.hs │ │ │ │ └── Unsafe.hs │ │ │ ├── Info.hs │ │ │ ├── Mem.hs │ │ │ ├── Mem │ │ │ │ ├── StableName.hs │ │ │ │ └── Weak.hs │ │ │ ├── Posix │ │ │ │ ├── Internals.hs │ │ │ │ ├── Internals.hs-boot │ │ │ │ └── Types.hs │ │ │ └── Timeout.hs │ │ ├── Text │ │ │ ├── ParserCombinators │ │ │ │ ├── ReadP.hs │ │ │ │ └── ReadPrec.hs │ │ │ ├── Printf.hs │ │ │ ├── Read.hs │ │ │ ├── Read │ │ │ │ └── Lex.hs │ │ │ ├── Show.hs │ │ │ └── Show │ │ │ │ └── Functions.hs │ │ ├── Unsafe │ │ │ └── Coerce.hs │ │ ├── aclocal.m4 │ │ ├── base.cabal │ │ ├── cbits │ │ │ ├── PrelIOUtils.c │ │ │ ├── WCsubst.c │ │ │ ├── Win32Utils.c │ │ │ ├── consUtils.c │ │ │ ├── iconv.c │ │ │ ├── inputReady.c │ │ │ ├── md5.c │ │ │ ├── primFloat.c │ │ │ └── selectUtils.c │ │ ├── config.guess │ │ ├── config.sub │ │ ├── configure │ │ ├── configure.ac │ │ ├── ieee-flpt.h │ │ ├── include │ │ │ ├── CTypes.h │ │ │ ├── EventConfig.h │ │ │ ├── HsBase.h │ │ │ ├── HsBaseConfig.h │ │ │ ├── Typeable.h │ │ │ ├── WCsubst.h │ │ │ ├── consUtils.h │ │ │ ├── ieee-flpt.h │ │ │ └── md5.h │ │ └── install-sh │ ├── bytestring-0.9.2.1 │ │ ├── Data │ │ │ ├── ByteString.hs │ │ │ └── ByteString │ │ │ │ ├── Char8.hs │ │ │ │ ├── Fusion.hs │ │ │ │ ├── Fusion │ │ │ │ └── T.hs │ │ │ │ ├── Internal.hs │ │ │ │ ├── Lazy.hs │ │ │ │ ├── Lazy │ │ │ │ ├── Char8.hs │ │ │ │ └── Internal.hs │ │ │ │ ├── LazyZip.hs │ │ │ │ ├── T.hs │ │ │ │ └── Unsafe.hs │ │ ├── cbits │ │ │ └── fpstring.c │ │ ├── count.py │ │ ├── count.sh │ │ └── include │ │ │ └── fpstring.h │ ├── containers-0.5.0.0 │ │ ├── Data │ │ │ ├── Graph.hs │ │ │ ├── IntMap.hs │ │ │ ├── IntMap │ │ │ │ ├── Base.hs │ │ │ │ ├── Lazy.hs │ │ │ │ └── Strict.hs │ │ │ ├── IntSet.hs │ │ │ ├── IntSet │ │ │ │ └── Base.hs │ │ │ ├── Map.hs │ │ │ ├── Map │ │ │ │ ├── Base.hs │ │ │ │ ├── Base0.hs │ │ │ │ ├── Base00.hs │ │ │ │ ├── Base1.hs │ │ │ │ ├── Lazy.hs │ │ │ │ └── Strict.hs │ │ │ ├── Sequence.hs │ │ │ ├── Set.hs │ │ │ ├── Set │ │ │ │ └── Base.hs │ │ │ ├── StrictPair.hs │ │ │ └── Tree.hs │ │ ├── LICENSE │ │ ├── Setup.hs │ │ ├── benchmarks │ │ │ ├── IntMap.hs │ │ │ ├── IntSet.hs │ │ │ ├── LookupGE │ │ │ │ ├── IntMap.hs │ │ │ │ ├── LookupGE_IntMap.hs │ │ │ │ ├── LookupGE_Map.hs │ │ │ │ ├── Makefile │ │ │ │ └── Map.hs │ │ │ ├── Makefile │ │ │ ├── Map.hs │ │ │ ├── Sequence.hs │ │ │ ├── Set.hs │ │ │ ├── SetOperations │ │ │ │ ├── Makefile │ │ │ │ ├── SetOperations-IntMap.hs │ │ │ │ ├── SetOperations-IntSet.hs │ │ │ │ ├── SetOperations-Map.hs │ │ │ │ ├── SetOperations-Set.hs │ │ │ │ └── SetOperations.hs │ │ │ ├── bench-cmp.pl │ │ │ └── bench-cmp.sh │ │ ├── containers.cabal │ │ ├── include │ │ │ └── Typeable.h │ │ └── tests │ │ │ ├── Makefile │ │ │ ├── intmap-properties.hs │ │ │ ├── intset-properties.hs │ │ │ ├── map-properties.hs │ │ │ ├── seq-properties.hs │ │ │ └── set-properties.hs │ ├── cse230 │ │ ├── LICENSE │ │ ├── README.md │ │ └── src │ │ │ └── Week10 │ │ │ ├── Axiomatic.hs │ │ │ ├── BigStep.hs │ │ │ ├── Expressions.hs │ │ │ ├── Imp.hs │ │ │ ├── Lec_3_11.hs │ │ │ ├── Lec_3_15.hs │ │ │ ├── ProofCombinators.hs │ │ │ ├── STLC.lhs │ │ │ ├── State.hs │ │ │ └── Verifier.hs │ ├── esop2013-submission │ │ ├── Array.hs │ │ ├── Base.hquals │ │ ├── Base.hs │ │ ├── Fib.hs │ │ ├── GhcListSort.hs │ │ ├── ListSort.hs │ │ ├── Splay.hs │ │ ├── Toy.hs │ │ ├── count.py │ │ └── count.sh │ ├── haskell16 │ │ └── pos │ │ │ └── tmp │ │ │ └── MonoidPeano.hs │ ├── hmatrix-0.15.0.1 │ │ ├── Config.hs │ │ ├── LICENSE │ │ ├── Setup.lhs │ │ ├── examples │ │ │ ├── bool.hs │ │ │ ├── data.txt │ │ │ ├── deriv.hs │ │ │ ├── devel │ │ │ │ ├── ej1 │ │ │ │ │ ├── functions.c │ │ │ │ │ └── wrappers.hs │ │ │ │ └── ej2 │ │ │ │ │ ├── functions.c │ │ │ │ │ └── wrappers.hs │ │ │ ├── error.hs │ │ │ ├── fitting.hs │ │ │ ├── inplace.hs │ │ │ ├── integrate.hs │ │ │ ├── kalman.hs │ │ │ ├── lie.hs │ │ │ ├── minimize.hs │ │ │ ├── monadic.hs │ │ │ ├── multiply.hs │ │ │ ├── ode.hs │ │ │ ├── parallel.hs │ │ │ ├── pca1.hs │ │ │ ├── pca2.hs │ │ │ ├── pinv.hs │ │ │ ├── plot.hs │ │ │ ├── root.hs │ │ │ └── vector.hs │ │ ├── hmatrix.cabal │ │ └── lib │ │ │ ├── Data │ │ │ ├── Packed.hs │ │ │ └── Packed │ │ │ │ ├── Development.hs │ │ │ │ ├── Foreign.hs │ │ │ │ ├── Internal.hs │ │ │ │ ├── Internal │ │ │ │ ├── Common.hs │ │ │ │ ├── Matrix.hs │ │ │ │ ├── Signatures.hs │ │ │ │ └── Vector.hs │ │ │ │ ├── Matrix.hs │ │ │ │ ├── Random.hs │ │ │ │ ├── ST.hs │ │ │ │ └── Vector.hs │ │ │ ├── Graphics │ │ │ └── Plot.hs │ │ │ └── Numeric │ │ │ ├── Chain.hs │ │ │ ├── Container.hs │ │ │ ├── ContainerBoot.hs │ │ │ ├── Conversion.hs │ │ │ ├── GSL.hs │ │ │ ├── GSL │ │ │ ├── Differentiation.hs │ │ │ ├── Fitting.hs │ │ │ ├── Fourier.hs │ │ │ ├── Integration.hs │ │ │ ├── Internal.hs │ │ │ ├── Minimization.hs │ │ │ ├── ODE.hs │ │ │ ├── Polynomials.hs │ │ │ ├── Root.hs │ │ │ ├── Vector.hs │ │ │ ├── gsl-aux.c │ │ │ └── gsl-ode.c │ │ │ ├── IO.hs │ │ │ ├── LinearAlgebra.hs │ │ │ ├── LinearAlgebra │ │ │ ├── Algorithms.hs │ │ │ ├── LAPACK.hs │ │ │ ├── LAPACK │ │ │ │ ├── lapack-aux.c │ │ │ │ └── lapack-aux.h │ │ │ ├── Util.hs │ │ │ └── Util │ │ │ │ └── Convolution.hs │ │ │ ├── Matrix.hs │ │ │ └── Vector.hs │ ├── icfp15 │ │ ├── MiniPosix.hs │ │ ├── neg │ │ │ ├── Composition.hs │ │ │ ├── DBMovies.hs │ │ │ ├── DataBase.hs │ │ │ ├── IfM.hs │ │ │ ├── RIO.hs │ │ │ ├── Records.hs │ │ │ ├── TestM.hs │ │ │ ├── TwiceM.hs │ │ │ └── WhileM.hs │ │ ├── pos │ │ │ ├── Append.hs │ │ │ ├── CompareConstraints.hs │ │ │ ├── Composition.hs │ │ │ ├── CopyRec.hs │ │ │ ├── DBMovies.hs │ │ │ ├── DataBase.hs │ │ │ ├── Dropwhile.hs │ │ │ ├── Filter.lhs │ │ │ ├── FindRec.hs │ │ │ ├── FoldAbs.hs │ │ │ ├── ICFP15.lhs │ │ │ ├── IfM.hs │ │ │ ├── IfM2.hs │ │ │ ├── Incr.hs │ │ │ ├── Incr_elim.hs │ │ │ ├── Overview.lhs │ │ │ ├── Privileges.hs │ │ │ ├── RIO.hs │ │ │ ├── RIO2.hs │ │ │ ├── TestM.hs │ │ │ ├── TwiceM.hs │ │ │ ├── WhileM.hs │ │ │ └── WhileTest.hs │ │ └── todo │ │ │ ├── Append_T.hs │ │ │ ├── Dyn.hs │ │ │ ├── FindRec.hs │ │ │ ├── Reverse.hs │ │ │ └── WhileM.hs │ ├── kmeans-0.1.2 │ │ ├── Data │ │ │ ├── KMeans.hs │ │ │ ├── KMeans.orig.hs │ │ │ └── KMeans0.hs │ │ ├── LICENSE │ │ ├── Setup.lhs │ │ └── kmeans.cabal │ ├── llrbtree-0.1.1 │ │ ├── Data │ │ │ ├── Heap │ │ │ │ ├── Binominal.hs │ │ │ │ ├── Leftist.hs │ │ │ │ ├── Skew.hs │ │ │ │ └── Splay.hs │ │ │ └── Set │ │ │ │ ├── BUSplay.hs │ │ │ │ ├── LLRBTree.hs │ │ │ │ ├── RBTree-appel-height.hs │ │ │ │ ├── RBTree-appel.hs │ │ │ │ ├── RBTree-mini-color.hs │ │ │ │ ├── RBTree-mini.hs │ │ │ │ ├── RBTree-ord.hs │ │ │ │ ├── RBTree.hs │ │ │ │ ├── RBTree0.hs │ │ │ │ ├── Splay.hs │ │ │ │ ├── Splay0.hs │ │ │ │ ├── WBTree.hs │ │ │ │ └── fixme.hs │ │ ├── LICENSE │ │ ├── Setup.hs │ │ └── llrbtree.cabal │ ├── nofib │ │ └── imaginary │ │ │ ├── bernouilli │ │ │ └── Main.hs │ │ │ ├── digits-of-e1 │ │ │ └── Main.lhs │ │ │ ├── digits-of-e2 │ │ │ └── Main.lhs │ │ │ ├── exp3_8 │ │ │ └── Main.hs │ │ │ ├── gen_regexps │ │ │ └── Main.hs │ │ │ ├── integrate │ │ │ └── Main.hs │ │ │ ├── paraffins │ │ │ └── Main.hs │ │ │ ├── primes │ │ │ └── Main.hs │ │ │ ├── queens │ │ │ └── Main.hs │ │ │ ├── rfib │ │ │ └── Main.hs │ │ │ ├── tak │ │ │ └── Main.hs │ │ │ ├── wheel-sieve1 │ │ │ └── Main.hs │ │ │ ├── wheel-sieve2 │ │ │ └── Main.hs │ │ │ └── x2n1 │ │ │ └── Main.hs │ ├── originals │ │ ├── base-4.5.1.0.tar.gz │ │ ├── bytestring-0.9.0.2.tar.gz │ │ ├── containers-0.5.0.0.tar.gz │ │ ├── ghc-7.4.1.tgz │ │ ├── hmatrix-0.15.0.1.tar.gz │ │ ├── llrbtree-0.1.1.tar.gz │ │ ├── text-0.11.2.3.tar.gz │ │ ├── unordered-containers-0.2.1.0.tar.gz │ │ ├── vector-0.10.0.1.tar.gz │ │ ├── vector-0.9.1.tar.gz │ │ ├── vector-algorithms-0.5.4.2.tar.gz │ │ ├── wouter-swierstra-xmonad-7715ec2.zip │ │ └── xmonad-0.10.tar.gz │ ├── popl18 │ │ ├── lib │ │ │ ├── Helper.hs │ │ │ ├── Proves.hs │ │ │ └── prover-ple-lib.cabal │ │ ├── nople │ │ │ ├── neg │ │ │ │ ├── Ackermann.hs │ │ │ │ ├── Append.hs │ │ │ │ ├── ApplicativeList.hs │ │ │ │ ├── ApplicativeMaybe.hs │ │ │ │ ├── BasicLambdas.hs │ │ │ │ ├── Fibonacci.hs │ │ │ │ ├── FunctorList.hs │ │ │ │ ├── FunctorMaybe.hs │ │ │ │ ├── MapFusion.hs │ │ │ │ ├── MonadList.hs │ │ │ │ ├── MonadMaybe.hs │ │ │ │ └── MonadReader.hs │ │ │ ├── pos │ │ │ │ ├── Ackermann.hs │ │ │ │ ├── Append.hs │ │ │ │ ├── ApplicativeId.hs │ │ │ │ ├── ApplicativeList.hs │ │ │ │ ├── ApplicativeMaybe.hs │ │ │ │ ├── ApplicativeReader.hs │ │ │ │ ├── BasicLambdas.hs │ │ │ │ ├── Compose.hs │ │ │ │ ├── Euclide.hs │ │ │ │ ├── Fibonacci.hs │ │ │ │ ├── FoldrUniversal.hs │ │ │ │ ├── FunctorId.hs │ │ │ │ ├── FunctorList.hs │ │ │ │ ├── FunctorMaybe.hs │ │ │ │ ├── FunctorReader.hs │ │ │ │ ├── FunctorReader_NoExtensionality.hs │ │ │ │ ├── MapFusion.hs │ │ │ │ ├── MonadId.hs │ │ │ │ ├── MonadList.hs │ │ │ │ ├── MonadMaybe.hs │ │ │ │ ├── MonadReader.hs │ │ │ │ ├── MonoidList.hs │ │ │ │ ├── MonoidMaybe.hs │ │ │ │ ├── NatInduction.hs │ │ │ │ ├── NaturalDeduction.hs │ │ │ │ ├── Overview.hs │ │ │ │ ├── OverviewListInfix.hs │ │ │ │ ├── Peano.hs │ │ │ │ ├── Solver.hs │ │ │ │ └── Unification.hs │ │ │ └── todo │ │ │ │ └── Soundness.hs │ │ └── ple │ │ │ └── pos │ │ │ ├── Ackermann.hs │ │ │ ├── Append.hs │ │ │ ├── ApplicativeId.hs │ │ │ ├── ApplicativeList.hs │ │ │ ├── ApplicativeMaybe.hs │ │ │ ├── BasicLambdas.hs │ │ │ ├── Compose.hs │ │ │ ├── Euclide.hs │ │ │ ├── Fibonacci.hs │ │ │ ├── FoldrUniversal.hs │ │ │ ├── FunctorId.hs │ │ │ ├── FunctorList.hs │ │ │ ├── FunctorMaybe.hs │ │ │ ├── Lists.hs │ │ │ ├── MapFusion.hs │ │ │ ├── Maybe.hs │ │ │ ├── MonadId.hs │ │ │ ├── MonadList.hs │ │ │ ├── MonadMaybe.hs │ │ │ ├── MonoidList.hs │ │ │ ├── MonoidMaybe.hs │ │ │ ├── NatInduction.hs │ │ │ ├── NaturalDeduction.hs │ │ │ ├── Overview.hs │ │ │ ├── OverviewListInfix.hs │ │ │ ├── Peano.hs │ │ │ ├── Solver.hs │ │ │ └── Unification.hs │ ├── sf │ │ ├── Basics.hs │ │ ├── Induction.hs │ │ ├── InductionRJ.hs │ │ └── Lists.hs │ ├── stitch-lh │ │ ├── .gitignore │ │ ├── CHANGES.md │ │ ├── LICENSE │ │ ├── README.md │ │ ├── main │ │ │ └── Main.hs │ │ ├── nixpkgs.nix │ │ ├── shell-stack.nix │ │ ├── shell.nix │ │ ├── src │ │ │ └── Language │ │ │ │ └── Stitch │ │ │ │ └── LH │ │ │ │ ├── CSE.hs │ │ │ │ ├── Check.hs │ │ │ │ ├── Data │ │ │ │ ├── List.hs │ │ │ │ └── Nat.hs │ │ │ │ ├── Eval.hs │ │ │ │ ├── Lex.hs │ │ │ │ ├── Monad.hs │ │ │ │ ├── Op.hs │ │ │ │ ├── Parse.hs │ │ │ │ ├── Pretty.hs │ │ │ │ ├── Repl.hs │ │ │ │ ├── Statement.hs │ │ │ │ ├── Step.hs │ │ │ │ ├── Token.hs │ │ │ │ ├── Type.hs │ │ │ │ ├── Unchecked.hs │ │ │ │ └── Util.hs │ │ ├── stack.yaml │ │ ├── stitch-lh.cabal │ │ └── tests │ │ │ ├── Tests │ │ │ ├── Check.hs │ │ │ ├── Lex.hs │ │ │ ├── Main.hs │ │ │ ├── Parse.hs │ │ │ └── Util.hs │ │ │ ├── prime.stitch │ │ │ └── revapp.stitch │ ├── text-0.11.2.3 │ │ ├── Data │ │ │ ├── Text.hs │ │ │ └── Text │ │ │ │ ├── Array.hs │ │ │ │ ├── Axioms.hs │ │ │ │ ├── Encoding.hs │ │ │ │ ├── Encoding │ │ │ │ ├── Error.hs │ │ │ │ ├── Fusion.hs │ │ │ │ ├── Fusion │ │ │ │ │ └── Common.hs │ │ │ │ ├── Utf16.hs │ │ │ │ ├── Utf32.hs │ │ │ │ └── Utf8.hs │ │ │ │ ├── Foreign.hs │ │ │ │ ├── Fusion-debug.hs │ │ │ │ ├── Fusion.hs │ │ │ │ ├── Fusion │ │ │ │ ├── CaseMapping.hs │ │ │ │ ├── Common.hs │ │ │ │ ├── Internal.hs │ │ │ │ └── Size.hs │ │ │ │ ├── IO.hs │ │ │ │ ├── IO │ │ │ │ └── Internal.hs │ │ │ │ ├── Internal.hs │ │ │ │ ├── Lazy.hs │ │ │ │ ├── Lazy │ │ │ │ ├── Builder.hs │ │ │ │ ├── Builder │ │ │ │ │ ├── Functions.hs │ │ │ │ │ ├── Int.hs │ │ │ │ │ ├── RealFloat.hs │ │ │ │ │ └── RealFloat │ │ │ │ │ │ └── Functions.hs │ │ │ │ ├── Encoding.hs │ │ │ │ ├── Encoding │ │ │ │ │ └── Fusion.hs │ │ │ │ ├── Fusion.hs │ │ │ │ ├── IO.hs │ │ │ │ ├── Internal.hs │ │ │ │ ├── Read.hs │ │ │ │ └── Search.hs │ │ │ │ ├── Private.hs │ │ │ │ ├── Read.hs │ │ │ │ ├── Search.hs │ │ │ │ ├── Unsafe.hs │ │ │ │ ├── Unsafe │ │ │ │ └── Base.hs │ │ │ │ ├── UnsafeChar.hs │ │ │ │ ├── UnsafeShift.hs │ │ │ │ └── Util.hs │ │ ├── LICENSE │ │ ├── LIQUID.txt │ │ ├── README.markdown │ │ ├── Setup.lhs │ │ ├── cbits │ │ │ └── cbits.c │ │ ├── count.py │ │ ├── count.sh │ │ ├── tests-and-benchmarks.markdown │ │ └── text.cabal │ ├── unordered-containers-0.2.1.0 │ │ ├── Data │ │ │ ├── HashMap │ │ │ │ ├── Array.hs │ │ │ │ ├── Base.hs │ │ │ │ ├── Lazy.hs │ │ │ │ ├── PopCount.hs │ │ │ │ ├── Strict.hs │ │ │ │ └── UnsafeShift.hs │ │ │ └── HashSet.hs │ │ ├── LICENSE │ │ ├── Setup.hs │ │ ├── cbits │ │ │ └── popc.c │ │ ├── tests │ │ │ ├── HashMapProperties.hs │ │ │ ├── HashSetProperties.hs │ │ │ └── Regressions.hs │ │ └── unordered-containers.cabal │ ├── vector-0.10.0.1 │ │ ├── Data │ │ │ ├── Vector.hs │ │ │ └── Vector │ │ │ │ ├── Fusion │ │ │ │ ├── Stream.hs │ │ │ │ ├── Stream │ │ │ │ │ ├── Monadic.hs │ │ │ │ │ ├── Monadic.nocpp.hs │ │ │ │ │ └── Size.hs │ │ │ │ └── Util.hs │ │ │ │ ├── Generic.hs │ │ │ │ ├── Generic.nocpp.hs │ │ │ │ ├── Generic │ │ │ │ ├── Base.hs │ │ │ │ ├── Mutable.hs │ │ │ │ ├── New.hs │ │ │ │ ├── New.nocpp.hs │ │ │ │ └── New0.hs │ │ │ │ ├── Internal │ │ │ │ └── Check.hs │ │ │ │ ├── Mutable.hs │ │ │ │ ├── Primitive.hs │ │ │ │ ├── Primitive │ │ │ │ ├── Mutable.hs │ │ │ │ └── Mutable.nocpp.hs │ │ │ │ ├── Storable.hs │ │ │ │ ├── Storable │ │ │ │ ├── Internal.hs │ │ │ │ └── Mutable.hs │ │ │ │ ├── Unboxed.hs │ │ │ │ └── Unboxed │ │ │ │ ├── Base.hs │ │ │ │ └── Mutable.hs │ │ ├── LICENSE │ │ ├── Setup.hs │ │ ├── include │ │ │ └── vector.h │ │ ├── internal │ │ │ ├── GenUnboxTuple.hs │ │ │ └── unbox-tuple-instances │ │ └── vector.cabal │ ├── vector-algorithms-0.5.4.2 │ │ ├── Data │ │ │ └── Vector │ │ │ │ └── Algorithms │ │ │ │ ├── AmericanFlag.hs │ │ │ │ ├── Combinators.hs │ │ │ │ ├── Common.hs │ │ │ │ ├── Heap.hs │ │ │ │ ├── Insertion.hs │ │ │ │ ├── Intro.hs │ │ │ │ ├── Merge.hs │ │ │ │ ├── Optimal.hs │ │ │ │ ├── Radix.hs │ │ │ │ ├── Search.hs │ │ │ │ └── Termination.hs │ │ ├── LICENSE │ │ ├── Setup.lhs │ │ ├── count.py │ │ ├── count.sh │ │ ├── include │ │ │ └── vector.h │ │ ├── liquid.sh │ │ └── vector-algorithms.cabal │ ├── xmonad-0.10 │ │ ├── CONFIG │ │ ├── LICENSE │ │ ├── Main.hs │ │ ├── README │ │ ├── STYLE │ │ ├── Setup.lhs │ │ ├── TODO │ │ ├── XMonad.hs │ │ ├── XMonad │ │ │ ├── Config.hs │ │ │ ├── Core.hs │ │ │ ├── Layout.hs │ │ │ ├── LiquidStackSet.lhs │ │ │ ├── Main.hsc │ │ │ ├── ManageHook.hs │ │ │ ├── Operations.hs │ │ │ └── StackSet.hs │ │ ├── man │ │ │ ├── xmonad.1 │ │ │ ├── xmonad.1.markdown │ │ │ └── xmonad.hs │ │ ├── tests │ │ │ ├── Properties.hs │ │ │ └── loc.hs │ │ ├── util │ │ │ └── GenerateManpage.hs │ │ └── xmonad.cabal │ └── xmonad-0.11 │ │ ├── XMonad │ │ └── StackSet.hs │ │ └── tests │ │ └── Properties.txt ├── cabal_driver │ └── driver.hs ├── classes │ ├── neg │ │ ├── Class00.hs │ │ ├── Class01.hs │ │ ├── Inst00.hs │ │ └── RealProps0.hs │ └── pos │ │ ├── Class00.hs │ │ ├── HiddenMethod00.hs │ │ ├── Inst00.hs │ │ ├── RealProps0.hs │ │ ├── RealProps1.hs │ │ ├── STMonad.hs │ │ ├── TypeEquality00.hs │ │ └── TypeEquality01.hs ├── datacon │ ├── neg │ │ ├── AdtPeano2.hs │ │ ├── Data00.hs │ │ ├── Data00Lib.hs │ │ ├── Data01.hs │ │ ├── Data02.hs │ │ ├── Data02Lib.hs │ │ ├── Date.hs │ │ ├── NewTypes.hs │ │ └── NewTypes0.hs │ └── pos │ │ ├── AdtPeano2.hs │ │ ├── Data00.hs │ │ ├── Data00Lib.hs │ │ ├── Data01.hs │ │ ├── Data02.hs │ │ ├── Data02Lib.hs │ │ ├── Date.hs │ │ ├── NewType.hs │ │ ├── T1446.hs │ │ ├── T1473A.hs │ │ ├── T1473B.hs │ │ ├── T1476.hs │ │ ├── T1477.hs │ │ └── T1777.hs ├── errors │ ├── AmbiguousInline.hs │ ├── AmbiguousReflect.hs │ ├── BadAliasApp.hs │ ├── BadAnnotation.hs │ ├── BadAnnotation1.hs │ ├── BadData0.hs │ ├── BadData1.hs │ ├── BadData2.hs │ ├── BadDataCon2.hs │ ├── BadDataConType.hs │ ├── BadDataConType1.hs │ ├── BadDataConType2.hs │ ├── BadDataDeclTyVars.hs │ ├── BadGADT.hs │ ├── BadPredApp.hs │ ├── BadQualifier.hs │ ├── BadSig0.hs │ ├── BadSig1.hs │ ├── BadSyn1.hs │ ├── BadSyn2.hs │ ├── BadSyn3.hs │ ├── BadSyn4.hs │ ├── CyclicExprAlias0.hs │ ├── CyclicExprAlias1.hs │ ├── CyclicExprAlias2.hs │ ├── CyclicExprAlias3.hs │ ├── CyclicPredAlias0.hs │ ├── CyclicPredAlias1.hs │ ├── CyclicPredAlias2.hs │ ├── CyclicPredAlias3.hs │ ├── CyclicTypeAlias0.hs │ ├── CyclicTypeAlias1.hs │ ├── CyclicTypeAlias2.hs │ ├── CyclicTypeAlias3.hs │ ├── DupAlias.hs │ ├── DupData.hs │ ├── DupFunSigs.hs │ ├── DupMeasure.hs │ ├── ElabLocation.hs │ ├── ElabLocation2.hs │ ├── ElabLocation3.hs │ ├── EmptyData.hs │ ├── ErrLocation.hs │ ├── ErrLocation2.hs │ ├── ExportMeasure0.hs │ ├── ExportReflect0.hs │ ├── Fractional.hs │ ├── HigherOrderBinder.hs │ ├── HoleCrash1.hs │ ├── HoleCrash2.hs │ ├── HoleCrash3.hs │ ├── Inconsistent0.hs │ ├── Inconsistent1.hs │ ├── Inconsistent2.hs │ ├── InlineSubExp0.hs │ ├── InlineSubExp1.hs │ ├── IrregularData.hs │ ├── LiftMeasureCase.hs │ ├── LocalHole.hs │ ├── MissingAssume.hs │ ├── MissingField1.hs │ ├── MissingReflect.hs │ ├── MissingSizeFun.hs │ ├── MultiInstMeasures.hs │ ├── MultiRecSels.hs │ ├── Positivity1.hs │ ├── Positivity2.hs │ ├── PositivityCheck.hs │ ├── ReWrite5.hs │ ├── ReWrite6.hs │ ├── ReWrite7.hs │ ├── ReWrite8.hs │ ├── ReflectLam.hs │ ├── ShadowFieldInline.hs │ ├── ShadowFieldReflect.hs │ ├── ShadowMeasure.hs │ ├── ShadowMeasureVar.hs │ ├── SplitSubtype.hs │ ├── StratNoLex.hs │ ├── StratNoPropRec.hs │ ├── StratNoPropRet.hs │ ├── StratNoRefCtor.hs │ ├── StratNonLocal.hs │ ├── StratNotAdt.hs │ ├── StratRecOccNotSmall.hs │ ├── T1140.hs │ ├── T1498.hs │ ├── T1498A.hs │ ├── T2346.hs │ ├── T773.hs │ ├── T774.hs │ ├── TODOUnboundAbsRef.hs │ ├── TODOVarInTypeAlias.hs │ ├── TerminationExprNum.hs │ ├── TerminationExprSort.hs │ ├── TerminationExprUnb.hs │ ├── UnboundAbsRef.hs │ ├── UnboundCheckVar.hs │ ├── UnboundFunInSpec.hs │ ├── UnboundFunInSpec1.hs │ ├── UnboundFunInSpec2.hs │ ├── UnboundVarInAssume.hs │ ├── UnboundVarInLocSig.hs │ └── UnboundVarInSpec.hs ├── ffi-include │ ├── foo.c │ └── foo.h ├── golden │ ├── json_output.golden │ └── json_output.hs ├── harness │ └── Test │ │ ├── Build.hs │ │ ├── Groups.hs │ │ └── Options.hs ├── import │ ├── client │ │ ├── C.hs │ │ ├── CliAliasGen00.hs │ │ ├── CliRedBlue.hs │ │ ├── Client0.hs │ │ ├── Client1Lib.hs │ │ ├── Client2Lib.hs │ │ ├── ExactGADT9.hs │ │ ├── FunClashLibLibClient.hs │ │ ├── LibRedBlue.hs │ │ ├── LiquidArrayInit.hs │ │ ├── LiquidArrayNullTerm.hs │ │ ├── ListClient.hs │ │ ├── NameClashClient.hs │ │ ├── RC1015.hs │ │ ├── ReExportClient.hs │ │ ├── ReflectClient0.hs │ │ ├── ReflectClient1.hs │ │ ├── ReflectClient2.hs │ │ ├── ReflectClient3.hs │ │ ├── ReflectClient4.hs │ │ ├── ReflectClient4a.hs │ │ ├── ReflectClient5.hs │ │ ├── ReflectClient6.hs │ │ ├── ReflectClient7.hs │ │ ├── ReflectClient8.hs │ │ ├── RewriteClient.hs │ │ ├── STClient.hs │ │ ├── T1096_Foo.hs │ │ ├── T1104Client.hs │ │ ├── T1117.hs │ │ ├── T1118.hs │ │ ├── T1180.hs │ │ ├── T1688.hs │ │ ├── T1738.hs │ │ ├── T2198.hs │ │ └── WrapClient.hs │ ├── deps │ │ ├── ALib.hs │ │ ├── BLib.hs │ │ ├── CLib.hs │ │ └── D.hs │ └── lib │ │ ├── B.hs │ │ ├── ExactGADT8Lib.hs │ │ ├── FunClashLib.hs │ │ ├── FunClashLibLib.hs │ │ ├── Language.hs │ │ ├── LibAliasGen00.hs │ │ ├── LibBlue.hs │ │ ├── LibRed.hs │ │ ├── LiquidArrayLib.hs │ │ ├── ListLib.hs │ │ ├── NameClashLib.hs │ │ ├── PeanoLib.hs │ │ ├── RL1015Lib.hs │ │ ├── ReExportLib.hs │ │ ├── ReflectLib0.hs │ │ ├── ReflectLib1.hs │ │ ├── ReflectLib2.hs │ │ ├── ReflectLib3.hs │ │ ├── ReflectLib4.hs │ │ ├── ReflectLib5.hs │ │ ├── ReflectLib6.hs │ │ ├── ReflectLib7.hs │ │ ├── ReflectLib8.hs │ │ ├── RewriteLib.hs │ │ ├── STLib.hs │ │ ├── SpecLib.hs │ │ ├── T1096_TypesLib.hs │ │ ├── T1102_LibX.hs │ │ ├── T1102_LibY.hs │ │ ├── T1102_LibZ.hs │ │ ├── T1104Lib.hs │ │ ├── T1112.hs │ │ ├── T1112Lib.hs │ │ ├── T1117Lib.hs │ │ ├── T1118Lib1.hs │ │ ├── T1118Lib2.hs │ │ ├── T1688Lib.hs │ │ ├── T1738Lib.hs │ │ ├── WrapLib.hs │ │ └── WrapLibCode.hs ├── liquidhaskell-test │ ├── Main.hs │ └── QuotRem.hs ├── log │ ├── summary-develop.csv │ └── summary-map_fusion.csv ├── logs │ ├── borscht-2015-06-09T20-35-28 │ │ └── summary.csv │ ├── borscht-2015-07-23T20-12-37 │ │ └── summary.csv │ ├── compare-PLE.csv │ ├── compare-develop-gradual.csv │ ├── defunctionalized.csv │ ├── f4764fa7e9b3992c80c4d9f73cbfbcaea4c16071-all-import.csv │ ├── f4764fa7e9b3992c80c4d9f73cbfbcaea4c16071-no-import.csv │ ├── f4764fa7e9b3992c80c4d9f73cbfbcaea4c16071-used-import.csv │ ├── gradual-with-bools.csv │ ├── gradual.csv │ ├── regrtest_results_goto_Fri_Feb__8_2013_POST_SPLITFIX_HUGHESPJ │ ├── regrtest_results_goto_Fri_Sep_21_171954_2012 │ ├── regrtest_results_goto_Mon_Feb__4_082521_2013 │ ├── regrtest_results_goto_Mon_Jul_14_master │ ├── regrtest_results_goto_Mon_Jul_14_post_parseparens │ ├── regrtest_results_goto_Mon_Oct_22_154504_2012 │ ├── regrtest_results_goto_Mon_Oct_22_205256_2012 │ ├── regrtest_results_goto_Sat_Feb_23_183819_2013 │ ├── regrtest_results_goto_Sun_Jan_13_171109_2013 │ ├── regrtest_results_goto_Sun_Jul_13_221212_2014_post_errormsg_parseparens │ ├── regrtest_results_goto_Sun_Oct_28_172434_2012 │ ├── regrtest_results_goto_Thu_Nov_21_2013-lazyinst │ ├── regrtest_results_goto_Thu_Nov_21_2013-master │ ├── regrtest_results_goto_Tue_Jul_15-post-parseparens-and-errormsg-improved │ ├── regrtest_results_goto_Wed_Nov_20_152850_2013-master │ ├── regrtest_results_goto_post_qualshrink_Mon_Jul_22_2013 │ ├── regrtest_results_goto_smtlib1_Thu_Jul_18_2013 │ ├── regrtest_results_goto_z3mem_Thu_Jul_18_2013 │ ├── regrtest_results_goto_z3mem_Thu_Jul_18_new_2013 │ ├── regrtest_results_nikiL_Fri_Mar_29_125637_2013 │ ├── regrtest_results_ubuntu_Fri_Jul_29_173855_2011 │ ├── regrtest_results_ubuntu_Mon_Dec__5_033239_2011 │ ├── regrtest_results_ubuntu_Sun_Sep_11_155257_2011 │ ├── regrtest_results_ubuntu_Sun_Sep_11_193855_2011 │ ├── regrtest_results_ubuntu_Sun_Sep_11_201206_2011 │ ├── regrtest_results_ubuntu_Thu_Dec_22_025146_2011 │ ├── regrtest_results_ubuntu_Tue_Jul_19_100718_2011 │ ├── regrtest_results_ubuntu_Wed_Dec_21_031145_2011 │ ├── regrtest_results_ubuntu_Wed_Dec_21_031429_2011 │ ├── regrtest_results_ubuntu_Wed_Dec_21_164526_2011 │ ├── regrtest_results_ubuntu_Wed_Dec_21_180931_2011 │ ├── regrtest_results_ubuntu_Wed_Dec_21_184219_2011 │ ├── regrtest_results_ubuntu_Wed_Dec_21_191326_2011 │ ├── regrtest_results_ubuntu_Wed_Dec_21_191410_2011 │ ├── regrtest_results_ubuntu_Wed_Sep__7_144519_2011 │ ├── slowdown.csv │ ├── summary-develop-for-gradual.csv │ ├── summary-develop.csv │ ├── summary-first-ghc8.csv │ ├── summary-fix-inst-borscht-9-27-2015.csv │ ├── summary-last-ghc7.csv │ ├── summary-master-borscht-9-27-2015.csv │ ├── summary-new.csv │ ├── summary-old-dev.csv │ ├── summary-old-develop.csv │ ├── summary-pAnd.csv │ ├── summary-ple.csv │ ├── summary-symbol-borscht-10-08-2015.csv │ ├── summary-symbol-intern-borscht-10-08-2015.csv │ └── typeclasses-analysis │ │ ├── analysis.R │ │ ├── compare-typeclass.csv │ │ ├── summary_dev.csv │ │ └── summary_typeclasses.csv ├── measure │ ├── neg │ │ ├── Bag.hs │ │ ├── Fst00.hs │ │ ├── Fst01.hs │ │ ├── Fst02.hs │ │ ├── GList00Lib.hs │ │ ├── Len00.hs │ │ ├── Len01.hs │ │ ├── List00.hs │ │ ├── List01.hs │ │ ├── List02.hs │ │ ├── Ple0.hs │ │ ├── Ple1.hs │ │ ├── Ple1Lib.hs │ │ └── Using00.hs │ └── pos │ │ ├── AbsMeasure.hs │ │ ├── Bag.hs │ │ ├── ExactFunApp.hs │ │ ├── Fst00.hs │ │ ├── Fst01.hs │ │ ├── Fst02.hs │ │ ├── GList000.hs │ │ ├── GList00Lib.hs │ │ ├── HiddenData.hs │ │ ├── HiddenDataLib.hs │ │ ├── Len00.hs │ │ ├── Len01.hs │ │ ├── Len02.hs │ │ ├── List00.hs │ │ ├── List00Lib.hs │ │ ├── List01.hs │ │ ├── List02.hs │ │ ├── List02Lib.hs │ │ ├── Ple00.hs │ │ ├── Ple01.hs │ │ ├── Ple1.hs │ │ ├── Ple1Lib.hs │ │ ├── PruneHO.hs │ │ ├── RecordAccessors.hs │ │ └── Using00.hs ├── name-resolution │ └── pos │ │ ├── A.hs │ │ ├── AData.hs │ │ ├── B.hs │ │ ├── BData.hs │ │ ├── C.hs │ │ ├── CData.hs │ │ └── MainData.hs ├── names │ ├── neg │ │ ├── AmbiguousTypeAlias.hs │ │ ├── Assume00.hs │ │ ├── Capture01.hs │ │ ├── DuplicatedAliases.hs │ │ ├── Local00.hs │ │ ├── Nat1.hs │ │ ├── Nat2.hs │ │ ├── Set00.hs │ │ ├── Set01.hs │ │ ├── Set02.hs │ │ ├── T1078.hs │ │ ├── UnqualifiedTypeAlias.hs │ │ ├── Vector0.hs │ │ └── Vector1.hs │ └── pos │ │ ├── Alias00.hs │ │ ├── Assume00.hs │ │ ├── Assume01.hs │ │ ├── BasicLambdas00.hs │ │ ├── BasicLambdas01.hs │ │ ├── Capture01.hs │ │ ├── Capture02.hs │ │ ├── ClojurVector.hs │ │ ├── DataFields.hs │ │ ├── ExpandsDependentPairs.hs │ │ ├── ExprAliases.hs │ │ ├── ExprAliasesCopycat.hs │ │ ├── HideName00.hs │ │ ├── HidePrelude.hs │ │ ├── ImportedTypeAlias.hs │ │ ├── List00.hs │ │ ├── Local00.hs │ │ ├── Local01.hs │ │ ├── Local02.hs │ │ ├── Local03.hs │ │ ├── LocalAssume.hs │ │ ├── LocalSpec.hs │ │ ├── Nat1.hs │ │ ├── Nat2.hs │ │ ├── NatFoo.hs │ │ ├── Ord.hs │ │ ├── QualifiedPredAliases.hs │ │ ├── QualifiedTypeAliases.hs │ │ ├── Set00.hs │ │ ├── Set01.hs │ │ ├── Set02.hs │ │ ├── Shadow00.hs │ │ ├── Shadow01.hs │ │ ├── T1521.hs │ │ ├── T675.hs │ │ ├── TransitivePredAliases.hs │ │ ├── TupleParse.hs │ │ ├── TypeAliasShadowing.hs │ │ ├── Uniques.hs │ │ ├── Vector0.hs │ │ ├── Vector04.hs │ │ └── Vector1.hs ├── neg │ ├── AbsApp.hs │ ├── AbsNegTest.hs │ ├── AdtPeano0.hs │ ├── AdtPeano1.hs │ ├── Alias00.hs │ ├── Ass0.hs │ ├── Ast.hs │ ├── AutoSize.hs │ ├── AutoTerm1.hs │ ├── Automate.hs │ ├── BadNats.hs │ ├── Bag1.hs │ ├── Baz.hs │ ├── BigNum.hs │ ├── BinarySearchOverflow.hs │ ├── Books.hs │ ├── Card.hs │ ├── CastedTotality.hs │ ├── CharLiterals.hs │ ├── CheckedNum.hs │ ├── CheckedNumLib.hs │ ├── Class1.hs │ ├── Class2.hs │ ├── Class3.hs │ ├── Class4.hs │ ├── CompareConstraints.hs │ ├── Concat.hs │ ├── Concat1.hs │ ├── Concat2.hs │ ├── Constraints.hs │ ├── ConstraintsAppend.hs │ ├── Contra0.hs │ ├── Coretologic.hs │ ├── CosNegTest.hs │ ├── Csv.hs │ ├── Datacon_eq.hs │ ├── DependentTypes.hs │ ├── Elim000.hs │ ├── Elim_ex_compose.hs │ ├── Elim_ex_let.hs │ ├── Elim_ex_list.hs │ ├── Elim_ex_map_1.hs │ ├── Elim_ex_map_2.hs │ ├── Elim_ex_map_3.hs │ ├── Errmsg.hs │ ├── Errorloc.hs │ ├── Eval.hs │ ├── EvalQuery.hs │ ├── Ex0_unsafe.hs │ ├── Ex1_unsafe.hs │ ├── ExactADT6.hs │ ├── ExactGADT6.hs │ ├── ExactGADT7.hs │ ├── ExpNegTest.hs │ ├── Exponential1NegTest.hs │ ├── Exponential2NegTest.hs │ ├── ExponentiationNegTest.hs │ ├── Fail.hs │ ├── Fail1.hs │ ├── FancyTerm.hs │ ├── FilterAbs.hs │ ├── FoldN.hs │ ├── FoldN1.hs │ ├── FunSoundness.hs │ ├── FunctionRef.hs │ ├── GeneralizedTermination.hs │ ├── Grty0.hs │ ├── Grty1.hs │ ├── Grty2.hs │ ├── Grty3.hs │ ├── HasElem.hs │ ├── Hex00.hs │ ├── HigherOrder.hs │ ├── HolesTop.hs │ ├── Inc2.hs │ ├── IntAbsRef.hs │ ├── LazyWhere.hs │ ├── LazyWhere1.hs │ ├── LetRecStack.hs │ ├── List00.hs │ ├── ListConcat.hs │ ├── ListElem.hs │ ├── ListKeys.hs │ ├── ListMSort.hs │ ├── ListRange.dat │ ├── ListRange.hs │ ├── Listne.hs │ ├── Lit.hs │ ├── LocalSpec.hs │ ├── LogNegTest.hs │ ├── Mapreduce.hs │ ├── Mapreduce_tiny.hs │ ├── Maps.hs │ ├── Maybe.hs │ ├── MaybeMonad.hs │ ├── Meas0.hs │ ├── Meas2.hs │ ├── Meas3.hs │ ├── Meas7.hs │ ├── Meas9.hs │ ├── MeasureContains.hs │ ├── MeasureDups.hs │ ├── MergeSort.hs │ ├── Monad3.hs │ ├── Monad4.hs │ ├── Monad5.hs │ ├── Monad6.hs │ ├── Monad7.hs │ ├── Mr00.hs │ ├── MultiParamTypeClasses.hs │ ├── Multi_pred_app_00.hs │ ├── MultipleInvariants.hs │ ├── MyBag.hs │ ├── MyBagDefine.hs │ ├── NameResolution.hs │ ├── NestedRecursion.hs │ ├── NoExhaustiveGuardsError.hs │ ├── NoMethodBindingError.hs │ ├── Null.hs │ ├── Pair.hs │ ├── Pair0.hs │ ├── PairMeasure.hs │ ├── Pargs.hs │ ├── Pargs1.hs │ ├── Partial.hs │ ├── Poly0.hs │ ├── Poly1.hs │ ├── Poly2.hs │ ├── Poly2_degenerate.hs │ ├── Polypred.hs │ ├── Poslist.hs │ ├── Pred.hs │ ├── Propability.hs │ ├── Propability0.hs │ ├── Prune0.hs │ ├── QQTySig.hs │ ├── QQTySyn1.hs │ ├── QQTySyn2.hs │ ├── RG.hs │ ├── Range.hs │ ├── ReWrite.hs │ ├── ReWrite2.hs │ ├── ReWrite3.hs │ ├── ReWrite4.hs │ ├── Rebind.hs │ ├── RecQSort.hs │ ├── RecSelector.hs │ ├── Record0.hs │ ├── RefCtor.hs │ ├── RefinedProp.hs │ ├── Revshape.hs │ ├── Risers.hs │ ├── SafePartialFunctions.hs │ ├── SinNegTest.hs │ ├── Solver.hs │ ├── SqrtNegTest.hs │ ├── Stacks.hs │ ├── State0.hs │ ├── State00.hs │ ├── StateConstraints.hs │ ├── StateConstraints0.hs │ ├── StateConstraints00.hs │ ├── StrictPair0.hs │ ├── StrictPair1.hs │ ├── String00.hs │ ├── Strings.hs │ ├── SumPoly.hs │ ├── Sumk.hquals │ ├── Sumk.hs │ ├── T1095C.hs │ ├── T1126.hs │ ├── T1198_3.hs │ ├── T1267.hs │ ├── T1286.hs │ ├── T1288.hs │ ├── T1490.hs │ ├── T1490A.hs │ ├── T1498.hs │ ├── T1498A.hs │ ├── T1546.hs │ ├── T1553.hs │ ├── T1553A.hs │ ├── T1555.hs │ ├── T1577.hs │ ├── T1604.hs │ ├── T1613.hs │ ├── T1642A.hs │ ├── T1657.hs │ ├── T1657A.hs │ ├── T1659.hs │ ├── T1814.hs │ ├── T1907.hs │ ├── T602.hs │ ├── T743.hs │ ├── T743_mini.hs │ ├── TermReal.hs │ ├── TerminationNum.hs │ ├── TerminationNum0.hs │ ├── Test00.hs │ ├── Test00a.hs │ ├── Test00b.hs │ ├── Test00c.hs │ ├── Test1.hs │ ├── Test2.hs │ ├── TopLevel.hs │ ├── TotalHaskell.hs │ ├── Trans.hs │ ├── Truespec.hs │ ├── Tyclass0_unsafe.hs │ ├── TypeLitNat.hs │ ├── Variance.hs │ ├── Variance1.hs │ ├── Vector00.hs │ ├── Vector0a.hs │ ├── Vector1a.hs │ ├── Vector2.hs │ ├── VerifiedNum.hs │ ├── Wrap0.hs │ └── Wrap1.hs ├── parser │ └── pos │ │ ├── NestedTuples.hs │ │ ├── Parens.hs │ │ ├── ReflectedInfix.hs │ │ ├── T1012.hs │ │ ├── T1481.hs │ │ ├── T1531.hs │ │ ├── T338.hs │ │ ├── T871.hs │ │ ├── T873.hs │ │ ├── T884.hs │ │ ├── T892.hs │ │ ├── TokensAsPrefixes.hs │ │ └── Tuples.hs ├── parsing-errors │ ├── EmptySig.hs │ ├── ParseBind.hs │ ├── ParseClass.hs │ └── app │ │ └── Main.hs ├── pattern │ └── pos │ │ ├── ANF.hs │ │ ├── Contra0.hs │ │ ├── Invariants.hs │ │ ├── Monad0.hs │ │ ├── Monad1.hs │ │ ├── Monad7.hs │ │ ├── MultipleInvariants.hs │ │ ├── Return00.hs │ │ ├── Return01.hs │ │ ├── ReturnStrata00.hs │ │ ├── TemplateHaskell.hs │ │ └── TemplateHaskellLib.hs ├── ple │ ├── neg │ │ ├── BinahQuery.hs │ │ ├── BinahUpdate.hs │ │ ├── BinahUpdateClient.hs │ │ ├── BinahUpdateLib.hs │ │ ├── BinahUpdateLib1.hs │ │ ├── ExactGADT5.hs │ │ ├── Ple0.hs │ │ ├── Ple_sum.hs │ │ ├── ReflectDefault.hs │ │ ├── T1173.hs │ │ ├── T1192.hs │ │ ├── T1289.hs │ │ ├── T1371_Tick.hs │ │ ├── T1409.hs │ │ └── T1424.hs │ └── pos │ │ ├── BinahQuery.hs │ │ ├── BinahUpdate.hs │ │ ├── CCDep.hs │ │ ├── Compiler.hs │ │ ├── ExactGADT4.hs │ │ ├── ExactGADT5.hs │ │ ├── ExactGADT7.hs │ │ ├── FilterPLE.hs │ │ ├── Fulcrum.hs │ │ ├── FuseMap.hs │ │ ├── FuseMapLam.hs │ │ ├── IndLast.hs │ │ ├── IndPal0.hs │ │ ├── IndPal00.hs │ │ ├── IndPalindrome.hs │ │ ├── IndPerm.hs │ │ ├── IndStar.hs │ │ ├── IndStarHole.hs │ │ ├── Isort_erase.hs │ │ ├── ListAnd.hs │ │ ├── ListPolySet.hs │ │ ├── Lists.hs │ │ ├── MJFix.hs │ │ ├── MergeSort.hs │ │ ├── MonadCont.hs │ │ ├── MonadList.hs │ │ ├── MonadReader.hs │ │ ├── MonadState.hs │ │ ├── MossakaBug.hs │ │ ├── NNFPiotr.hs │ │ ├── NegNormalForm.hs │ │ ├── PadLeft.hs │ │ ├── Permutations.hs │ │ ├── Ple0.hs │ │ ├── PleORM.hs │ │ ├── Ple_sum.hs │ │ ├── PolySetBar.hs │ │ ├── PolySetFoo.hs │ │ ├── ProposalLocalRewrites.hs │ │ ├── ReaderEta.hs │ │ ├── ReflectDefault.hs │ │ ├── RegexpDerivative.hs │ │ ├── RosePLEDiv.hs │ │ ├── SKIDC.hs │ │ ├── SKIEta.hs │ │ ├── SKIIdx.hs │ │ ├── SKILam.hs │ │ ├── STLC0.hs │ │ ├── STLC1.hs │ │ ├── STLC2.hs │ │ ├── STLCB0.hs │ │ ├── STLCB1.hs │ │ ├── StackCompiler.hs │ │ ├── StlcBug.hs │ │ ├── T1173.hs │ │ ├── T1190.hs │ │ ├── T1257.hs │ │ ├── T1289.hs │ │ ├── T1302b.hs │ │ ├── T1371.hs │ │ ├── T1371_NNF.hs │ │ ├── T1382.hs │ │ ├── T1409.hs │ │ ├── T1424.hs │ │ ├── T1424A.hs │ │ ├── T2582.hs │ │ ├── Tmp.hs │ │ └── Tmp1.hs ├── pos │ ├── AVL.hs │ ├── AVLRJ.hs │ ├── Abs.hs │ ├── AbsPosTest.hs │ ├── Absref_crash.hs │ ├── Absref_crash0.hs │ ├── Ackermann.hs │ ├── Adt0.hs │ ├── AdtList0.hs │ ├── AdtList1.hs │ ├── AdtList2.hs │ ├── AdtList3.hs │ ├── AdtList4.hs │ ├── AdtList5.hs │ ├── AdtPeano0.hs │ ├── AdtPeano1.hs │ ├── Alias00.hs │ ├── Alias01.hs │ ├── AllowUnsafeCtor.hs │ ├── Alphaconvert_List.hs │ ├── Alphaconvert_Set.hs │ ├── AmortizedQueue.hs │ ├── Anfbug.hs │ ├── Anftest.hs │ ├── Anish1.hs │ ├── Assume.hs │ ├── AssumedRecursive.hs │ ├── AutoSize.hs │ ├── AutoTerm.hs │ ├── AutoTerm1.hs │ ├── Automate.hs │ ├── Avg.hs │ ├── BST.hs │ ├── BST000.hs │ ├── Bag1.hs │ ├── BangPatterns.hs │ ├── BinarySearch.hs │ ├── BinarySearchOverflow.hs │ ├── Books.hs │ ├── Bool0.hs │ ├── Bool1.hs │ ├── Bool2.hs │ ├── Bounds1.hs │ ├── Card.hs │ ├── Case_lambda_join.hs │ ├── CasesToLogic.hs │ ├── Cat.hs │ ├── CharLiterals.hs │ ├── CheckedNum.hs │ ├── CheckedNumLib.hs │ ├── Chunks.hs │ ├── Class.hs │ ├── Class2.hs │ ├── ClassReg.hs │ ├── Client521.hs │ ├── ClojurVector.hs │ ├── Cmptag0.hs │ ├── Coercion.hs │ ├── Coercion1.hs │ ├── Comma.hs │ ├── CommentedOut.hs │ ├── Compare.hs │ ├── Compare1.hs │ ├── Compare2.hs │ ├── CompareConstraints.hs │ ├── Comprehension.hs │ ├── ComprehensionTerm.hs │ ├── Constraints.hs │ ├── ConstraintsAppend.hs │ ├── Coretologic.hs │ ├── CosPosTest.hs │ ├── CountMonad.hs │ ├── Csgordon_issue_296.hs │ ├── Cut00.hs │ ├── DB00.hs │ ├── Data2.hs │ ├── DataBase.hs │ ├── DataConQuals.hs │ ├── Datacon0.hs │ ├── Datacon1.hs │ ├── Datacon_inv.hs │ ├── Deepmeas0.hs │ ├── DepData.hs │ ├── DepTriples.hs │ ├── DependentPairs.hs │ ├── DependentPairsFun.hs │ ├── Deptup.hs │ ├── Deptup1.hs │ ├── Deptup1.pred │ ├── Deptup3.hs │ ├── DeptupW.hs │ ├── Div000.hs │ ├── Dropwhile.hs │ ├── Duplicate_bind.hs │ ├── Elements.hs │ ├── Elems.hs │ ├── Elim00.hs │ ├── Elim01.hs │ ├── Elim_ex_compose.hs │ ├── Elim_ex_let.hs │ ├── Elim_ex_list.hs │ ├── Elim_ex_map_1.hs │ ├── Elim_ex_map_2.hs │ ├── Elim_ex_map_3.hs │ ├── Eq_poly_measure.hs │ ├── Eqelems.hs │ ├── Eval.hs │ ├── EvalQuery.hs │ ├── Even.hs │ ├── Even0.hs │ ├── Ex0.hs │ ├── Ex01.hs │ ├── Ex1.hs │ ├── ExactADT6.hs │ ├── ExactGADT.hs │ ├── ExactGADT0.hs │ ├── ExactGADT1.hs │ ├── ExactGADT2.hs │ ├── ExactGADT6.hs │ ├── Exp0.hs │ ├── ExpPosTest.hs │ ├── ExponentialPosTest.hs │ ├── ExponentiationPosTest.hs │ ├── Extype.hs │ ├── FFI.hs │ ├── Fail.hs │ ├── FailName.hs │ ├── FancyMutualTerm.hs │ ├── FancyTerm.hs │ ├── Fib0.hs │ ├── FibEq.hs │ ├── FilterAbs.hs │ ├── FingerTree.hs │ ├── FoldN.hs │ ├── Foldl.hs │ ├── Foldr.hs │ ├── Foo.hs │ ├── For.hs │ ├── Forloop.hs │ ├── Fractional.hs │ ├── FractionalInstance.hs │ ├── GCD.hs │ ├── GadtEval.hs │ ├── GeneralizedTermination.hs │ ├── GhcSort1.hs │ ├── GhcSort2.hs │ ├── GhcSort3.hs │ ├── GhcSort3_T.hs │ ├── Gimme.hs │ ├── Go.hs │ ├── Go_ugly_type.hs │ ├── GoodHMeas.hs │ ├── Graph.hs │ ├── Grty0.hs │ ├── Grty1.hs │ ├── Grty2.hs │ ├── Grty3.hs │ ├── GuardedNegative.hs │ ├── HasElem.hs │ ├── HaskellMeasure.hs │ ├── HedgeUnion.hs │ ├── Hello.hs │ ├── Hex00.hs │ ├── HigherOrderRecFun.hs │ ├── Hole00.hs │ ├── Hole_app.hs │ ├── Hole_fun.hs │ ├── Holes.hs │ ├── Holes_Slicing.hs │ ├── Hutton.hs │ ├── IcfpDemo.hs │ ├── IdNat.hs │ ├── IdNat0.hs │ ├── Ignores.hs │ ├── Imp0.hs │ ├── Implies.hs │ ├── Infinity.hs │ ├── Infix.hs │ ├── Inline.hs │ ├── Inline1.hs │ ├── Invlhs.hs │ ├── Ite.hs │ ├── Ite1.hs │ ├── Jeff.hs │ ├── KMeansHelper.hs │ ├── Keys.hs │ ├── Kmp.hs │ ├── KmpIO.hs │ ├── KmpVec.hs │ ├── LNot.hs │ ├── LambdaDeBruijn.hs │ ├── LambdaEval.hs │ ├── LambdaEvalMini.hs │ ├── LambdaEvalSuperTiny.hs │ ├── LambdaEvalTiny.hs │ ├── LazyWhere.hs │ ├── LazyWhere1.hs │ ├── Lets.hs │ ├── Lex.hs │ ├── Lib521.hs │ ├── ListAnf.hs │ ├── ListConcat.hs │ ├── ListElem.hs │ ├── ListISort_bag.hs │ ├── ListISort_perm.hs │ ├── ListKeys.hs │ ├── ListLen.hs │ ├── ListLen_LType.hs │ ├── ListMSort.hs │ ├── ListMSort_LType.hs │ ├── ListQSort_LType.hs │ ├── ListRange.hs │ ├── ListRange_LType.hs │ ├── ListReverse_LType.hs │ ├── ListSet.hs │ ├── ListSetDemo.hs │ ├── ListSort.hs │ ├── Listqual.hs │ ├── Lit.hs │ ├── Lit00.hs │ ├── Lit02.hs │ ├── LocalHole.hs │ ├── LocalLazy.hs │ ├── LocalSpec.hs │ ├── LocalSpecLib.hs │ ├── LogPosTest.hs │ ├── LogicCurry1.hs │ ├── Loo.hs │ ├── LooLib.hs │ ├── LooLibLib.hs │ ├── Malformed0.hs │ ├── Map.hs │ ├── Map0.hs │ ├── Map2.hs │ ├── MapFusion.hs │ ├── MapReduceVerified.hs │ ├── MapTvCrash.hs │ ├── Mapreduce_bare.hs │ ├── Maps.hs │ ├── Maps1.hs │ ├── MaskError.hs │ ├── Maybe.hs │ ├── Maybe0.hs │ ├── Maybe000.hs │ ├── Maybe1.hs │ ├── Maybe2.hs │ ├── Maybe3.hs │ ├── Maybe4.hs │ ├── Maybe5.hs │ ├── Meas0.hs │ ├── Meas00.hs │ ├── Meas00a.hs │ ├── Meas0a.hs │ ├── Meas1.hs │ ├── Meas10.hs │ ├── Meas11.hs │ ├── Meas12.hs │ ├── Meas2.hs │ ├── Meas4.hs │ ├── Meas5.hs │ ├── Meas6.hs │ ├── Meas7.hs │ ├── Meas8.hs │ ├── Meas9.hs │ ├── MeasureContains.hs │ ├── MeasureDups.hs │ ├── MeasureSets.hs │ ├── Measures.hs │ ├── Measures1.hs │ ├── Merge1.hs │ ├── MergeSort.hs │ ├── MergeSort_bag.hs │ ├── Mod.hs │ ├── ModLib.hs │ ├── ModTest.hs │ ├── Monad2.hs │ ├── Monad5.hs │ ├── Monad6.hs │ ├── Multi_pred_app_00.hs │ ├── Mutrec.hs │ ├── MutualRec.hs │ ├── MutuallyDependentADT.hs │ ├── MyBag.hs │ ├── MyBagDefine.hs │ ├── Nats.hs │ ├── Niki.hs │ ├── Niki1.hs │ ├── NoCaseExpand.hs │ ├── NoExhaustiveGuardsError.hs │ ├── NoPositivityCheck.hs │ ├── Null.hs │ ├── NumRefl.hs │ ├── NumRefl1.hs │ ├── ORM.hs │ ├── OrdList.hs │ ├── Pair.hs │ ├── Pair0.hs │ ├── Pair00.hs │ ├── PairMeasure.hs │ ├── PairMeasure0.hs │ ├── Pargs.hs │ ├── Pargs1.hs │ ├── Partial_tycon.hs │ ├── Partialmeasure.hs │ ├── Permutation.hs │ ├── PersistentVector.hs │ ├── Ple1.hs │ ├── PointDist.hs │ ├── Poly0.hs │ ├── Poly1.hs │ ├── Poly2.hs │ ├── Poly2_degenerate.hs │ ├── Poly3.hs │ ├── Poly3a.hs │ ├── Poly4.hs │ ├── PolyBag.hs │ ├── PolySet.hs │ ├── Polyfun.hs │ ├── Polyqual.hs │ ├── PositivityCheck.hs │ ├── Poslist.hs │ ├── Poslist_dc.hs │ ├── Pragma0.hs │ ├── Pred.hs │ ├── PrimInt0.hs │ ├── Product.hs │ ├── Profcrasher.hs │ ├── PromotedDataCons.hs │ ├── Propability.hs │ ├── Propmeasure.hs │ ├── Propmeasure1.hs │ ├── QQTySig.hs │ ├── QQTySigTyVars.hs │ ├── QQTySyn.hs │ ├── QualTest.hs │ ├── RBTree.hs │ ├── RBTree_col_height.hs │ ├── RBTree_color.hs │ ├── RBTree_height.hs │ ├── RBTree_ord.hs │ ├── Range.hs │ ├── Range1.hs │ ├── RangeAdt.hs │ ├── ReWrite.hs │ ├── ReWrite10.hs │ ├── ReWrite2.hs │ ├── ReWrite3.hs │ ├── ReWrite4.hs │ ├── ReWrite5.hs │ ├── ReWrite6.hs │ ├── ReWrite7.hs │ ├── ReWrite8.hs │ ├── ReWrite9.hs │ ├── RealProps.hs │ ├── Rebind.hs │ ├── RecQSort.hs │ ├── RecQSort0.hs │ ├── RecSelector.hs │ ├── Rec_annot_go.hs │ ├── Record0.hs │ ├── Record1.hs │ ├── RecordSelectorError.hs │ ├── Recursion0.hs │ ├── Reduction.hs │ ├── RefinedADTs.hs │ ├── Reflect0.hs │ ├── ReflectAlias.hs │ ├── ReflectBooleanFunctions.hs │ ├── ReflectMutual.hs │ ├── RelativeComplete.hs │ ├── Repeat.hs │ ├── RepeatHigherOrder.hs │ ├── Resolve.hs │ ├── ResolveA.hs │ ├── ResolveALib.hs │ ├── ResolveB.hs │ ├── ResolveBLib.hs │ ├── ResolvePred.hs │ ├── Rest.hs │ ├── Risers.hs │ ├── Rta.hs │ ├── SafePartialFunctions.hs │ ├── Scanr.hs │ ├── SelfList.hs │ ├── SimplerNotation.hs │ ├── SimplifyTup00.hs │ ├── SinPosTest.hs │ ├── SingletonLists.hs │ ├── Solver.hs │ ├── Spec0.hs │ ├── SqrtPosTest.hs │ ├── StackClass.hs │ ├── StackMachine.hs │ ├── Stacks0.hs │ ├── State.hquals │ ├── State.hs │ ├── State00.hs │ ├── StateConstraints.hs │ ├── StateConstraints0.hs │ ├── StateConstraints00.hs │ ├── StateF00.hs │ ├── StateInvarint.hs │ ├── StateLib.hs │ ├── StratVal.hs │ ├── Streams.hs │ ├── StrictPair0.hs │ ├── StrictPair1.hs │ ├── String00.hs │ ├── StringLit.hs │ ├── Strings.hs │ ├── StructRec.hs │ ├── Sum.hs │ ├── T1013.hs │ ├── T1013A.hs │ ├── T1024.hs │ ├── T1025.hs │ ├── T1025a.hs │ ├── T1034.hs │ ├── T1045.hs │ ├── T1045.hs-boot │ ├── T1045a.hs │ ├── T1045aLib.hs │ ├── T1060.hs │ ├── T1065.hs │ ├── T1074.hs │ ├── T1085.hs │ ├── T1092.hs │ ├── T1095A.hs │ ├── T1095B.hs │ ├── T1095C.hs │ ├── T1100.hs │ ├── T1120A.hs │ ├── T1126.hs │ ├── T1126a.hs │ ├── T1198_1.hs │ ├── T1198_2.hs │ ├── T1198_3.hs │ ├── T1198_4.hs │ ├── T1220.hs │ ├── T1223.hs │ ├── T1267.hs │ ├── T1278.hs │ ├── T1278_2.hs │ ├── T1278_3.hs │ ├── T1286.hs │ ├── T1288.hs │ ├── T1289a.hs │ ├── T1302.hs │ ├── T1336.hs │ ├── T1363.hs │ ├── T1461.hs │ ├── T1498.hs │ ├── T1543.hs │ ├── T1544.hs │ ├── T1547.hs │ ├── T1548.hs │ ├── T1550.hs │ ├── T1555.hs │ ├── T1556.hs │ ├── T1560.hs │ ├── T1560B.hs │ ├── T1567.hs │ ├── T1568.hs │ ├── T1571.hs │ ├── T1577.hs │ ├── T1593.hs │ ├── T1595.hs │ ├── T1597.hs │ ├── T1603.hs │ ├── T1633.hs │ ├── T1634.hs │ ├── T1636.hs │ ├── T1642.hs │ ├── T1642A.hs │ ├── T1647.hs │ ├── T1649MeasuresDef.hs │ ├── T1649WorkTypes.hs │ ├── T1657.hs │ ├── T1660.hs │ ├── T1669.hs │ ├── T1670A.hs │ ├── T1670B.hs │ ├── T1697.hs │ ├── T1697A.hs │ ├── T1697C.hs │ ├── T1708.hs │ ├── T1709.hs │ ├── T1749.hs │ ├── T1761.hs │ ├── T1775.hs │ ├── T1812.hs │ ├── T1874.hs │ ├── T2091.hs │ ├── T2093.hs │ ├── T2096.hs │ ├── T2235.hs │ ├── T2237.hs │ ├── T2404.hs │ ├── T2535.hs │ ├── T2535A.hs │ ├── T2579.hs │ ├── T385.hs │ ├── T531.hs │ ├── T595.hs │ ├── T595a.hs │ ├── T598.hs │ ├── T716.hs │ ├── T819.hs │ ├── T819A.hs │ ├── T820.hs │ ├── T866.hs │ ├── T914.hs │ ├── TagBinder.hs │ ├── Take.hs │ ├── Term.hs │ ├── Term0.hs │ ├── Termination.hs │ ├── TerminationNum.hs │ ├── TerminationNum0.hs │ ├── Test0.hs │ ├── Test00.hs │ ├── Test000.hs │ ├── Test00_int.hs │ ├── Test00_old.hs │ ├── Test00b.hs │ ├── Test00c.hs │ ├── Test1.hs │ ├── Test2.hs │ ├── Test761.hs │ ├── TestRec.hs │ ├── TokenType.hs │ ├── Top0.hs │ ├── TopLevel.hs │ ├── ToyMVar.hs │ ├── Trans.hs │ ├── TransTAG.hs │ ├── Transpose.hs │ ├── Tup0.hs │ ├── Tupparse.hs │ ├── TyExpr.hs │ ├── Tyclass0.hs │ ├── Tyfam0.hs │ ├── TypeAlias.hs │ ├── TypeLitNat.hs │ ├── TypeLitString.hs │ ├── Tyvar.hs │ ├── UnboxedTuples.hs │ ├── UnboxedTuplesAndTH.hs │ ├── UndecidedGuards.hs │ ├── Unusedtyvars.hs │ ├── Variance.hs │ ├── Variance2.hs │ ├── Vector00.hs │ ├── Vector1.hs │ ├── Vector1a.hs │ ├── Vector1b.hs │ ├── Vector2.hs │ ├── VerifiedNum.hs │ ├── WBL.hs │ ├── WBL0.hs │ ├── WhyLH.hs │ ├── Words.hs │ ├── Words1.hs │ ├── Wrap0.hs │ ├── Wrap1.hs │ ├── WrapUnWrap.hs │ ├── ZipSO.hs │ ├── ZipW.hs │ ├── ZipW1.hs │ ├── ZipW2.hs │ ├── Zipper.hs │ ├── Zipper0.hs │ ├── Zipper000.hs │ ├── listSet.hquals │ └── test000.hs.hquals ├── refined-classes │ ├── semigroup.hs │ ├── semigroup_desugared.hs │ └── semigroup_unsound.hs ├── reflect │ ├── neg │ │ ├── DoubleLit.hs │ │ ├── ReflString0.hs │ │ └── ReflString1.hs │ └── pos │ │ ├── DoubleLit.hs │ │ ├── QuotRemInt.hs │ │ ├── ReflString0.hs │ │ ├── ReflString1.hs │ │ └── T2405.hs ├── relational │ ├── neg │ │ ├── Abs.hs │ │ ├── ApSum.hs │ │ ├── ApSumAsync.hs │ │ ├── Axiom.hs │ │ ├── CaseOnRec.hs │ │ ├── CheckedImp.hs │ │ └── SndOrdPred.hs │ ├── pos │ │ ├── Abs.hs │ │ ├── AsynchCase.hs │ │ ├── Axiom.hs │ │ ├── CheckedImp.hs │ │ ├── Isort.hs │ │ ├── MapFusion.hs │ │ ├── MutRec.hs │ │ └── SndOrdPredNonRel.hs │ └── rtest ├── spec │ ├── neg │ │ └── Compose1.hs │ └── pos │ │ ├── BS1.hs │ │ ├── Compose.hs │ │ └── Compose1.hs ├── stack_driver │ └── driver.hs ├── strings │ ├── neg │ │ └── StringIndexingStep1.hs │ ├── pos │ │ ├── DivideAndQunquer.hs │ │ ├── ProvesLib.hs │ │ ├── StringIndexing.hs │ │ ├── StringIndexingStep1.hs │ │ ├── StringIndexingStep2.hs │ │ ├── StringIndexingStep3.hs │ │ └── StringLib.hs │ └── todo │ │ ├── Boyer_Moore.hs │ │ └── StringIndexing.hs ├── tasty │ ├── ErrorFilterReportTests.hs │ └── Main.hs ├── terminate │ ├── neg │ │ ├── AutoTerm.hs │ │ ├── Div.hs │ │ ├── Even.hs │ │ ├── Qsloop.hs │ │ ├── Rename.hs │ │ ├── Sum.hs │ │ ├── T1404_0.hs │ │ ├── T1404_1.hs │ │ ├── T1404_2.hs │ │ ├── T1404_3.hs │ │ ├── T745.hs │ │ ├── Term00.hs │ │ ├── TestRec.hs │ │ ├── Total00.hs │ │ ├── Total01.hs │ │ └── Total02.hs │ └── pos │ │ ├── Ackermann.hs │ │ ├── AutoTerm.hs │ │ ├── Div.hs │ │ ├── Lexicographic.hs │ │ ├── List00.hs │ │ ├── List00_local.hs │ │ ├── List00_str.hs │ │ ├── List01.hs │ │ ├── List02.hs │ │ ├── List03.hs │ │ ├── List04.hs │ │ ├── List04_local.hs │ │ ├── List05_local.hs │ │ ├── LocalTermExpr.hs │ │ ├── StructSecondArg.hs │ │ ├── Sum.hs │ │ ├── T1245.hs │ │ ├── T1396_0.hs │ │ ├── T1396_1.hs │ │ ├── T1403.hs │ │ └── Term00.hs ├── tests.cabal ├── tmp │ ├── Class2.hs │ ├── Class3.hs │ ├── LiquidR.hs │ ├── LiquidR2.hs │ ├── Mode.hs │ ├── T776.hs │ └── T777.hs ├── todo-rebare │ ├── DataKinds.hs │ ├── Inst01_UNSAFE.hs │ ├── NatClass.hs │ ├── Strata.hs │ ├── T1089b.hs │ ├── VerifiedMonoid_NEG.hs │ └── VerifiedMonoid_POS.hs ├── todo │ ├── 12-case-study-AVL.lhs │ ├── 2013-01-10-measuring-lists-I.lhs │ ├── AALib.hs │ ├── AVLTree.hs │ ├── AbsRef.hs │ ├── AbsRefNameClash.hs │ ├── Adt0.hs │ ├── AdtBin.hs │ ├── Aliases.hs │ ├── AmortizedQueue.hs │ ├── Append.hs │ ├── Append0.hs │ ├── ApplicativeMaybe0.hs │ ├── ApplicativeMaybe1.hs │ ├── Ast.hs │ ├── AxiomBug.hs │ ├── AxiomatizeLib.hs │ ├── BadArguments.hs │ ├── Box.hs │ ├── Braun.hs │ ├── CatMaybes.hs │ ├── CheckProofs.hs │ ├── Class1.hs │ ├── Class2.hs │ ├── Class3.hs │ ├── Class4Import.hs │ ├── Class4Lib.hs │ ├── ClassMeasureBAD.hs │ ├── ClassMeasureIdeal.hs │ ├── ClassMeasureOK.hs │ ├── ClassReflect.hs │ ├── CmpBug.hs │ ├── CountMonadMap.hs │ ├── DB0.hs │ ├── DBMovies0.hs │ ├── DerivingRead.hs │ ├── DiffCheck.hs │ ├── Eff0.hs │ ├── Eff1.hs │ ├── Eff2.hs │ ├── EffSTTLib.hs │ ├── Ensure.hs │ ├── EnumFromTo.hs │ ├── EquationalLib.hs │ ├── ExactGADT3.hs │ ├── ExactGADT5.hs │ ├── ExactGADT6.hs │ ├── FixCrash.hs │ ├── FldBug.hs │ ├── GhcListSort.hs │ ├── ImportBoundLib.hs │ ├── ImportReflected.hs │ ├── ImportedNumericInstances.hs │ ├── IncrLib.hs │ ├── InfiniteLists.hs │ ├── InfixClient.hs │ ├── InfixLib.hs │ ├── InlineMeasure.hs │ ├── IntInvariants.hs │ ├── Interpreter.hs │ ├── Intervals.hs │ ├── InvBug.hs │ ├── Invariants.hs │ ├── Invariants1.hs │ ├── Invariants2.hs │ ├── InvariantsTermination.hs │ ├── LambdaDeBruijn.hs │ ├── LambdaDeBruijn0.hs │ ├── LazyVar.hs │ ├── LetRecStack.hs │ ├── ListDataCons-Neg.hs │ ├── ListDataCons-Pos.hs │ ├── ListDataCons.hs │ ├── ListMem.hs │ ├── LocalRecursiveFuns.hs │ ├── LocalSpec1.hs │ ├── LocalSpecImport.hs │ ├── LocalSpecLib.hs │ ├── LocalSpecTyVar.hs │ ├── LocalTermExpr1.hs │ ├── Machine.hs │ ├── Map-strict.hs │ ├── Map-wierd.hs │ ├── MaybeReflect0Lib.hs │ ├── MaybeReflect1Lib.hs │ ├── Means.hs │ ├── Measure.hs │ ├── MeasureImport.hs │ ├── MissingAbsRefArgs.hs │ ├── NameClash.hs │ ├── NativeFixCrash.hs │ ├── NeuralNetwork.hs │ ├── NewType00.hs │ ├── NoInlines.hs │ ├── NoInstance.hs │ ├── NotesOnProductivityTest.hs │ ├── Parse.hs │ ├── Parse1.hs │ ├── PartialAbsApplication.hs │ ├── Plus.hs │ ├── PositivityCases.hs │ ├── QualifCheck.hs │ ├── RG.hs │ ├── Recursion.hs │ ├── Recursion1.hs │ ├── RedBlack.hs │ ├── RefinedData.hs │ ├── RefinedEquality.hs │ ├── ReflImp.hs │ ├── RegexpDerivative.hs │ ├── SMTDiverge.hs │ ├── SS.hs │ ├── SYB_Literals.hs │ ├── SearchTree.hs │ ├── SelfRefPredicates.hs │ ├── Signal.hs │ ├── SortedLists.lhs │ ├── StateConstraints.hs │ ├── Strings.hs │ ├── SubType.hs │ ├── SuperClassBounds.hs │ ├── T1037A.hs │ ├── T1037B.hs │ ├── T1037C.hs │ ├── T1089.hs │ ├── T1094_Lib.hs │ ├── T1109.hs │ ├── T1189.hs │ ├── T1278.1.hs │ ├── T1326A.hs │ ├── T1326B.hs │ ├── T1326C.hs │ ├── T1481.hs │ ├── T1549.hs │ ├── T1551.hs │ ├── T1555.hs │ ├── T1649.hs │ ├── T2076.hs │ ├── T658.hs │ ├── T765.hs │ ├── T770.hs │ ├── T771.hs │ ├── T772.hs │ ├── T776.hs │ ├── T781.hs │ ├── T791.hs │ ├── T791a.hs │ ├── T870.hs │ ├── T995.hs │ ├── T996.hs │ ├── T997.hs │ ├── T997a.hs │ ├── Theorems0.hs │ ├── Times.hs │ ├── TreeMap.hs │ ├── TreeMap0.hs │ ├── TypeError.hs │ ├── TypeFun.hs │ ├── TypeSynonyms.hs │ ├── UnboundSigs.hs │ ├── UnboundVarInAssume1.hs │ ├── UnfoldDataCons.hs │ ├── Unsound.hs │ ├── UnsoundMeasure.hs │ ├── Until.hs │ ├── UseBound.hs │ ├── VerifiedNum.hs │ ├── WBL-crash.hs │ ├── When.hs │ ├── absref-crash0.hs │ ├── aliasConst.hs │ ├── aliasError.hs │ ├── appCheck.hs │ ├── apply.hs │ ├── baderror.hs │ ├── baffled.hs │ ├── binsearch.hs │ ├── boolparse.hs │ ├── cases.hs │ ├── cont.hs │ ├── contra.hs │ ├── decr.hs │ ├── doubleError.hs │ ├── dyn.hs │ ├── empty-or.hs │ ├── err0.hs │ ├── err1.hs │ ├── err10.hs │ ├── err11.hs │ ├── err12.hs │ ├── err13.hs │ ├── err2.hs │ ├── err3.hs │ ├── err4.hs │ ├── err5.hs │ ├── err6.hs │ ├── err7.hs │ ├── err8.hs │ ├── err9.hs │ ├── existsAbs.hs │ ├── false.hs │ ├── fft.hs │ ├── fio.hs │ ├── fixme.lhs │ ├── funrec.hs │ ├── gadtEval.hs │ ├── if.hs │ ├── inccheck0.hs │ ├── intP.hs │ ├── kmpMonad.hs │ ├── liftbug.hs │ ├── linspace-crash.hs │ ├── linspace.hs │ ├── list-screen.hs │ ├── lit01.hs │ ├── mapreduce.hs │ ├── maps.hs │ ├── maybe0.hs │ ├── maybe0000.hs │ ├── maybe4.hs │ ├── measbug.hs │ ├── measfield.hs │ ├── overload.hs │ ├── partialmeasureOld.hs │ ├── ptr.hs │ ├── ptr2.hs │ ├── ptr3.hs │ ├── read.hs │ ├── satsolver.hs │ ├── satsolver0.hs │ ├── splash-total.hs │ ├── splash-vector.hs │ ├── stacks1.hs │ ├── state.hs │ ├── tdb.hs │ ├── trans.lhs │ ├── tupleplus.hs │ ├── txrec0.hs │ └── vector2.hs └── typeclasses │ └── pos │ ├── All.hs │ ├── Lemma.hs │ ├── Lib.hs │ ├── PNat.hs │ └── SemigroupLib.hs └── typeclass-tests ├── Data ├── All.hs ├── All │ └── Semigroup.hs ├── Any.hs ├── Any │ └── Semigroup.hs ├── Dual.hs ├── Dual │ └── Semigroup.hs ├── Either.hs ├── Either │ └── Functor.hs ├── Endo.hs ├── Endo │ └── Semigroup.hs ├── Foldable │ └── Classes.hs ├── Function.hs ├── Functor.hs ├── Functor │ ├── Classes.hs │ ├── Const.hs │ ├── Const │ │ ├── Foldable.hs │ │ └── Functor.hs │ ├── Identity.hs │ ├── Identity │ │ ├── Foldable.hs │ │ ├── Functor.hs │ │ └── Semigroup.hs │ ├── State.hs │ └── State │ │ └── Functor.hs ├── Lattice.hs ├── List.hs ├── List │ ├── Foldable.hs │ ├── Functor.hs │ ├── NonEmpty.hs │ └── Semigroup.hs ├── Maybe.hs ├── Maybe │ ├── Foldable.hs │ ├── Functor.hs │ └── Semigroup.hs ├── Num │ └── Semigroup.hs ├── PNat.hs ├── PNat │ └── Semigroup.hs ├── Proxy.hs ├── Reader.hs ├── Reader │ └── Functor.hs ├── Semigroup │ └── Classes.hs ├── Successors.hs └── Successors │ └── Functor.hs └── Liquid └── ProofCombinators.hs /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/.ghci -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/.gitmodules -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/.hlint.yaml -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/LICENSE -------------------------------------------------------------------------------- /LICENSE_Z3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/LICENSE_Z3 -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/Setup.hs -------------------------------------------------------------------------------- /Syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/Syntax.md -------------------------------------------------------------------------------- /TODO.EASY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/TODO.EASY.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/TODO.md -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/cabal.project -------------------------------------------------------------------------------- /cleanup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/cleanup -------------------------------------------------------------------------------- /docs/blog/todo/Iso.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/blog/todo/Iso.lhs -------------------------------------------------------------------------------- /docs/language/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/language/Makefile -------------------------------------------------------------------------------- /docs/language/main.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/language/main.pdf -------------------------------------------------------------------------------- /docs/language/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/language/main.tex -------------------------------------------------------------------------------- /docs/mkDocs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/mkDocs/README.md -------------------------------------------------------------------------------- /docs/mkDocs/docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/mkDocs/docs/index.md -------------------------------------------------------------------------------- /docs/mkDocs/mkdocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/mkDocs/mkdocs.yml -------------------------------------------------------------------------------- /docs/slides/ETH14/cleanup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/slides/ETH14/cleanup -------------------------------------------------------------------------------- /docs/slides/IHP14/cleanup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/slides/IHP14/cleanup -------------------------------------------------------------------------------- /docs/slides/NEU14/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/slides/NEU14/Eval.hs -------------------------------------------------------------------------------- /docs/slides/niki/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/docs/slides/niki/Makefile -------------------------------------------------------------------------------- /external/hsmisc/Graphs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/external/hsmisc/Graphs.hs -------------------------------------------------------------------------------- /external/hsmisc/Lhs2Hs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/external/hsmisc/Lhs2Hs.hs -------------------------------------------------------------------------------- /files/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/files/README.md -------------------------------------------------------------------------------- /files/main.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/files/main.css -------------------------------------------------------------------------------- /liquid-parallel/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/liquid-parallel/LICENSE -------------------------------------------------------------------------------- /liquid-parallel/Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/liquid-parallel/Setup.hs -------------------------------------------------------------------------------- /liquid-prelude/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/liquid-prelude/LICENSE -------------------------------------------------------------------------------- /liquid-prelude/Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/liquid-prelude/Setup.hs -------------------------------------------------------------------------------- /liquid-vector/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/liquid-vector/LICENSE -------------------------------------------------------------------------------- /liquid-vector/Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/liquid-vector/Setup.hs -------------------------------------------------------------------------------- /liquidhaskell.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/liquidhaskell.cabal -------------------------------------------------------------------------------- /nixpkgs.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/nixpkgs.nix -------------------------------------------------------------------------------- /resources/icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/resources/icon.png -------------------------------------------------------------------------------- /resources/icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/resources/icon.svg -------------------------------------------------------------------------------- /resources/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/resources/logo.png -------------------------------------------------------------------------------- /resources/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/resources/logo.svg -------------------------------------------------------------------------------- /scripts/ghc.head/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/scripts/ghc.head/build.sh -------------------------------------------------------------------------------- /scripts/haskell_count: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/scripts/haskell_count -------------------------------------------------------------------------------- /scripts/head.hackage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/scripts/head.hackage.sh -------------------------------------------------------------------------------- /scripts/metrics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/scripts/metrics.py -------------------------------------------------------------------------------- /scripts/travis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/scripts/travis -------------------------------------------------------------------------------- /src/LiquidHaskell.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/src/LiquidHaskell.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/stack.yaml.lock -------------------------------------------------------------------------------- /tests-by-syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests-by-syntax.md -------------------------------------------------------------------------------- /tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/README.md -------------------------------------------------------------------------------- /tests/TestCommits.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/TestCommits.hs -------------------------------------------------------------------------------- /tests/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/app/Main.hs -------------------------------------------------------------------------------- /tests/basic/neg/Inc01.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/basic/neg/Inc01.hs -------------------------------------------------------------------------------- /tests/basic/neg/Inc01q.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/basic/neg/Inc01q.hs -------------------------------------------------------------------------------- /tests/basic/neg/Inc02.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/basic/neg/Inc02.hs -------------------------------------------------------------------------------- /tests/basic/neg/Inc03.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/basic/neg/Inc03.hs -------------------------------------------------------------------------------- /tests/basic/neg/Inc04.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/basic/neg/Inc04.hs -------------------------------------------------------------------------------- /tests/basic/neg/List00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/basic/neg/List00.hs -------------------------------------------------------------------------------- /tests/benchmarks/containers-0.5.0.0/benchmarks/LookupGE/Makefile: -------------------------------------------------------------------------------- 1 | TOP = .. 2 | 3 | include ../Makefile 4 | -------------------------------------------------------------------------------- /tests/benchmarks/cse230/README.md: -------------------------------------------------------------------------------- 1 | Retrieved from: https://github.com/ucsd-progsys/230-wi19-web/ 2 | -------------------------------------------------------------------------------- /tests/benchmarks/hmatrix-0.15.0.1/LICENSE: -------------------------------------------------------------------------------- 1 | Copyright Alberto Ruiz 2006-2007 2 | GPL license 3 | -------------------------------------------------------------------------------- /tests/benchmarks/llrbtree-0.1.1/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /tests/benchmarks/stitch-lh/.gitignore: -------------------------------------------------------------------------------- 1 | dist 2 | dist-newstyle 3 | *.swp 4 | -------------------------------------------------------------------------------- /tests/benchmarks/unordered-containers-0.2.1.0/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /tests/benchmarks/vector-0.10.0.1/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | 4 | -------------------------------------------------------------------------------- /tests/errors/BadGADT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/BadGADT.hs -------------------------------------------------------------------------------- /tests/errors/BadSig0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/BadSig0.hs -------------------------------------------------------------------------------- /tests/errors/BadSig1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/BadSig1.hs -------------------------------------------------------------------------------- /tests/errors/BadSyn1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/BadSyn1.hs -------------------------------------------------------------------------------- /tests/errors/BadSyn2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/BadSyn2.hs -------------------------------------------------------------------------------- /tests/errors/BadSyn3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/BadSyn3.hs -------------------------------------------------------------------------------- /tests/errors/BadSyn4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/BadSyn4.hs -------------------------------------------------------------------------------- /tests/errors/DupData.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/DupData.hs -------------------------------------------------------------------------------- /tests/errors/T1140.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/T1140.hs -------------------------------------------------------------------------------- /tests/errors/T1498.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/T1498.hs -------------------------------------------------------------------------------- /tests/errors/T1498A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/T1498A.hs -------------------------------------------------------------------------------- /tests/errors/T2346.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/T2346.hs -------------------------------------------------------------------------------- /tests/errors/T773.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/T773.hs -------------------------------------------------------------------------------- /tests/errors/T774.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/errors/T774.hs -------------------------------------------------------------------------------- /tests/ffi-include/foo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ffi-include/foo.c -------------------------------------------------------------------------------- /tests/ffi-include/foo.h: -------------------------------------------------------------------------------- 1 | int foo(int); 2 | -------------------------------------------------------------------------------- /tests/import/deps/D.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/import/deps/D.hs -------------------------------------------------------------------------------- /tests/import/lib/B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/import/lib/B.hs -------------------------------------------------------------------------------- /tests/logs/gradual.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/logs/gradual.csv -------------------------------------------------------------------------------- /tests/logs/slowdown.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/logs/slowdown.csv -------------------------------------------------------------------------------- /tests/name-resolution/pos/A.hs: -------------------------------------------------------------------------------- 1 | module A where 2 | 3 | data Ty = TInt 4 | -------------------------------------------------------------------------------- /tests/names/neg/Nat1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/names/neg/Nat1.hs -------------------------------------------------------------------------------- /tests/names/neg/Nat2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/names/neg/Nat2.hs -------------------------------------------------------------------------------- /tests/names/pos/Nat1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/names/pos/Nat1.hs -------------------------------------------------------------------------------- /tests/names/pos/Nat2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/names/pos/Nat2.hs -------------------------------------------------------------------------------- /tests/names/pos/Ord.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/names/pos/Ord.hs -------------------------------------------------------------------------------- /tests/names/pos/T675.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/names/pos/T675.hs -------------------------------------------------------------------------------- /tests/neg/AbsApp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/AbsApp.hs -------------------------------------------------------------------------------- /tests/neg/AbsNegTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/AbsNegTest.hs -------------------------------------------------------------------------------- /tests/neg/AdtPeano0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/AdtPeano0.hs -------------------------------------------------------------------------------- /tests/neg/AdtPeano1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/AdtPeano1.hs -------------------------------------------------------------------------------- /tests/neg/Alias00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Alias00.hs -------------------------------------------------------------------------------- /tests/neg/Ass0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Ass0.hs -------------------------------------------------------------------------------- /tests/neg/Ast.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Ast.hs -------------------------------------------------------------------------------- /tests/neg/AutoSize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/AutoSize.hs -------------------------------------------------------------------------------- /tests/neg/AutoTerm1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/AutoTerm1.hs -------------------------------------------------------------------------------- /tests/neg/Automate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Automate.hs -------------------------------------------------------------------------------- /tests/neg/BadNats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/BadNats.hs -------------------------------------------------------------------------------- /tests/neg/Bag1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Bag1.hs -------------------------------------------------------------------------------- /tests/neg/Baz.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Baz.hs -------------------------------------------------------------------------------- /tests/neg/BigNum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/BigNum.hs -------------------------------------------------------------------------------- /tests/neg/Books.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Books.hs -------------------------------------------------------------------------------- /tests/neg/Card.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Card.hs -------------------------------------------------------------------------------- /tests/neg/CheckedNum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/CheckedNum.hs -------------------------------------------------------------------------------- /tests/neg/Class1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Class1.hs -------------------------------------------------------------------------------- /tests/neg/Class2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Class2.hs -------------------------------------------------------------------------------- /tests/neg/Class3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Class3.hs -------------------------------------------------------------------------------- /tests/neg/Class4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Class4.hs -------------------------------------------------------------------------------- /tests/neg/Concat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Concat.hs -------------------------------------------------------------------------------- /tests/neg/Concat1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Concat1.hs -------------------------------------------------------------------------------- /tests/neg/Concat2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Concat2.hs -------------------------------------------------------------------------------- /tests/neg/Contra0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Contra0.hs -------------------------------------------------------------------------------- /tests/neg/CosNegTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/CosNegTest.hs -------------------------------------------------------------------------------- /tests/neg/Csv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Csv.hs -------------------------------------------------------------------------------- /tests/neg/Datacon_eq.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Datacon_eq.hs -------------------------------------------------------------------------------- /tests/neg/Elim000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Elim000.hs -------------------------------------------------------------------------------- /tests/neg/Errmsg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Errmsg.hs -------------------------------------------------------------------------------- /tests/neg/Errorloc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Errorloc.hs -------------------------------------------------------------------------------- /tests/neg/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Eval.hs -------------------------------------------------------------------------------- /tests/neg/EvalQuery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/EvalQuery.hs -------------------------------------------------------------------------------- /tests/neg/Ex0_unsafe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Ex0_unsafe.hs -------------------------------------------------------------------------------- /tests/neg/Ex1_unsafe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Ex1_unsafe.hs -------------------------------------------------------------------------------- /tests/neg/ExactADT6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ExactADT6.hs -------------------------------------------------------------------------------- /tests/neg/ExactGADT6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ExactGADT6.hs -------------------------------------------------------------------------------- /tests/neg/ExactGADT7.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ExactGADT7.hs -------------------------------------------------------------------------------- /tests/neg/ExpNegTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ExpNegTest.hs -------------------------------------------------------------------------------- /tests/neg/Fail.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Fail.hs -------------------------------------------------------------------------------- /tests/neg/Fail1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Fail1.hs -------------------------------------------------------------------------------- /tests/neg/FancyTerm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/FancyTerm.hs -------------------------------------------------------------------------------- /tests/neg/FilterAbs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/FilterAbs.hs -------------------------------------------------------------------------------- /tests/neg/FoldN.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/FoldN.hs -------------------------------------------------------------------------------- /tests/neg/FoldN1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/FoldN1.hs -------------------------------------------------------------------------------- /tests/neg/Grty0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Grty0.hs -------------------------------------------------------------------------------- /tests/neg/Grty1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Grty1.hs -------------------------------------------------------------------------------- /tests/neg/Grty2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Grty2.hs -------------------------------------------------------------------------------- /tests/neg/Grty3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Grty3.hs -------------------------------------------------------------------------------- /tests/neg/HasElem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/HasElem.hs -------------------------------------------------------------------------------- /tests/neg/Hex00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Hex00.hs -------------------------------------------------------------------------------- /tests/neg/HolesTop.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/HolesTop.hs -------------------------------------------------------------------------------- /tests/neg/Inc2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Inc2.hs -------------------------------------------------------------------------------- /tests/neg/IntAbsRef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/IntAbsRef.hs -------------------------------------------------------------------------------- /tests/neg/LazyWhere.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/LazyWhere.hs -------------------------------------------------------------------------------- /tests/neg/LazyWhere1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/LazyWhere1.hs -------------------------------------------------------------------------------- /tests/neg/List00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/List00.hs -------------------------------------------------------------------------------- /tests/neg/ListConcat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ListConcat.hs -------------------------------------------------------------------------------- /tests/neg/ListElem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ListElem.hs -------------------------------------------------------------------------------- /tests/neg/ListKeys.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ListKeys.hs -------------------------------------------------------------------------------- /tests/neg/ListMSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ListMSort.hs -------------------------------------------------------------------------------- /tests/neg/ListRange.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ListRange.dat -------------------------------------------------------------------------------- /tests/neg/ListRange.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ListRange.hs -------------------------------------------------------------------------------- /tests/neg/Listne.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Listne.hs -------------------------------------------------------------------------------- /tests/neg/Lit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Lit.hs -------------------------------------------------------------------------------- /tests/neg/LocalSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/LocalSpec.hs -------------------------------------------------------------------------------- /tests/neg/LogNegTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/LogNegTest.hs -------------------------------------------------------------------------------- /tests/neg/Mapreduce.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Mapreduce.hs -------------------------------------------------------------------------------- /tests/neg/Maps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Maps.hs -------------------------------------------------------------------------------- /tests/neg/Maybe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Maybe.hs -------------------------------------------------------------------------------- /tests/neg/MaybeMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/MaybeMonad.hs -------------------------------------------------------------------------------- /tests/neg/Meas0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Meas0.hs -------------------------------------------------------------------------------- /tests/neg/Meas2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Meas2.hs -------------------------------------------------------------------------------- /tests/neg/Meas3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Meas3.hs -------------------------------------------------------------------------------- /tests/neg/Meas7.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Meas7.hs -------------------------------------------------------------------------------- /tests/neg/Meas9.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Meas9.hs -------------------------------------------------------------------------------- /tests/neg/MergeSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/MergeSort.hs -------------------------------------------------------------------------------- /tests/neg/Monad3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Monad3.hs -------------------------------------------------------------------------------- /tests/neg/Monad4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Monad4.hs -------------------------------------------------------------------------------- /tests/neg/Monad5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Monad5.hs -------------------------------------------------------------------------------- /tests/neg/Monad6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Monad6.hs -------------------------------------------------------------------------------- /tests/neg/Monad7.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Monad7.hs -------------------------------------------------------------------------------- /tests/neg/Mr00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Mr00.hs -------------------------------------------------------------------------------- /tests/neg/MyBag.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/MyBag.hs -------------------------------------------------------------------------------- /tests/neg/Null.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Null.hs -------------------------------------------------------------------------------- /tests/neg/Pair.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Pair.hs -------------------------------------------------------------------------------- /tests/neg/Pair0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Pair0.hs -------------------------------------------------------------------------------- /tests/neg/Pargs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Pargs.hs -------------------------------------------------------------------------------- /tests/neg/Pargs1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Pargs1.hs -------------------------------------------------------------------------------- /tests/neg/Partial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Partial.hs -------------------------------------------------------------------------------- /tests/neg/Poly0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Poly0.hs -------------------------------------------------------------------------------- /tests/neg/Poly1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Poly1.hs -------------------------------------------------------------------------------- /tests/neg/Poly2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Poly2.hs -------------------------------------------------------------------------------- /tests/neg/Polypred.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Polypred.hs -------------------------------------------------------------------------------- /tests/neg/Poslist.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Poslist.hs -------------------------------------------------------------------------------- /tests/neg/Pred.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Pred.hs -------------------------------------------------------------------------------- /tests/neg/Prune0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Prune0.hs -------------------------------------------------------------------------------- /tests/neg/QQTySig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/QQTySig.hs -------------------------------------------------------------------------------- /tests/neg/QQTySyn1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/QQTySyn1.hs -------------------------------------------------------------------------------- /tests/neg/QQTySyn2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/QQTySyn2.hs -------------------------------------------------------------------------------- /tests/neg/RG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/RG.hs -------------------------------------------------------------------------------- /tests/neg/Range.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Range.hs -------------------------------------------------------------------------------- /tests/neg/ReWrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ReWrite.hs -------------------------------------------------------------------------------- /tests/neg/ReWrite2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ReWrite2.hs -------------------------------------------------------------------------------- /tests/neg/ReWrite3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ReWrite3.hs -------------------------------------------------------------------------------- /tests/neg/ReWrite4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/ReWrite4.hs -------------------------------------------------------------------------------- /tests/neg/Rebind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Rebind.hs -------------------------------------------------------------------------------- /tests/neg/RecQSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/RecQSort.hs -------------------------------------------------------------------------------- /tests/neg/Record0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Record0.hs -------------------------------------------------------------------------------- /tests/neg/RefCtor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/RefCtor.hs -------------------------------------------------------------------------------- /tests/neg/Revshape.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Revshape.hs -------------------------------------------------------------------------------- /tests/neg/Risers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Risers.hs -------------------------------------------------------------------------------- /tests/neg/SinNegTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/SinNegTest.hs -------------------------------------------------------------------------------- /tests/neg/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Solver.hs -------------------------------------------------------------------------------- /tests/neg/Stacks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Stacks.hs -------------------------------------------------------------------------------- /tests/neg/State0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/State0.hs -------------------------------------------------------------------------------- /tests/neg/State00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/State00.hs -------------------------------------------------------------------------------- /tests/neg/String00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/String00.hs -------------------------------------------------------------------------------- /tests/neg/Strings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Strings.hs -------------------------------------------------------------------------------- /tests/neg/SumPoly.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/SumPoly.hs -------------------------------------------------------------------------------- /tests/neg/Sumk.hquals: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Sumk.hquals -------------------------------------------------------------------------------- /tests/neg/Sumk.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Sumk.hs -------------------------------------------------------------------------------- /tests/neg/T1095C.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1095C.hs -------------------------------------------------------------------------------- /tests/neg/T1126.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1126.hs -------------------------------------------------------------------------------- /tests/neg/T1198_3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1198_3.hs -------------------------------------------------------------------------------- /tests/neg/T1267.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1267.hs -------------------------------------------------------------------------------- /tests/neg/T1286.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1286.hs -------------------------------------------------------------------------------- /tests/neg/T1288.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1288.hs -------------------------------------------------------------------------------- /tests/neg/T1490.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1490.hs -------------------------------------------------------------------------------- /tests/neg/T1490A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1490A.hs -------------------------------------------------------------------------------- /tests/neg/T1498.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1498.hs -------------------------------------------------------------------------------- /tests/neg/T1498A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1498A.hs -------------------------------------------------------------------------------- /tests/neg/T1546.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1546.hs -------------------------------------------------------------------------------- /tests/neg/T1553.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1553.hs -------------------------------------------------------------------------------- /tests/neg/T1553A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1553A.hs -------------------------------------------------------------------------------- /tests/neg/T1555.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1555.hs -------------------------------------------------------------------------------- /tests/neg/T1577.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1577.hs -------------------------------------------------------------------------------- /tests/neg/T1604.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1604.hs -------------------------------------------------------------------------------- /tests/neg/T1613.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1613.hs -------------------------------------------------------------------------------- /tests/neg/T1642A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1642A.hs -------------------------------------------------------------------------------- /tests/neg/T1657.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1657.hs -------------------------------------------------------------------------------- /tests/neg/T1657A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1657A.hs -------------------------------------------------------------------------------- /tests/neg/T1659.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1659.hs -------------------------------------------------------------------------------- /tests/neg/T1814.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1814.hs -------------------------------------------------------------------------------- /tests/neg/T1907.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T1907.hs -------------------------------------------------------------------------------- /tests/neg/T602.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T602.hs -------------------------------------------------------------------------------- /tests/neg/T743.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T743.hs -------------------------------------------------------------------------------- /tests/neg/T743_mini.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/T743_mini.hs -------------------------------------------------------------------------------- /tests/neg/TermReal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/TermReal.hs -------------------------------------------------------------------------------- /tests/neg/Test00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Test00.hs -------------------------------------------------------------------------------- /tests/neg/Test00a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Test00a.hs -------------------------------------------------------------------------------- /tests/neg/Test00b.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Test00b.hs -------------------------------------------------------------------------------- /tests/neg/Test00c.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Test00c.hs -------------------------------------------------------------------------------- /tests/neg/Test1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Test1.hs -------------------------------------------------------------------------------- /tests/neg/Test2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Test2.hs -------------------------------------------------------------------------------- /tests/neg/TopLevel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/TopLevel.hs -------------------------------------------------------------------------------- /tests/neg/Trans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Trans.hs -------------------------------------------------------------------------------- /tests/neg/Truespec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Truespec.hs -------------------------------------------------------------------------------- /tests/neg/TypeLitNat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/TypeLitNat.hs -------------------------------------------------------------------------------- /tests/neg/Variance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Variance.hs -------------------------------------------------------------------------------- /tests/neg/Variance1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Variance1.hs -------------------------------------------------------------------------------- /tests/neg/Vector00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Vector00.hs -------------------------------------------------------------------------------- /tests/neg/Vector0a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Vector0a.hs -------------------------------------------------------------------------------- /tests/neg/Vector1a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Vector1a.hs -------------------------------------------------------------------------------- /tests/neg/Vector2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Vector2.hs -------------------------------------------------------------------------------- /tests/neg/Wrap0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Wrap0.hs -------------------------------------------------------------------------------- /tests/neg/Wrap1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/neg/Wrap1.hs -------------------------------------------------------------------------------- /tests/ple/neg/Ple0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/neg/Ple0.hs -------------------------------------------------------------------------------- /tests/ple/neg/T1173.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/neg/T1173.hs -------------------------------------------------------------------------------- /tests/ple/neg/T1192.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/neg/T1192.hs -------------------------------------------------------------------------------- /tests/ple/neg/T1289.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/neg/T1289.hs -------------------------------------------------------------------------------- /tests/ple/neg/T1409.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/neg/T1409.hs -------------------------------------------------------------------------------- /tests/ple/neg/T1424.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/neg/T1424.hs -------------------------------------------------------------------------------- /tests/ple/pos/CCDep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/CCDep.hs -------------------------------------------------------------------------------- /tests/ple/pos/Lists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/Lists.hs -------------------------------------------------------------------------------- /tests/ple/pos/MJFix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/MJFix.hs -------------------------------------------------------------------------------- /tests/ple/pos/Ple0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/Ple0.hs -------------------------------------------------------------------------------- /tests/ple/pos/PleORM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/PleORM.hs -------------------------------------------------------------------------------- /tests/ple/pos/SKIDC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/SKIDC.hs -------------------------------------------------------------------------------- /tests/ple/pos/SKIEta.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/SKIEta.hs -------------------------------------------------------------------------------- /tests/ple/pos/SKIIdx.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/SKIIdx.hs -------------------------------------------------------------------------------- /tests/ple/pos/SKILam.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/SKILam.hs -------------------------------------------------------------------------------- /tests/ple/pos/STLC0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/STLC0.hs -------------------------------------------------------------------------------- /tests/ple/pos/STLC1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/STLC1.hs -------------------------------------------------------------------------------- /tests/ple/pos/STLC2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/STLC2.hs -------------------------------------------------------------------------------- /tests/ple/pos/STLCB0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/STLCB0.hs -------------------------------------------------------------------------------- /tests/ple/pos/STLCB1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/STLCB1.hs -------------------------------------------------------------------------------- /tests/ple/pos/T1173.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T1173.hs -------------------------------------------------------------------------------- /tests/ple/pos/T1190.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T1190.hs -------------------------------------------------------------------------------- /tests/ple/pos/T1257.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T1257.hs -------------------------------------------------------------------------------- /tests/ple/pos/T1289.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T1289.hs -------------------------------------------------------------------------------- /tests/ple/pos/T1302b.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T1302b.hs -------------------------------------------------------------------------------- /tests/ple/pos/T1371.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T1371.hs -------------------------------------------------------------------------------- /tests/ple/pos/T1382.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T1382.hs -------------------------------------------------------------------------------- /tests/ple/pos/T1409.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T1409.hs -------------------------------------------------------------------------------- /tests/ple/pos/T1424.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T1424.hs -------------------------------------------------------------------------------- /tests/ple/pos/T1424A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T1424A.hs -------------------------------------------------------------------------------- /tests/ple/pos/T2582.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/T2582.hs -------------------------------------------------------------------------------- /tests/ple/pos/Tmp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/Tmp.hs -------------------------------------------------------------------------------- /tests/ple/pos/Tmp1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/ple/pos/Tmp1.hs -------------------------------------------------------------------------------- /tests/pos/AVL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AVL.hs -------------------------------------------------------------------------------- /tests/pos/AVLRJ.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AVLRJ.hs -------------------------------------------------------------------------------- /tests/pos/Abs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Abs.hs -------------------------------------------------------------------------------- /tests/pos/AbsPosTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AbsPosTest.hs -------------------------------------------------------------------------------- /tests/pos/Ackermann.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Ackermann.hs -------------------------------------------------------------------------------- /tests/pos/Adt0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Adt0.hs -------------------------------------------------------------------------------- /tests/pos/AdtList0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AdtList0.hs -------------------------------------------------------------------------------- /tests/pos/AdtList1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AdtList1.hs -------------------------------------------------------------------------------- /tests/pos/AdtList2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AdtList2.hs -------------------------------------------------------------------------------- /tests/pos/AdtList3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AdtList3.hs -------------------------------------------------------------------------------- /tests/pos/AdtList4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AdtList4.hs -------------------------------------------------------------------------------- /tests/pos/AdtList5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AdtList5.hs -------------------------------------------------------------------------------- /tests/pos/AdtPeano0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AdtPeano0.hs -------------------------------------------------------------------------------- /tests/pos/AdtPeano1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AdtPeano1.hs -------------------------------------------------------------------------------- /tests/pos/Alias00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Alias00.hs -------------------------------------------------------------------------------- /tests/pos/Alias01.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Alias01.hs -------------------------------------------------------------------------------- /tests/pos/Anfbug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Anfbug.hs -------------------------------------------------------------------------------- /tests/pos/Anftest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Anftest.hs -------------------------------------------------------------------------------- /tests/pos/Anish1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Anish1.hs -------------------------------------------------------------------------------- /tests/pos/Assume.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Assume.hs -------------------------------------------------------------------------------- /tests/pos/AutoSize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AutoSize.hs -------------------------------------------------------------------------------- /tests/pos/AutoTerm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AutoTerm.hs -------------------------------------------------------------------------------- /tests/pos/AutoTerm1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/AutoTerm1.hs -------------------------------------------------------------------------------- /tests/pos/Automate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Automate.hs -------------------------------------------------------------------------------- /tests/pos/Avg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Avg.hs -------------------------------------------------------------------------------- /tests/pos/BST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/BST.hs -------------------------------------------------------------------------------- /tests/pos/BST000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/BST000.hs -------------------------------------------------------------------------------- /tests/pos/Bag1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Bag1.hs -------------------------------------------------------------------------------- /tests/pos/Books.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Books.hs -------------------------------------------------------------------------------- /tests/pos/Bool0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Bool0.hs -------------------------------------------------------------------------------- /tests/pos/Bool1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Bool1.hs -------------------------------------------------------------------------------- /tests/pos/Bool2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Bool2.hs -------------------------------------------------------------------------------- /tests/pos/Bounds1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Bounds1.hs -------------------------------------------------------------------------------- /tests/pos/Card.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Card.hs -------------------------------------------------------------------------------- /tests/pos/Cat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Cat.hs -------------------------------------------------------------------------------- /tests/pos/CheckedNum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/CheckedNum.hs -------------------------------------------------------------------------------- /tests/pos/Chunks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Chunks.hs -------------------------------------------------------------------------------- /tests/pos/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Class.hs -------------------------------------------------------------------------------- /tests/pos/Class2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Class2.hs -------------------------------------------------------------------------------- /tests/pos/ClassReg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ClassReg.hs -------------------------------------------------------------------------------- /tests/pos/Client521.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Client521.hs -------------------------------------------------------------------------------- /tests/pos/Cmptag0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Cmptag0.hs -------------------------------------------------------------------------------- /tests/pos/Coercion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Coercion.hs -------------------------------------------------------------------------------- /tests/pos/Coercion1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Coercion1.hs -------------------------------------------------------------------------------- /tests/pos/Comma.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Comma.hs -------------------------------------------------------------------------------- /tests/pos/Compare.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Compare.hs -------------------------------------------------------------------------------- /tests/pos/Compare1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Compare1.hs -------------------------------------------------------------------------------- /tests/pos/Compare2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Compare2.hs -------------------------------------------------------------------------------- /tests/pos/CosPosTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/CosPosTest.hs -------------------------------------------------------------------------------- /tests/pos/CountMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/CountMonad.hs -------------------------------------------------------------------------------- /tests/pos/Cut00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Cut00.hs -------------------------------------------------------------------------------- /tests/pos/DB00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/DB00.hs -------------------------------------------------------------------------------- /tests/pos/Data2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Data2.hs -------------------------------------------------------------------------------- /tests/pos/DataBase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/DataBase.hs -------------------------------------------------------------------------------- /tests/pos/Datacon0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Datacon0.hs -------------------------------------------------------------------------------- /tests/pos/Datacon1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Datacon1.hs -------------------------------------------------------------------------------- /tests/pos/Deepmeas0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Deepmeas0.hs -------------------------------------------------------------------------------- /tests/pos/DepData.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/DepData.hs -------------------------------------------------------------------------------- /tests/pos/DepTriples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/DepTriples.hs -------------------------------------------------------------------------------- /tests/pos/Deptup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Deptup.hs -------------------------------------------------------------------------------- /tests/pos/Deptup1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Deptup1.hs -------------------------------------------------------------------------------- /tests/pos/Deptup1.pred: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Deptup1.pred -------------------------------------------------------------------------------- /tests/pos/Deptup3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Deptup3.hs -------------------------------------------------------------------------------- /tests/pos/DeptupW.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/DeptupW.hs -------------------------------------------------------------------------------- /tests/pos/Div000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Div000.hs -------------------------------------------------------------------------------- /tests/pos/Dropwhile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Dropwhile.hs -------------------------------------------------------------------------------- /tests/pos/Elements.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Elements.hs -------------------------------------------------------------------------------- /tests/pos/Elems.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Elems.hs -------------------------------------------------------------------------------- /tests/pos/Elim00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Elim00.hs -------------------------------------------------------------------------------- /tests/pos/Elim01.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Elim01.hs -------------------------------------------------------------------------------- /tests/pos/Eqelems.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Eqelems.hs -------------------------------------------------------------------------------- /tests/pos/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Eval.hs -------------------------------------------------------------------------------- /tests/pos/EvalQuery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/EvalQuery.hs -------------------------------------------------------------------------------- /tests/pos/Even.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Even.hs -------------------------------------------------------------------------------- /tests/pos/Even0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Even0.hs -------------------------------------------------------------------------------- /tests/pos/Ex0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Ex0.hs -------------------------------------------------------------------------------- /tests/pos/Ex01.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Ex01.hs -------------------------------------------------------------------------------- /tests/pos/Ex1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Ex1.hs -------------------------------------------------------------------------------- /tests/pos/ExactADT6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ExactADT6.hs -------------------------------------------------------------------------------- /tests/pos/ExactGADT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ExactGADT.hs -------------------------------------------------------------------------------- /tests/pos/ExactGADT0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ExactGADT0.hs -------------------------------------------------------------------------------- /tests/pos/ExactGADT1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ExactGADT1.hs -------------------------------------------------------------------------------- /tests/pos/ExactGADT2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ExactGADT2.hs -------------------------------------------------------------------------------- /tests/pos/ExactGADT6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ExactGADT6.hs -------------------------------------------------------------------------------- /tests/pos/Exp0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Exp0.hs -------------------------------------------------------------------------------- /tests/pos/ExpPosTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ExpPosTest.hs -------------------------------------------------------------------------------- /tests/pos/Extype.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Extype.hs -------------------------------------------------------------------------------- /tests/pos/FFI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/FFI.hs -------------------------------------------------------------------------------- /tests/pos/Fail.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Fail.hs -------------------------------------------------------------------------------- /tests/pos/FailName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/FailName.hs -------------------------------------------------------------------------------- /tests/pos/FancyTerm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/FancyTerm.hs -------------------------------------------------------------------------------- /tests/pos/Fib0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Fib0.hs -------------------------------------------------------------------------------- /tests/pos/FibEq.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/FibEq.hs -------------------------------------------------------------------------------- /tests/pos/FilterAbs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/FilterAbs.hs -------------------------------------------------------------------------------- /tests/pos/FingerTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/FingerTree.hs -------------------------------------------------------------------------------- /tests/pos/FoldN.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/FoldN.hs -------------------------------------------------------------------------------- /tests/pos/Foldl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Foldl.hs -------------------------------------------------------------------------------- /tests/pos/Foldr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Foldr.hs -------------------------------------------------------------------------------- /tests/pos/Foo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Foo.hs -------------------------------------------------------------------------------- /tests/pos/For.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/For.hs -------------------------------------------------------------------------------- /tests/pos/Forloop.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Forloop.hs -------------------------------------------------------------------------------- /tests/pos/Fractional.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Fractional.hs -------------------------------------------------------------------------------- /tests/pos/GCD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/GCD.hs -------------------------------------------------------------------------------- /tests/pos/GadtEval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/GadtEval.hs -------------------------------------------------------------------------------- /tests/pos/GhcSort1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/GhcSort1.hs -------------------------------------------------------------------------------- /tests/pos/GhcSort2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/GhcSort2.hs -------------------------------------------------------------------------------- /tests/pos/GhcSort3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/GhcSort3.hs -------------------------------------------------------------------------------- /tests/pos/GhcSort3_T.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/GhcSort3_T.hs -------------------------------------------------------------------------------- /tests/pos/Gimme.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Gimme.hs -------------------------------------------------------------------------------- /tests/pos/Go.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Go.hs -------------------------------------------------------------------------------- /tests/pos/GoodHMeas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/GoodHMeas.hs -------------------------------------------------------------------------------- /tests/pos/Graph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Graph.hs -------------------------------------------------------------------------------- /tests/pos/Grty0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Grty0.hs -------------------------------------------------------------------------------- /tests/pos/Grty1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Grty1.hs -------------------------------------------------------------------------------- /tests/pos/Grty2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Grty2.hs -------------------------------------------------------------------------------- /tests/pos/Grty3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Grty3.hs -------------------------------------------------------------------------------- /tests/pos/HasElem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/HasElem.hs -------------------------------------------------------------------------------- /tests/pos/HedgeUnion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/HedgeUnion.hs -------------------------------------------------------------------------------- /tests/pos/Hello.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Hello.hs -------------------------------------------------------------------------------- /tests/pos/Hex00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Hex00.hs -------------------------------------------------------------------------------- /tests/pos/Hole00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Hole00.hs -------------------------------------------------------------------------------- /tests/pos/Hole_app.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Hole_app.hs -------------------------------------------------------------------------------- /tests/pos/Hole_fun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Hole_fun.hs -------------------------------------------------------------------------------- /tests/pos/Holes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Holes.hs -------------------------------------------------------------------------------- /tests/pos/Hutton.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Hutton.hs -------------------------------------------------------------------------------- /tests/pos/IcfpDemo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/IcfpDemo.hs -------------------------------------------------------------------------------- /tests/pos/IdNat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/IdNat.hs -------------------------------------------------------------------------------- /tests/pos/IdNat0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/IdNat0.hs -------------------------------------------------------------------------------- /tests/pos/Ignores.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Ignores.hs -------------------------------------------------------------------------------- /tests/pos/Imp0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Imp0.hs -------------------------------------------------------------------------------- /tests/pos/Implies.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Implies.hs -------------------------------------------------------------------------------- /tests/pos/Infinity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Infinity.hs -------------------------------------------------------------------------------- /tests/pos/Infix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Infix.hs -------------------------------------------------------------------------------- /tests/pos/Inline.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Inline.hs -------------------------------------------------------------------------------- /tests/pos/Inline1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Inline1.hs -------------------------------------------------------------------------------- /tests/pos/Invlhs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Invlhs.hs -------------------------------------------------------------------------------- /tests/pos/Ite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Ite.hs -------------------------------------------------------------------------------- /tests/pos/Ite1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Ite1.hs -------------------------------------------------------------------------------- /tests/pos/Jeff.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Jeff.hs -------------------------------------------------------------------------------- /tests/pos/Keys.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Keys.hs -------------------------------------------------------------------------------- /tests/pos/Kmp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Kmp.hs -------------------------------------------------------------------------------- /tests/pos/KmpIO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/KmpIO.hs -------------------------------------------------------------------------------- /tests/pos/KmpVec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/KmpVec.hs -------------------------------------------------------------------------------- /tests/pos/LNot.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/LNot.hs -------------------------------------------------------------------------------- /tests/pos/LambdaEval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/LambdaEval.hs -------------------------------------------------------------------------------- /tests/pos/LazyWhere.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/LazyWhere.hs -------------------------------------------------------------------------------- /tests/pos/LazyWhere1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/LazyWhere1.hs -------------------------------------------------------------------------------- /tests/pos/Lets.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Lets.hs -------------------------------------------------------------------------------- /tests/pos/Lex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Lex.hs -------------------------------------------------------------------------------- /tests/pos/Lib521.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Lib521.hs -------------------------------------------------------------------------------- /tests/pos/ListAnf.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ListAnf.hs -------------------------------------------------------------------------------- /tests/pos/ListConcat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ListConcat.hs -------------------------------------------------------------------------------- /tests/pos/ListElem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ListElem.hs -------------------------------------------------------------------------------- /tests/pos/ListKeys.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ListKeys.hs -------------------------------------------------------------------------------- /tests/pos/ListLen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ListLen.hs -------------------------------------------------------------------------------- /tests/pos/ListMSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ListMSort.hs -------------------------------------------------------------------------------- /tests/pos/ListRange.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ListRange.hs -------------------------------------------------------------------------------- /tests/pos/ListSet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ListSet.hs -------------------------------------------------------------------------------- /tests/pos/ListSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ListSort.hs -------------------------------------------------------------------------------- /tests/pos/Listqual.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Listqual.hs -------------------------------------------------------------------------------- /tests/pos/Lit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Lit.hs -------------------------------------------------------------------------------- /tests/pos/Lit00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Lit00.hs -------------------------------------------------------------------------------- /tests/pos/Lit02.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Lit02.hs -------------------------------------------------------------------------------- /tests/pos/LocalHole.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/LocalHole.hs -------------------------------------------------------------------------------- /tests/pos/LocalLazy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/LocalLazy.hs -------------------------------------------------------------------------------- /tests/pos/LocalSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/LocalSpec.hs -------------------------------------------------------------------------------- /tests/pos/LogPosTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/LogPosTest.hs -------------------------------------------------------------------------------- /tests/pos/Loo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Loo.hs -------------------------------------------------------------------------------- /tests/pos/LooLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/LooLib.hs -------------------------------------------------------------------------------- /tests/pos/LooLibLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/LooLibLib.hs -------------------------------------------------------------------------------- /tests/pos/Malformed0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Malformed0.hs -------------------------------------------------------------------------------- /tests/pos/Map.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Map.hs -------------------------------------------------------------------------------- /tests/pos/Map0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Map0.hs -------------------------------------------------------------------------------- /tests/pos/Map2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Map2.hs -------------------------------------------------------------------------------- /tests/pos/MapFusion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/MapFusion.hs -------------------------------------------------------------------------------- /tests/pos/MapTvCrash.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/MapTvCrash.hs -------------------------------------------------------------------------------- /tests/pos/Maps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Maps.hs -------------------------------------------------------------------------------- /tests/pos/Maps1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Maps1.hs -------------------------------------------------------------------------------- /tests/pos/MaskError.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/MaskError.hs -------------------------------------------------------------------------------- /tests/pos/Maybe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Maybe.hs -------------------------------------------------------------------------------- /tests/pos/Maybe0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Maybe0.hs -------------------------------------------------------------------------------- /tests/pos/Maybe000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Maybe000.hs -------------------------------------------------------------------------------- /tests/pos/Maybe1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Maybe1.hs -------------------------------------------------------------------------------- /tests/pos/Maybe2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Maybe2.hs -------------------------------------------------------------------------------- /tests/pos/Maybe3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Maybe3.hs -------------------------------------------------------------------------------- /tests/pos/Maybe4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Maybe4.hs -------------------------------------------------------------------------------- /tests/pos/Maybe5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Maybe5.hs -------------------------------------------------------------------------------- /tests/pos/Meas0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas0.hs -------------------------------------------------------------------------------- /tests/pos/Meas00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas00.hs -------------------------------------------------------------------------------- /tests/pos/Meas00a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas00a.hs -------------------------------------------------------------------------------- /tests/pos/Meas0a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas0a.hs -------------------------------------------------------------------------------- /tests/pos/Meas1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas1.hs -------------------------------------------------------------------------------- /tests/pos/Meas10.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas10.hs -------------------------------------------------------------------------------- /tests/pos/Meas11.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas11.hs -------------------------------------------------------------------------------- /tests/pos/Meas12.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas12.hs -------------------------------------------------------------------------------- /tests/pos/Meas2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas2.hs -------------------------------------------------------------------------------- /tests/pos/Meas4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas4.hs -------------------------------------------------------------------------------- /tests/pos/Meas5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas5.hs -------------------------------------------------------------------------------- /tests/pos/Meas6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas6.hs -------------------------------------------------------------------------------- /tests/pos/Meas7.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas7.hs -------------------------------------------------------------------------------- /tests/pos/Meas8.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas8.hs -------------------------------------------------------------------------------- /tests/pos/Meas9.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Meas9.hs -------------------------------------------------------------------------------- /tests/pos/Measures.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Measures.hs -------------------------------------------------------------------------------- /tests/pos/Measures1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Measures1.hs -------------------------------------------------------------------------------- /tests/pos/Merge1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Merge1.hs -------------------------------------------------------------------------------- /tests/pos/MergeSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/MergeSort.hs -------------------------------------------------------------------------------- /tests/pos/Mod.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Mod.hs -------------------------------------------------------------------------------- /tests/pos/ModLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ModLib.hs -------------------------------------------------------------------------------- /tests/pos/ModTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ModTest.hs -------------------------------------------------------------------------------- /tests/pos/Monad2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Monad2.hs -------------------------------------------------------------------------------- /tests/pos/Monad5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Monad5.hs -------------------------------------------------------------------------------- /tests/pos/Monad6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Monad6.hs -------------------------------------------------------------------------------- /tests/pos/Mutrec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Mutrec.hs -------------------------------------------------------------------------------- /tests/pos/MutualRec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/MutualRec.hs -------------------------------------------------------------------------------- /tests/pos/MyBag.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/MyBag.hs -------------------------------------------------------------------------------- /tests/pos/Nats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Nats.hs -------------------------------------------------------------------------------- /tests/pos/Niki.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Niki.hs -------------------------------------------------------------------------------- /tests/pos/Niki1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Niki1.hs -------------------------------------------------------------------------------- /tests/pos/Null.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Null.hs -------------------------------------------------------------------------------- /tests/pos/NumRefl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/NumRefl.hs -------------------------------------------------------------------------------- /tests/pos/NumRefl1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/NumRefl1.hs -------------------------------------------------------------------------------- /tests/pos/ORM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ORM.hs -------------------------------------------------------------------------------- /tests/pos/OrdList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/OrdList.hs -------------------------------------------------------------------------------- /tests/pos/Pair.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Pair.hs -------------------------------------------------------------------------------- /tests/pos/Pair0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Pair0.hs -------------------------------------------------------------------------------- /tests/pos/Pair00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Pair00.hs -------------------------------------------------------------------------------- /tests/pos/Pargs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Pargs.hs -------------------------------------------------------------------------------- /tests/pos/Pargs1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Pargs1.hs -------------------------------------------------------------------------------- /tests/pos/Ple1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Ple1.hs -------------------------------------------------------------------------------- /tests/pos/PointDist.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/PointDist.hs -------------------------------------------------------------------------------- /tests/pos/Poly0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Poly0.hs -------------------------------------------------------------------------------- /tests/pos/Poly1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Poly1.hs -------------------------------------------------------------------------------- /tests/pos/Poly2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Poly2.hs -------------------------------------------------------------------------------- /tests/pos/Poly3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Poly3.hs -------------------------------------------------------------------------------- /tests/pos/Poly3a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Poly3a.hs -------------------------------------------------------------------------------- /tests/pos/Poly4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Poly4.hs -------------------------------------------------------------------------------- /tests/pos/PolyBag.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/PolyBag.hs -------------------------------------------------------------------------------- /tests/pos/PolySet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/PolySet.hs -------------------------------------------------------------------------------- /tests/pos/Polyfun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Polyfun.hs -------------------------------------------------------------------------------- /tests/pos/Polyqual.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Polyqual.hs -------------------------------------------------------------------------------- /tests/pos/Poslist.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Poslist.hs -------------------------------------------------------------------------------- /tests/pos/Poslist_dc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Poslist_dc.hs -------------------------------------------------------------------------------- /tests/pos/Pragma0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Pragma0.hs -------------------------------------------------------------------------------- /tests/pos/Pred.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Pred.hs -------------------------------------------------------------------------------- /tests/pos/PrimInt0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/PrimInt0.hs -------------------------------------------------------------------------------- /tests/pos/Product.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Product.hs -------------------------------------------------------------------------------- /tests/pos/QQTySig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/QQTySig.hs -------------------------------------------------------------------------------- /tests/pos/QQTySyn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/QQTySyn.hs -------------------------------------------------------------------------------- /tests/pos/QualTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/QualTest.hs -------------------------------------------------------------------------------- /tests/pos/RBTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/RBTree.hs -------------------------------------------------------------------------------- /tests/pos/RBTree_ord.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/RBTree_ord.hs -------------------------------------------------------------------------------- /tests/pos/Range.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Range.hs -------------------------------------------------------------------------------- /tests/pos/Range1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Range1.hs -------------------------------------------------------------------------------- /tests/pos/RangeAdt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/RangeAdt.hs -------------------------------------------------------------------------------- /tests/pos/ReWrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ReWrite.hs -------------------------------------------------------------------------------- /tests/pos/ReWrite10.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ReWrite10.hs -------------------------------------------------------------------------------- /tests/pos/ReWrite2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ReWrite2.hs -------------------------------------------------------------------------------- /tests/pos/ReWrite3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ReWrite3.hs -------------------------------------------------------------------------------- /tests/pos/ReWrite4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ReWrite4.hs -------------------------------------------------------------------------------- /tests/pos/ReWrite5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ReWrite5.hs -------------------------------------------------------------------------------- /tests/pos/ReWrite6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ReWrite6.hs -------------------------------------------------------------------------------- /tests/pos/ReWrite7.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ReWrite7.hs -------------------------------------------------------------------------------- /tests/pos/ReWrite8.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ReWrite8.hs -------------------------------------------------------------------------------- /tests/pos/ReWrite9.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ReWrite9.hs -------------------------------------------------------------------------------- /tests/pos/RealProps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/RealProps.hs -------------------------------------------------------------------------------- /tests/pos/Rebind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Rebind.hs -------------------------------------------------------------------------------- /tests/pos/RecQSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/RecQSort.hs -------------------------------------------------------------------------------- /tests/pos/RecQSort0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/RecQSort0.hs -------------------------------------------------------------------------------- /tests/pos/Record0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Record0.hs -------------------------------------------------------------------------------- /tests/pos/Record1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Record1.hs -------------------------------------------------------------------------------- /tests/pos/Recursion0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Recursion0.hs -------------------------------------------------------------------------------- /tests/pos/Reduction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Reduction.hs -------------------------------------------------------------------------------- /tests/pos/Reflect0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Reflect0.hs -------------------------------------------------------------------------------- /tests/pos/Repeat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Repeat.hs -------------------------------------------------------------------------------- /tests/pos/Resolve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Resolve.hs -------------------------------------------------------------------------------- /tests/pos/ResolveA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ResolveA.hs -------------------------------------------------------------------------------- /tests/pos/ResolveB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ResolveB.hs -------------------------------------------------------------------------------- /tests/pos/Rest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Rest.hs -------------------------------------------------------------------------------- /tests/pos/Risers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Risers.hs -------------------------------------------------------------------------------- /tests/pos/Rta.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Rta.hs -------------------------------------------------------------------------------- /tests/pos/Scanr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Scanr.hs -------------------------------------------------------------------------------- /tests/pos/SelfList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/SelfList.hs -------------------------------------------------------------------------------- /tests/pos/SinPosTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/SinPosTest.hs -------------------------------------------------------------------------------- /tests/pos/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Solver.hs -------------------------------------------------------------------------------- /tests/pos/Spec0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Spec0.hs -------------------------------------------------------------------------------- /tests/pos/StackClass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/StackClass.hs -------------------------------------------------------------------------------- /tests/pos/Stacks0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Stacks0.hs -------------------------------------------------------------------------------- /tests/pos/State.hquals: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/State.hquals -------------------------------------------------------------------------------- /tests/pos/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/State.hs -------------------------------------------------------------------------------- /tests/pos/State00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/State00.hs -------------------------------------------------------------------------------- /tests/pos/StateF00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/StateF00.hs -------------------------------------------------------------------------------- /tests/pos/StateLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/StateLib.hs -------------------------------------------------------------------------------- /tests/pos/StratVal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/StratVal.hs -------------------------------------------------------------------------------- /tests/pos/Streams.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Streams.hs -------------------------------------------------------------------------------- /tests/pos/String00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/String00.hs -------------------------------------------------------------------------------- /tests/pos/StringLit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/StringLit.hs -------------------------------------------------------------------------------- /tests/pos/Strings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Strings.hs -------------------------------------------------------------------------------- /tests/pos/StructRec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/StructRec.hs -------------------------------------------------------------------------------- /tests/pos/Sum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Sum.hs -------------------------------------------------------------------------------- /tests/pos/T1013.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1013.hs -------------------------------------------------------------------------------- /tests/pos/T1013A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1013A.hs -------------------------------------------------------------------------------- /tests/pos/T1024.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1024.hs -------------------------------------------------------------------------------- /tests/pos/T1025.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1025.hs -------------------------------------------------------------------------------- /tests/pos/T1025a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1025a.hs -------------------------------------------------------------------------------- /tests/pos/T1034.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1034.hs -------------------------------------------------------------------------------- /tests/pos/T1045.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1045.hs -------------------------------------------------------------------------------- /tests/pos/T1045.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1045.hs-boot -------------------------------------------------------------------------------- /tests/pos/T1045a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1045a.hs -------------------------------------------------------------------------------- /tests/pos/T1045aLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1045aLib.hs -------------------------------------------------------------------------------- /tests/pos/T1060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1060.hs -------------------------------------------------------------------------------- /tests/pos/T1065.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1065.hs -------------------------------------------------------------------------------- /tests/pos/T1074.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1074.hs -------------------------------------------------------------------------------- /tests/pos/T1085.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1085.hs -------------------------------------------------------------------------------- /tests/pos/T1092.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1092.hs -------------------------------------------------------------------------------- /tests/pos/T1095A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1095A.hs -------------------------------------------------------------------------------- /tests/pos/T1095B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1095B.hs -------------------------------------------------------------------------------- /tests/pos/T1095C.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1095C.hs -------------------------------------------------------------------------------- /tests/pos/T1100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1100.hs -------------------------------------------------------------------------------- /tests/pos/T1120A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1120A.hs -------------------------------------------------------------------------------- /tests/pos/T1126.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1126.hs -------------------------------------------------------------------------------- /tests/pos/T1126a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1126a.hs -------------------------------------------------------------------------------- /tests/pos/T1198_1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1198_1.hs -------------------------------------------------------------------------------- /tests/pos/T1198_2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1198_2.hs -------------------------------------------------------------------------------- /tests/pos/T1198_3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1198_3.hs -------------------------------------------------------------------------------- /tests/pos/T1198_4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1198_4.hs -------------------------------------------------------------------------------- /tests/pos/T1220.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1220.hs -------------------------------------------------------------------------------- /tests/pos/T1223.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1223.hs -------------------------------------------------------------------------------- /tests/pos/T1267.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1267.hs -------------------------------------------------------------------------------- /tests/pos/T1278.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1278.hs -------------------------------------------------------------------------------- /tests/pos/T1278_2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1278_2.hs -------------------------------------------------------------------------------- /tests/pos/T1278_3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1278_3.hs -------------------------------------------------------------------------------- /tests/pos/T1286.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1286.hs -------------------------------------------------------------------------------- /tests/pos/T1288.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1288.hs -------------------------------------------------------------------------------- /tests/pos/T1289a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1289a.hs -------------------------------------------------------------------------------- /tests/pos/T1302.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1302.hs -------------------------------------------------------------------------------- /tests/pos/T1336.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1336.hs -------------------------------------------------------------------------------- /tests/pos/T1363.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1363.hs -------------------------------------------------------------------------------- /tests/pos/T1461.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1461.hs -------------------------------------------------------------------------------- /tests/pos/T1498.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1498.hs -------------------------------------------------------------------------------- /tests/pos/T1543.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1543.hs -------------------------------------------------------------------------------- /tests/pos/T1544.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1544.hs -------------------------------------------------------------------------------- /tests/pos/T1547.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1547.hs -------------------------------------------------------------------------------- /tests/pos/T1548.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1548.hs -------------------------------------------------------------------------------- /tests/pos/T1550.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1550.hs -------------------------------------------------------------------------------- /tests/pos/T1555.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1555.hs -------------------------------------------------------------------------------- /tests/pos/T1556.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1556.hs -------------------------------------------------------------------------------- /tests/pos/T1560.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1560.hs -------------------------------------------------------------------------------- /tests/pos/T1560B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1560B.hs -------------------------------------------------------------------------------- /tests/pos/T1567.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1567.hs -------------------------------------------------------------------------------- /tests/pos/T1568.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1568.hs -------------------------------------------------------------------------------- /tests/pos/T1571.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1571.hs -------------------------------------------------------------------------------- /tests/pos/T1577.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1577.hs -------------------------------------------------------------------------------- /tests/pos/T1593.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1593.hs -------------------------------------------------------------------------------- /tests/pos/T1595.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1595.hs -------------------------------------------------------------------------------- /tests/pos/T1597.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1597.hs -------------------------------------------------------------------------------- /tests/pos/T1603.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1603.hs -------------------------------------------------------------------------------- /tests/pos/T1633.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1633.hs -------------------------------------------------------------------------------- /tests/pos/T1634.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1634.hs -------------------------------------------------------------------------------- /tests/pos/T1636.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1636.hs -------------------------------------------------------------------------------- /tests/pos/T1642.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1642.hs -------------------------------------------------------------------------------- /tests/pos/T1642A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1642A.hs -------------------------------------------------------------------------------- /tests/pos/T1647.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1647.hs -------------------------------------------------------------------------------- /tests/pos/T1657.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1657.hs -------------------------------------------------------------------------------- /tests/pos/T1660.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1660.hs -------------------------------------------------------------------------------- /tests/pos/T1669.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1669.hs -------------------------------------------------------------------------------- /tests/pos/T1670A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1670A.hs -------------------------------------------------------------------------------- /tests/pos/T1670B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1670B.hs -------------------------------------------------------------------------------- /tests/pos/T1697.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1697.hs -------------------------------------------------------------------------------- /tests/pos/T1697A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1697A.hs -------------------------------------------------------------------------------- /tests/pos/T1697C.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1697C.hs -------------------------------------------------------------------------------- /tests/pos/T1708.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1708.hs -------------------------------------------------------------------------------- /tests/pos/T1709.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1709.hs -------------------------------------------------------------------------------- /tests/pos/T1749.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1749.hs -------------------------------------------------------------------------------- /tests/pos/T1761.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1761.hs -------------------------------------------------------------------------------- /tests/pos/T1775.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1775.hs -------------------------------------------------------------------------------- /tests/pos/T1812.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1812.hs -------------------------------------------------------------------------------- /tests/pos/T1874.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T1874.hs -------------------------------------------------------------------------------- /tests/pos/T2091.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T2091.hs -------------------------------------------------------------------------------- /tests/pos/T2093.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T2093.hs -------------------------------------------------------------------------------- /tests/pos/T2096.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T2096.hs -------------------------------------------------------------------------------- /tests/pos/T2235.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T2235.hs -------------------------------------------------------------------------------- /tests/pos/T2237.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T2237.hs -------------------------------------------------------------------------------- /tests/pos/T2404.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T2404.hs -------------------------------------------------------------------------------- /tests/pos/T2535.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T2535.hs -------------------------------------------------------------------------------- /tests/pos/T2535A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T2535A.hs -------------------------------------------------------------------------------- /tests/pos/T2579.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T2579.hs -------------------------------------------------------------------------------- /tests/pos/T385.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T385.hs -------------------------------------------------------------------------------- /tests/pos/T531.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T531.hs -------------------------------------------------------------------------------- /tests/pos/T595.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T595.hs -------------------------------------------------------------------------------- /tests/pos/T595a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T595a.hs -------------------------------------------------------------------------------- /tests/pos/T598.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T598.hs -------------------------------------------------------------------------------- /tests/pos/T716.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T716.hs -------------------------------------------------------------------------------- /tests/pos/T819.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T819.hs -------------------------------------------------------------------------------- /tests/pos/T819A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T819A.hs -------------------------------------------------------------------------------- /tests/pos/T820.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T820.hs -------------------------------------------------------------------------------- /tests/pos/T866.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T866.hs -------------------------------------------------------------------------------- /tests/pos/T914.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/T914.hs -------------------------------------------------------------------------------- /tests/pos/TagBinder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/TagBinder.hs -------------------------------------------------------------------------------- /tests/pos/Take.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Take.hs -------------------------------------------------------------------------------- /tests/pos/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Term.hs -------------------------------------------------------------------------------- /tests/pos/Term0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Term0.hs -------------------------------------------------------------------------------- /tests/pos/Test0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Test0.hs -------------------------------------------------------------------------------- /tests/pos/Test00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Test00.hs -------------------------------------------------------------------------------- /tests/pos/Test000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Test000.hs -------------------------------------------------------------------------------- /tests/pos/Test00_int.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Test00_int.hs -------------------------------------------------------------------------------- /tests/pos/Test00_old.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Test00_old.hs -------------------------------------------------------------------------------- /tests/pos/Test00b.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Test00b.hs -------------------------------------------------------------------------------- /tests/pos/Test00c.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Test00c.hs -------------------------------------------------------------------------------- /tests/pos/Test1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Test1.hs -------------------------------------------------------------------------------- /tests/pos/Test2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Test2.hs -------------------------------------------------------------------------------- /tests/pos/Test761.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Test761.hs -------------------------------------------------------------------------------- /tests/pos/TestRec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/TestRec.hs -------------------------------------------------------------------------------- /tests/pos/TokenType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/TokenType.hs -------------------------------------------------------------------------------- /tests/pos/Top0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Top0.hs -------------------------------------------------------------------------------- /tests/pos/TopLevel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/TopLevel.hs -------------------------------------------------------------------------------- /tests/pos/ToyMVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ToyMVar.hs -------------------------------------------------------------------------------- /tests/pos/Trans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Trans.hs -------------------------------------------------------------------------------- /tests/pos/TransTAG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/TransTAG.hs -------------------------------------------------------------------------------- /tests/pos/Transpose.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Transpose.hs -------------------------------------------------------------------------------- /tests/pos/Tup0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Tup0.hs -------------------------------------------------------------------------------- /tests/pos/Tupparse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Tupparse.hs -------------------------------------------------------------------------------- /tests/pos/TyExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/TyExpr.hs -------------------------------------------------------------------------------- /tests/pos/Tyclass0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Tyclass0.hs -------------------------------------------------------------------------------- /tests/pos/Tyfam0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Tyfam0.hs -------------------------------------------------------------------------------- /tests/pos/TypeAlias.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/TypeAlias.hs -------------------------------------------------------------------------------- /tests/pos/TypeLitNat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/TypeLitNat.hs -------------------------------------------------------------------------------- /tests/pos/Tyvar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Tyvar.hs -------------------------------------------------------------------------------- /tests/pos/Variance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Variance.hs -------------------------------------------------------------------------------- /tests/pos/Variance2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Variance2.hs -------------------------------------------------------------------------------- /tests/pos/Vector00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Vector00.hs -------------------------------------------------------------------------------- /tests/pos/Vector1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Vector1.hs -------------------------------------------------------------------------------- /tests/pos/Vector1a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Vector1a.hs -------------------------------------------------------------------------------- /tests/pos/Vector1b.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Vector1b.hs -------------------------------------------------------------------------------- /tests/pos/Vector2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Vector2.hs -------------------------------------------------------------------------------- /tests/pos/WBL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/WBL.hs -------------------------------------------------------------------------------- /tests/pos/WBL0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/WBL0.hs -------------------------------------------------------------------------------- /tests/pos/WhyLH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/WhyLH.hs -------------------------------------------------------------------------------- /tests/pos/Words.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Words.hs -------------------------------------------------------------------------------- /tests/pos/Words1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Words1.hs -------------------------------------------------------------------------------- /tests/pos/Wrap0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Wrap0.hs -------------------------------------------------------------------------------- /tests/pos/Wrap1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Wrap1.hs -------------------------------------------------------------------------------- /tests/pos/WrapUnWrap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/WrapUnWrap.hs -------------------------------------------------------------------------------- /tests/pos/ZipSO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ZipSO.hs -------------------------------------------------------------------------------- /tests/pos/ZipW.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ZipW.hs -------------------------------------------------------------------------------- /tests/pos/ZipW1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ZipW1.hs -------------------------------------------------------------------------------- /tests/pos/ZipW2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/ZipW2.hs -------------------------------------------------------------------------------- /tests/pos/Zipper.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Zipper.hs -------------------------------------------------------------------------------- /tests/pos/Zipper0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Zipper0.hs -------------------------------------------------------------------------------- /tests/pos/Zipper000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/pos/Zipper000.hs -------------------------------------------------------------------------------- /tests/pos/test000.hs.hquals: -------------------------------------------------------------------------------- 1 | qualif Foo(v: Int): v = 10 2 | -------------------------------------------------------------------------------- /tests/relational/rtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/relational/rtest -------------------------------------------------------------------------------- /tests/spec/pos/BS1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/spec/pos/BS1.hs -------------------------------------------------------------------------------- /tests/tasty/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/tasty/Main.hs -------------------------------------------------------------------------------- /tests/tests.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/tests.cabal -------------------------------------------------------------------------------- /tests/tmp/Class2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/tmp/Class2.hs -------------------------------------------------------------------------------- /tests/tmp/Class3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/tmp/Class3.hs -------------------------------------------------------------------------------- /tests/tmp/LiquidR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/tmp/LiquidR.hs -------------------------------------------------------------------------------- /tests/tmp/LiquidR2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/tmp/LiquidR2.hs -------------------------------------------------------------------------------- /tests/tmp/Mode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/tmp/Mode.hs -------------------------------------------------------------------------------- /tests/tmp/T776.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/tmp/T776.hs -------------------------------------------------------------------------------- /tests/tmp/T777.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/tmp/T777.hs -------------------------------------------------------------------------------- /tests/todo/AALib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/AALib.hs -------------------------------------------------------------------------------- /tests/todo/AVLTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/AVLTree.hs -------------------------------------------------------------------------------- /tests/todo/AbsRef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/AbsRef.hs -------------------------------------------------------------------------------- /tests/todo/Adt0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Adt0.hs -------------------------------------------------------------------------------- /tests/todo/AdtBin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/AdtBin.hs -------------------------------------------------------------------------------- /tests/todo/Aliases.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Aliases.hs -------------------------------------------------------------------------------- /tests/todo/Append.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Append.hs -------------------------------------------------------------------------------- /tests/todo/Append0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Append0.hs -------------------------------------------------------------------------------- /tests/todo/Ast.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Ast.hs -------------------------------------------------------------------------------- /tests/todo/AxiomBug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/AxiomBug.hs -------------------------------------------------------------------------------- /tests/todo/Box.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Box.hs -------------------------------------------------------------------------------- /tests/todo/Braun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Braun.hs -------------------------------------------------------------------------------- /tests/todo/CatMaybes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/CatMaybes.hs -------------------------------------------------------------------------------- /tests/todo/Class1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Class1.hs -------------------------------------------------------------------------------- /tests/todo/Class2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Class2.hs -------------------------------------------------------------------------------- /tests/todo/Class3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Class3.hs -------------------------------------------------------------------------------- /tests/todo/Class4Lib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Class4Lib.hs -------------------------------------------------------------------------------- /tests/todo/CmpBug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/CmpBug.hs -------------------------------------------------------------------------------- /tests/todo/DB0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/DB0.hs -------------------------------------------------------------------------------- /tests/todo/DBMovies0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/DBMovies0.hs -------------------------------------------------------------------------------- /tests/todo/DiffCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/DiffCheck.hs -------------------------------------------------------------------------------- /tests/todo/Eff0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Eff0.hs -------------------------------------------------------------------------------- /tests/todo/Eff1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Eff1.hs -------------------------------------------------------------------------------- /tests/todo/Eff2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Eff2.hs -------------------------------------------------------------------------------- /tests/todo/EffSTTLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/EffSTTLib.hs -------------------------------------------------------------------------------- /tests/todo/Ensure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Ensure.hs -------------------------------------------------------------------------------- /tests/todo/FixCrash.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/FixCrash.hs -------------------------------------------------------------------------------- /tests/todo/FldBug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/FldBug.hs -------------------------------------------------------------------------------- /tests/todo/IncrLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/IncrLib.hs -------------------------------------------------------------------------------- /tests/todo/InfixLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/InfixLib.hs -------------------------------------------------------------------------------- /tests/todo/Intervals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Intervals.hs -------------------------------------------------------------------------------- /tests/todo/InvBug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/InvBug.hs -------------------------------------------------------------------------------- /tests/todo/LazyVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/LazyVar.hs -------------------------------------------------------------------------------- /tests/todo/ListMem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/ListMem.hs -------------------------------------------------------------------------------- /tests/todo/Machine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Machine.hs -------------------------------------------------------------------------------- /tests/todo/Map-wierd.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Map-wierd.hs -------------------------------------------------------------------------------- /tests/todo/Means.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Means.hs -------------------------------------------------------------------------------- /tests/todo/Measure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Measure.hs -------------------------------------------------------------------------------- /tests/todo/NameClash.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/NameClash.hs -------------------------------------------------------------------------------- /tests/todo/NewType00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/NewType00.hs -------------------------------------------------------------------------------- /tests/todo/NoInlines.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/NoInlines.hs -------------------------------------------------------------------------------- /tests/todo/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Parse.hs -------------------------------------------------------------------------------- /tests/todo/Parse1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Parse1.hs -------------------------------------------------------------------------------- /tests/todo/Plus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Plus.hs -------------------------------------------------------------------------------- /tests/todo/RG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/RG.hs -------------------------------------------------------------------------------- /tests/todo/Recursion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Recursion.hs -------------------------------------------------------------------------------- /tests/todo/RedBlack.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/RedBlack.hs -------------------------------------------------------------------------------- /tests/todo/ReflImp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/ReflImp.hs -------------------------------------------------------------------------------- /tests/todo/SS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/SS.hs -------------------------------------------------------------------------------- /tests/todo/Signal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Signal.hs -------------------------------------------------------------------------------- /tests/todo/Strings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Strings.hs -------------------------------------------------------------------------------- /tests/todo/SubType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/SubType.hs -------------------------------------------------------------------------------- /tests/todo/T1037A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1037A.hs -------------------------------------------------------------------------------- /tests/todo/T1037B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1037B.hs -------------------------------------------------------------------------------- /tests/todo/T1037C.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1037C.hs -------------------------------------------------------------------------------- /tests/todo/T1089.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1089.hs -------------------------------------------------------------------------------- /tests/todo/T1094_Lib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1094_Lib.hs -------------------------------------------------------------------------------- /tests/todo/T1109.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1109.hs -------------------------------------------------------------------------------- /tests/todo/T1189.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1189.hs -------------------------------------------------------------------------------- /tests/todo/T1278.1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1278.1.hs -------------------------------------------------------------------------------- /tests/todo/T1326A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1326A.hs -------------------------------------------------------------------------------- /tests/todo/T1326B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1326B.hs -------------------------------------------------------------------------------- /tests/todo/T1326C.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1326C.hs -------------------------------------------------------------------------------- /tests/todo/T1481.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1481.hs -------------------------------------------------------------------------------- /tests/todo/T1549.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1549.hs -------------------------------------------------------------------------------- /tests/todo/T1551.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1551.hs -------------------------------------------------------------------------------- /tests/todo/T1555.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1555.hs -------------------------------------------------------------------------------- /tests/todo/T1649.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T1649.hs -------------------------------------------------------------------------------- /tests/todo/T2076.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T2076.hs -------------------------------------------------------------------------------- /tests/todo/T658.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T658.hs -------------------------------------------------------------------------------- /tests/todo/T765.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T765.hs -------------------------------------------------------------------------------- /tests/todo/T770.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T770.hs -------------------------------------------------------------------------------- /tests/todo/T771.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T771.hs -------------------------------------------------------------------------------- /tests/todo/T772.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T772.hs -------------------------------------------------------------------------------- /tests/todo/T776.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T776.hs -------------------------------------------------------------------------------- /tests/todo/T781.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T781.hs -------------------------------------------------------------------------------- /tests/todo/T791.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T791.hs -------------------------------------------------------------------------------- /tests/todo/T791a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T791a.hs -------------------------------------------------------------------------------- /tests/todo/T870.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T870.hs -------------------------------------------------------------------------------- /tests/todo/T995.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T995.hs -------------------------------------------------------------------------------- /tests/todo/T996.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T996.hs -------------------------------------------------------------------------------- /tests/todo/T997.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T997.hs -------------------------------------------------------------------------------- /tests/todo/T997a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/T997a.hs -------------------------------------------------------------------------------- /tests/todo/Theorems0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Theorems0.hs -------------------------------------------------------------------------------- /tests/todo/Times.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Times.hs -------------------------------------------------------------------------------- /tests/todo/TreeMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/TreeMap.hs -------------------------------------------------------------------------------- /tests/todo/TreeMap0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/TreeMap0.hs -------------------------------------------------------------------------------- /tests/todo/TypeError.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/TypeError.hs -------------------------------------------------------------------------------- /tests/todo/TypeFun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/TypeFun.hs -------------------------------------------------------------------------------- /tests/todo/Unsound.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Unsound.hs -------------------------------------------------------------------------------- /tests/todo/Until.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/Until.hs -------------------------------------------------------------------------------- /tests/todo/UseBound.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/UseBound.hs -------------------------------------------------------------------------------- /tests/todo/WBL-crash.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/WBL-crash.hs -------------------------------------------------------------------------------- /tests/todo/When.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/When.hs -------------------------------------------------------------------------------- /tests/todo/appCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/appCheck.hs -------------------------------------------------------------------------------- /tests/todo/apply.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/apply.hs -------------------------------------------------------------------------------- /tests/todo/baderror.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/baderror.hs -------------------------------------------------------------------------------- /tests/todo/baffled.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/baffled.hs -------------------------------------------------------------------------------- /tests/todo/binsearch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/binsearch.hs -------------------------------------------------------------------------------- /tests/todo/boolparse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/boolparse.hs -------------------------------------------------------------------------------- /tests/todo/cases.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/cases.hs -------------------------------------------------------------------------------- /tests/todo/cont.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/cont.hs -------------------------------------------------------------------------------- /tests/todo/contra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/contra.hs -------------------------------------------------------------------------------- /tests/todo/decr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/decr.hs -------------------------------------------------------------------------------- /tests/todo/dyn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/dyn.hs -------------------------------------------------------------------------------- /tests/todo/empty-or.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/empty-or.hs -------------------------------------------------------------------------------- /tests/todo/err0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err0.hs -------------------------------------------------------------------------------- /tests/todo/err1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err1.hs -------------------------------------------------------------------------------- /tests/todo/err10.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err10.hs -------------------------------------------------------------------------------- /tests/todo/err11.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err11.hs -------------------------------------------------------------------------------- /tests/todo/err12.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err12.hs -------------------------------------------------------------------------------- /tests/todo/err13.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err13.hs -------------------------------------------------------------------------------- /tests/todo/err2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err2.hs -------------------------------------------------------------------------------- /tests/todo/err3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err3.hs -------------------------------------------------------------------------------- /tests/todo/err4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err4.hs -------------------------------------------------------------------------------- /tests/todo/err5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err5.hs -------------------------------------------------------------------------------- /tests/todo/err6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err6.hs -------------------------------------------------------------------------------- /tests/todo/err7.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err7.hs -------------------------------------------------------------------------------- /tests/todo/err8.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err8.hs -------------------------------------------------------------------------------- /tests/todo/err9.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/err9.hs -------------------------------------------------------------------------------- /tests/todo/existsAbs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/existsAbs.hs -------------------------------------------------------------------------------- /tests/todo/false.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/false.hs -------------------------------------------------------------------------------- /tests/todo/fft.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/fft.hs -------------------------------------------------------------------------------- /tests/todo/fio.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/fio.hs -------------------------------------------------------------------------------- /tests/todo/fixme.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/fixme.lhs -------------------------------------------------------------------------------- /tests/todo/funrec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/funrec.hs -------------------------------------------------------------------------------- /tests/todo/gadtEval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/gadtEval.hs -------------------------------------------------------------------------------- /tests/todo/if.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/if.hs -------------------------------------------------------------------------------- /tests/todo/inccheck0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/inccheck0.hs -------------------------------------------------------------------------------- /tests/todo/intP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/intP.hs -------------------------------------------------------------------------------- /tests/todo/kmpMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/kmpMonad.hs -------------------------------------------------------------------------------- /tests/todo/liftbug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/liftbug.hs -------------------------------------------------------------------------------- /tests/todo/linspace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/linspace.hs -------------------------------------------------------------------------------- /tests/todo/lit01.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/lit01.hs -------------------------------------------------------------------------------- /tests/todo/mapreduce.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/mapreduce.hs -------------------------------------------------------------------------------- /tests/todo/maps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/maps.hs -------------------------------------------------------------------------------- /tests/todo/maybe0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/maybe0.hs -------------------------------------------------------------------------------- /tests/todo/maybe0000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/maybe0000.hs -------------------------------------------------------------------------------- /tests/todo/maybe4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/maybe4.hs -------------------------------------------------------------------------------- /tests/todo/measbug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/measbug.hs -------------------------------------------------------------------------------- /tests/todo/measfield.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/measfield.hs -------------------------------------------------------------------------------- /tests/todo/overload.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/overload.hs -------------------------------------------------------------------------------- /tests/todo/ptr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/ptr.hs -------------------------------------------------------------------------------- /tests/todo/ptr2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/ptr2.hs -------------------------------------------------------------------------------- /tests/todo/ptr3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/ptr3.hs -------------------------------------------------------------------------------- /tests/todo/read.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/read.hs -------------------------------------------------------------------------------- /tests/todo/satsolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/satsolver.hs -------------------------------------------------------------------------------- /tests/todo/stacks1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/stacks1.hs -------------------------------------------------------------------------------- /tests/todo/state.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/state.hs -------------------------------------------------------------------------------- /tests/todo/tdb.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/tdb.hs -------------------------------------------------------------------------------- /tests/todo/trans.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/trans.lhs -------------------------------------------------------------------------------- /tests/todo/tupleplus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/tupleplus.hs -------------------------------------------------------------------------------- /tests/todo/txrec0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/txrec0.hs -------------------------------------------------------------------------------- /tests/todo/vector2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/liquidhaskell/HEAD/tests/todo/vector2.hs --------------------------------------------------------------------------------