Directory listing for liquidhaskell-0.8.2.0 source tarball | Hackage

Directory listing for liquidhaskell-0.8.2.0 source tarball

liquidhaskell-0.8.2.0/

.ghci
.gitignore
.gitmodules
AwakeTODO.md
CHANGES.md
CONTRIBUTING.md
FAILING_TESTS.txt
HLint.hs
INSTALL.md
LICENSE
Makefile
NIX.md
NVTODO.md
README.md
Setup.hs
Syntax.md
TODO.EASY.md
TODO.md
cabal.project
circle.yml
cleanup
liquidhaskell.cabal
stack.yaml
devel/
- Paths_liquidhaskell.hs
docs/
- blog/
- language/
- slides/
external/
- hsmisc/
  - Graphs.hs
  - Lhs2Hs.hs
include/
- Bot.hquals
- CoreToLogic.lg
- KMeansHelper.hs
- NotReal.spec
- PatErr.spec
- Prelude.hquals
- Prelude.spec
- Real.spec
- len.hquals
- 710/
  - Data/
    - Traversable.spec
- Control/
  - Exception.spec
  - Parallel/
    - Strategies.spec
- Data/
- Foreign/
- GHC/
- Language/
  - Haskell/
    - Liquid/
- System/
  - IO.spec
resources/
- icon.png
- icon.svg
- logo.png
- logo.svg
scripts/
- CountBinders.hs
- haskell_count
- metrics.py
- travis
- performance/
- plot-benchmarks/
src/
- LHi.hs
- Liquid.hs
- LiquidHaskell.hs
- Target.hs
- Language/
  - Haskell/
    - Liquid/
- Test/
  - Target.hs
  - Target/
syntax/
- hsannot.css
- hscolour.css
- liquid.css
- liquidBody.css
- liquid_dark_blog.css
- liquid_light_blog.css
tests/
- Parser.hs
- TestCommits.hs
- pmap.py
- regrtest.py
- rtest.py
- test.hs
- DependentHaskell/
  - README.md
  - todo/
- equationalproofs/
  - neg/
  - pos/
  - todo/
- errors/
  - AmbiguousInline.hs
  - AmbiguousReflect.hs
  - BadAliasApp.hs
  - BadAnnotation.hs
  - BadAnnotation1.hs
  - BadDataCon2.hs
  - BadDataConType.hs
  - BadDataDeclTyVars.hs
  - BadPragma0.hs
  - BadPragma1.hs
  - BadPragma2.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
  - DupMeasure.hs
  - ExportMeasure0.hs
  - ExportMeasure1.hs
  - ExportReflect0.hs
  - Fractional.hs
  - HigherOrderBinder.hs
  - HoleCrash1.hs
  - HoleCrash2.hs
  - HoleCrash3.hs
  - Inconsistent0.hs
  - Inconsistent1.hs
  - Inconsistent2.hs
  - LiftMeasureCase.hs
  - LocalHole.hs
  - MissingAbsRefArgs.hs
  - MissingSizeFun.hs
  - MultiInstMeasures.hs
  - MultiRecSels.hs
  - ParseBind.hs
  - ParseClass.hs
  - ShadowFieldInline.hs
  - ShadowFieldReflect.hs
  - ShadowMeasure.hs
  - ShadowMeasureVar.hs
  - T773.hs
  - T774.hs
  - TODOUnboundAbsRef.hs
  - TODOVarInTypeAlias.hs
  - TerminationExprNum.hs
  - TerminationExprSort.hs
  - TerminationExprUnb.hs
  - UnboundAbsRef.hs
  - UnboundFunInSpec.hs
  - UnboundFunInSpec1.hs
  - UnboundFunInSpec2.hs
  - UnboundVarInAssume.hs
  - UnboundVarInAssume1.hs
  - UnboundVarInSpec.hs
- ffi-include/
  - foo.c
  - foo.h
- gradual/
  - neg/
  - pos/
  - todo/
    - Measures.hs
- import/
  - client/
  - lib/
- log/
  - summary-develop.csv
  - summary-map_fusion.csv
- neg/
  - AbsApp.hs
  - AdtPeano0.hs
  - AdtPeano1.hs
  - AdtPeano2.hs
  - Ast.hs
  - AutoSize.hs
  - AutoTerm.hs
  - AutoTerm1.hs
  - Automate.hs
  - BadNats.hs
  - Baz.hs
  - BigNum.hs
  - BinarySearchOverflow.hs
  - Books.hs
  - CastedTotality.hs
  - CheckedNum.hs
  - Class1.hs
  - Class2.hs
  - Class3.hs
  - Class4.hs
  - Class5.hs
  - Client.hs
  - CompareConstraints.hs
  - Constraints.hs
  - ConstraintsAppend.hs
  - DependentTypes.hs
  - Eval.hs
  - EvalQuery.hs
  - Even.hs
  - FunSoundness.hs
  - FunctionRef.hs
  - GADTs.hs
  - GeneralizedTermination.hs
  - HasElem.hs
  - Hex00.hs
  - HigherOrder.hs
  - HolesTop.hs
  - IntAbsRef.hs
  - LazyWhere.hs
  - LazyWhere1.hs
  - LetRecStack.hs
  - Lib.hs
  - LibSpec.hs
  - LiquidClass.hs
  - LiquidClass1.hs
  - ListConcat.hs
  - ListElem.hs
  - ListISort-LType.hs
  - ListISort.hs
  - ListKeys.hs
  - ListMSort.hs
  - ListQSort.hs
  - ListRange.dat
  - ListRange.hs
  - LocalSpec.hs
  - MaybeMonad.hs
  - MeasureContains.hs
  - MeasureDups.hs
  - MergeSort.hs
  - MultiParamTypeClasses.hs
  - MultipleInvariants.hs
  - NewTypes.hs
  - NewTypes0.hs
  - NoExhaustiveGuardsError.hs
  - NoMethodBindingError.hs
  - PairMeasure.hs
  - Propability.hs
  - Propability0.hs
  - QQTySig.hs
  - QQTySyn1.hs
  - QQTySyn2.hs
  - RG.hs
  - Rebind.hs
  - RecQSort.hs
  - RecSelector.hs
  - SafePartialFunctions.hs
  - Solver.hs
  - StateConstraints.hs
  - StateConstraints0.hs
  - StateConstraints00.hs
  - Strata.hs
  - StreamInvariants.hs
  - StrictPair0.hs
  - StrictPair1.hs
  - Strings.hs
  - Sum.hs
  - Sumk.hquals
  - T1013A.hs
  - T1078.hs
  - T602.hs
  - T743-mini.hs
  - T743.hs
  - T745.hs
  - TermReal.hs
  - TerminationNum.hs
  - TerminationNum0.hs
  - TopLevel.hs
  - TotalHaskell.hs
  - TypeLitNat.hs
  - Variance.hs
  - Variance1.hs
  - VerifiedMonoid.hs
  - VerifiedNum.hs
  - alias00.hs
  - ass0.hs
  - concat.hs
  - concat1.hs
  - concat2.hs
  - contra0.hs
  - coretologic.hs
  - csv.hs
  - datacon-eq.hs
  - deppair0.hs
  - deptupW.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
  - elim000.hs
  - errmsg.hs
  - errorloc.hs
  - ex0-unsafe.hs
  - ex1-unsafe.hs
  - filterAbs.hs
  - foldN.hs
  - foldN1.hs
  - grty0.hs
  - grty1.hs
  - grty2.hs
  - grty3.hs
  - inc2.hs
  - list00.hs
  - listne.hs
  - lit.hs
  - mapreduce-tiny.hs
  - mapreduce.hs
  - maps.hs
  - meas0.hs
  - meas2.hs
  - meas3.hs
  - meas5.hs
  - meas7.hs
  - meas9.hs
  - monad3.hs
  - monad4.hs
  - monad5.hs
  - monad6.hs
  - monad7.hs
  - mr00.hs
  - multi-pred-app-00.hs
  - nestedRecursion.hs
  - pair.hs
  - pair0.hs
  - pargs.hs
  - pargs1.hs
  - partial.hs
  - poly0.hs
  - poly1.hs
  - poly2-degenerate.hs
  - poly2.hs
  - polypred.hs
  - poslist.hs
  - pragma0-unsafe.hs
  - pred.hs
  - prune0.hs
  - qsloop.hs
  - range.hs
  - record0.hs
  - revshape.hs
  - risers.hs
  - stacks.hs
  - state0.hs
  - state00.hs
  - string00.hs
  - sumPoly.hs
  - sumk.hs
  - test00.hs
  - test00a.hs
  - test00b.hs
  - test00c.hs
  - test1.hs
  - test2.hs
  - testRec.hs
  - trans.hs
  - truespec.hs
  - tyclass0-unsafe.hs
  - vector0.hs
  - vector00.hs
  - vector0a.hs
  - vector1a.hs
  - vector2.hs
  - wrap0.hs
  - wrap1.hs
- parser/
  - pos/
    - Parens.hs
    - TokensAsPrefixes.hs
- pos/
  - ANF.hs
  - AVL.hs
  - AVLRJ.hs
  - Abs.hs
  - Ackermann.hs
  - AdtList0.hs
  - AdtList1.hs
  - AdtList2.hs
  - AdtList3.hs
  - AdtList4.hs
  - AdtList5.hs
  - AdtPeano0.hs
  - AdtPeano1.hs
  - AdtPeano2.hs
  - AmortizedQueue.hs
  - Assume.hs
  - AssumedRecursive.hs
  - AutoSize.hs
  - AutoTerm.hs
  - AutoTerm1.hs
  - Automate.hs
  - Avg.hs
  - BST.hs
  - BST000.hs
  - BinarySearch.hs
  - BinarySearchOverflow.hs
  - Books.hs
  - CasesToLogic.hs
  - Cat.hs
  - CheckedNum.hs
  - Chunks.hs
  - Class.hs
  - Class2.hs
  - ClassReg.hs
  - Client521.hs
  - ClojurVector.hs
  - Coercion.hs
  - CommentedOut.hs
  - CompareConstraints.hs
  - Constraints.hs
  - ConstraintsAppend.hs
  - CountMonad.hs
  - DB00.hs
  - DataBase.hs
  - DataKinds.hs
  - DepData.hs
  - DepTriples.hs
  - DependentPairs.hs
  - DependentPairsFun.hs
  - Deptup1.pred
  - Eval.hs
  - EvalQuery.hs
  - Even.hs
  - Even0.hs
  - ExactFunApp.hs
  - FFI.hs
  - Fib0.hs
  - FibEq.hs
  - Foldl.hs
  - Foo.hs
  - Fractional.hs
  - FractionalInstance.hs
  - GADTs.hs
  - GCD.hs
  - GeneralizedTermination.hs
  - GhcListSort.hs
  - GhcSort1.hs
  - GhcSort2.hs
  - GhcSort3.T.hs
  - GhcSort3.hs
  - Goo.hs
  - GoodHMeas.hs
  - Graph.hs
  - HasElem.hs
  - HaskellMeasure.hs
  - HedgeUnion.hs
  - Hex00.hs
  - HigherOrderRecFun.hs
  - Holes-Slicing.hs
  - Holes.hs
  - IcfpDemo.hs
  - IndEven.hs
  - IndPerm.hs
  - IndStar.hs
  - Infinity.hs
  - Invariants.hs
  - Keys.hs
  - LambdaDeBruijn.hs
  - LambdaEval.hs
  - LambdaEvalMini.hs
  - LambdaEvalSuperTiny.hs
  - LambdaEvalTiny.hs
  - LazyWhere.hs
  - LazyWhere1.hs
  - Lib521.hs
  - LiquidArray.hs
  - LiquidClass.hs
  - ListConcat.hs
  - ListElem.hs
  - ListISort-LType.hs
  - ListISort.hs
  - ListKeys.hs
  - ListLen-LType.hs
  - ListLen.hs
  - ListMSort-LType.hs
  - ListMSort.hs
  - ListQSort-LType.hs
  - ListQSort.hs
  - ListRange-LType.hs
  - ListRange.hs
  - ListReverse-LType.hs
  - ListSort.hs
  - LocalHole.hs
  - LocalLazy.hs
  - LocalSpec.hs
  - LocalSpec0.hs
  - LocalSpecImp.hs
  - LocalTermExpr.hs
  - LogicCurry1.hs
  - Loo.hs
  - Map.hs
  - Map0.hs
  - Map2.hs
  - MapFusion.hs
  - MapReduceVerified.hs
  - MeasureContains.hs
  - MeasureDups.hs
  - MeasureSets.hs
  - Measures.hs
  - Measures1.hs
  - Merge1.hs
  - MergeSort.hs
  - Mod1.hs
  - Mod2.hs
  - Moo.hs
  - MultipleInvariants.hs
  - MutualRec.hs
  - NatClass.hs
  - NewType.hs
  - NoCaseExpand.hs
  - NoExhaustiveGuardsError.hs
  - ORM.hs
  - OrdList.hs
  - Overwrite.hs
  - PairMeasure.hs
  - PairMeasure0.hs
  - Permutation.hs
  - PersistentVector.hs
  - PlugHoles.hs
  - PointDist.hs
  - Product.hs
  - PromotedDataCons.hs
  - Propability.hs
  - QQTySig.hs
  - QQTySigTyVars.hs
  - QQTySyn.hs
  - RBTree-col-height.hs
  - RBTree-color.hs
  - RBTree-height.hs
  - RBTree-ord.hs
  - RBTree.hs
  - RealProps.hs
  - RealProps1.hs
  - Rebind.hs
  - RecQSort.hs
  - RecQSort0.hs
  - RecSelector.hs
  - RecordSelectorError.hs
  - Reduction.hs
  - RefinedADTs.hs
  - ReflectAlias.hs
  - ReflectBooleanFunctions.hs
  - ReflectMutual.hs
  - RelativeComplete.hs
  - Repeat.hs
  - Resolve.hs
  - ResolveA.hs
  - ResolveB.hs
  - ResolvePred.hs
  - SafePartialFunctions.hs
  - SimplerNotation.hs
  - SimplifyTup00.hs
  - Solver.hs
  - StackClass.hs
  - StackMachine.hs
  - State.hquals
  - State.hs
  - State1.hs
  - StateConstraints.hs
  - StateConstraints0.hs
  - StateConstraints00.hs
  - StateF00.hs
  - StreamInvariants.hs
  - StrictPair0.hs
  - StrictPair1.hs
  - StringLit.hs
  - Strings.hs
  - StructRec.hs
  - Sum.hs
  - T1013.hs
  - T1024.hs
  - T1025.hs
  - T1025a.hs
  - T1034.hs
  - T1045.hs
  - T1045.hs-boot
  - T1045a.hs
  - T1060.hs
  - T1065.hs
  - T1074.hs
  - T1085.hs
  - T1089b.hs
  - T1100.hs
  - T531.hs
  - T595.hs
  - T595a.hs
  - T598.hs
  - T675.hs
  - T716.hs
  - T819.hs
  - T819A.hs
  - T820.hs
  - T866.hs
  - T914.hs
  - TemplateHaskell.hs
  - TemplateHaskellImp.hs
  - Term.hs
  - Termination.lhs
  - TerminationNum.hs
  - TerminationNum0.hs
  - Test761.hs
  - TokenType.hs
  - TopLevel.hs
  - ToyMVar.hs
  - TypeAlias.hs
  - TypeLitNat.hs
  - TypeLitString.hs
  - UnboxedTuples.hs
  - UnboxedTuplesAndTH.hs
  - Variance.hs
  - Variance2.hs
  - VerifiedMonoid.hs
  - VerifiedNum.hs
  - WBL.hs
  - WBL0.hs
  - Words.hs
  - Words1.hs
  - WrapUnWrap.hs
  - absref-crash.hs
  - absref-crash0.hs
  - adt0.hs
  - alias00.hs
  - alias01.hs
  - alphaconvert-List.hs
  - alphaconvert-Set.hs
  - anfbug.hs
  - anftest.hs
  - anish1.hs
  - bangPatterns.hs
  - bool0.hs
  - bool1.hs
  - bool2.hs
  - bounds1.hs
  - case-lambda-join.hs
  - cmptag0.hs
  - comma.hs
  - compare.hs
  - compare1.hs
  - compare2.hs
  - comprehension.hs
  - comprehensionTerm.hs
  - contra0.hs
  - coretologic.hs
  - csgordon_issue_296.hs
  - cut00.hs
  - data2.hs
  - dataConQuals.hs
  - datacon-inv.hs
  - datacon0.hs
  - datacon1.hs
  - deepmeas0.hs
  - deppair0.hs
  - deppair1.hs
  - deptup.hs
  - deptup0.hs
  - deptup1.hs
  - deptup3.hs
  - deptupW.hs
  - div000.hs
  - dropwhile.hs
  - duplicate-bind.hs
  - elements.hs
  - elems.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
  - elim00.hs
  - elim01.hs
  - eq-poly-measure.hs
  - eqelems.hs
  - ex0.hs
  - ex01.hs
  - ex1.hs
  - exp0.hs
  - extype.hs
  - failName.hs
  - filterAbs.hs
  - foldN.hs
  - foldr.hs
  - for.hs
  - forloop.hs
  - gadtEval.hs
  - gimme.hs
  - go.hs
  - go_ugly_type.hs
  - grty0.hs
  - grty1.hs
  - grty2.hs
  - grty3.hs
  - hello.hs
  - hole-app.hs
  - hole-fun.hs
  - idNat.hs
  - idNat0.hs
  - imp0.hs
  - implies.hs
  - infix.hs
  - initarray.hs
  - inline.hs
  - inline1.hs
  - invlhs.hs
  - ite.hs
  - ite1.hs
  - jeff.hs
  - kmp.hs
  - kmpIO.hs
  - kmpVec.hs
  - lets.hs
  - lex.hs
  - listAnf.hs
  - listSet.hquals
  - listSet.hs
  - listSetDemo.hs
  - listqual.hs
  - lit.hs
  - lit00.hs
  - lit02.hs
  - malformed0.hs
  - mapTvCrash.hs
  - mapreduce-bare.hs
  - maps.hs
  - maps1.hs
  - maybe.hs
  - maybe0.hs
  - maybe00.hs
  - maybe000.hs
  - maybe1.hs
  - maybe2.hs
  - maybe3.hs
  - maybe4.hs
  - meas0.hs
  - meas00.hs
  - meas00a.hs
  - meas0a.hs
  - meas1.hs
  - meas10.hs
  - meas11.hs
  - meas2.hs
  - meas3.hs
  - meas4.hs
  - meas5.hs
  - meas6.hs
  - meas7.hs
  - meas8.hs
  - meas9.hs
  - modTest.hs
  - monad1.hs
  - monad2.hs
  - monad5.hs
  - monad6.hs
  - monad7.hs
  - multi-pred-app-00.hs
  - mutrec.hs
  - nats.hs
  - niki.hs
  - niki1.hs
  - nullterm.hs
  - pair.hs
  - pair0.hs
  - pair00.hs
  - pargs.hs
  - pargs1.hs
  - partial-tycon.hs
  - partialmeasure.hs
  - poly0.hs
  - poly1.hs
  - poly2-degenerate.hs
  - poly2.hs
  - poly3.hs
  - poly3a.hs
  - poly4.hs
  - polyfun.hs
  - polyqual.hs
  - poslist.hs
  - poslist_dc.hs
  - pragma0.hs
  - pred.hs
  - primInt0.hs
  - profcrasher.hs
  - propmeasure.hs
  - propmeasure1.hs
  - qualTest.hs
  - range.hs
  - range1.hs
  - rangeAdt.hs
  - rec_annot_go.hs
  - record0.hs
  - record1.hs
  - recursion0.hs
  - reflect0.hs
  - repeatHigherOrder.hs
  - risers.hs
  - rta.hs
  - scanr.hs
  - selfList.hquals
  - selfList.hs
  - spec0.hs
  - stacks0.hs
  - state00.hs
  - stateInvarint.hs
  - string00.hs
  - tagBinder.hs
  - take.hs
  - term0.hs
  - test0.hs
  - test00-int.hs
  - test00.hs
  - test00.old.hs
  - test000.hs
  - test000.hs.hquals
  - test00b.hs
  - test00c.hs
  - test1.hs
  - test2.hs
  - testRec.hs
  - top0.hs
  - trans.hs
  - transTAG.hs
  - transpose.hs
  - tup0.hs
  - tupparse.hs
  - tyExpr.hs
  - tyclass0.hs
  - tyfam0.hs
  - tyvar.hs
  - unusedtyvars.hs
  - vecloop.hs
  - vector0.hs
  - vector00.hs
  - vector1.hs
  - vector1a.hs
  - vector1b.hs
  - vector2.hs
  - wrap0.hs
  - wrap1.hs
  - zipSO.hs
  - zipW.hs
  - zipW1.hs
  - zipW2.hs
  - zipper.hs
  - zipper0.hs
  - zipper000.hs
- strings/
  - neg/
    - StringIndexingStep1.hs
  - pos/
  - todo/
    - Boyer_Moore.hs
    - StringIndexing.hs
- theorem_proving/
  - T1106.hs
  - T1106Defs.hs
- tmp/
  - Class2.hs
  - Class3.hs
  - LiquidR.hs
  - LiquidR2.hs
  - Mode.hs
  - T776.hs
  - T777.hs
- todo/
  - 12-case-study-AVL.lhs
  - 2013-01-10-measuring-lists-I.lhs
  - A.hs
  - AA.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
  - Axiomatize.hs
  - B.hs
  - BadArguments.hs
  - Box.hs
  - CatMaybes.hs
  - CheckProofs.hs
  - Class3.hs
  - Class4.hs
  - Class4Import.hs
  - CmpBug.hs
  - CountMonadMap.hs
  - DB0.hs
  - DBMovies0.hs
  - DerivingRead.hs
  - DiffCheck.hs
  - Eff0.hs
  - Eff1.hs
  - Eff2.hs
  - EffSTT.hs
  - Ensure.hs
  - EnumFromTo.hs
  - Equational.hs
  - ExactGADT.hs
  - ExactGADT1.hs
  - ExactGADT2.hs
  - FixCrash.hs
  - FldBug.hs
  - Foo.hs
  - GhcListSort.hs
  - ImportBound.hs
  - ImportReflected.hs
  - ImportedNumericInstances.hs
  - Incr.hs
  - InfiniteLists.hs
  - InlineMeasure.hs
  - IntInvariants.hs
  - Interpreter.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
  - LocalSpec.hs
  - LocalSpec1.hs
  - LocalSpecImport.hs
  - LocalSpecTyVar.hs
  - LocalTermExpr1.hs
  - Machine.hs
  - Map-strict.hs
  - Map-wierd.hs
  - MaybeReflect0.hs
  - MaybeReflect1.hs
  - Means.hs
  - Measure.hs
  - MeasureImport.hs
  - NameClash.hs
  - NativeFixCrash.hs
  - NeuralNetwork.hs
  - NewType00.hs
  - NoInlines.hs
  - NoInstance.hs
  - NotesOnProductivityTest.hs
  - Parse.hs
  - Parse1.hs
  - PartialAbsApplication.hs
  - Plus.hs
  - QualifCheck.hs
  - RG.hs
  - RecordAccessors.hs
  - Recursion.hs
  - Recursion1.hs
  - RedBlack.hs
  - RefinedData.hs
  - ReflImp.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
  - T1126.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
  - Times.hs
  - TreeMap.hs
  - TreeMap0.hs
  - TypeError.hs
  - TypeFun.hs
  - TypeSynonyms.hs
  - UnboundSigs.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.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