• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for liquidhaskell-0.8.0.2 candidate source tarball

liquidhaskell-0.8.0.2/tests/

• Parser.hs
• TestCommits.hs
• pmap.py
• regrtest.py
• rtest.py
• test.hs
• equationalproofs/
  • neg/
    • Append.hs
    • Axiomatize.hs
    • Equational.hs
    • Fibonacci.hs
  • pos/
    • AppendArrow.hs
    • AppendAxiom.hs
    • AppendVerbose.hs
    • Arrow.hs
    • Axiomatize.hs
    • ConcatMap.hs
    • Equational.hs
    • MapAppend.hs
    • MonadicLaws.hs
    • MonadicLawsMaybe.hs
    • MonadicLawsMaybeAssoc.hs
  • todo/
    • Helper.hs
    • MapFusion.hs
    • MonadicLawsAssoc.hs
• 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/
    • Gradual.hs
    • Interpretations.hs
    • Intro.hs
  • pos/
    • Discussion.hs
    • Dynamic.hs
    • Gradual.hs
    • Interpretations.hs
    • Intro.hs
  • todo/
    • Measures.hs
• import/
  • client/
    • RC1015.hs
    • ReflectClient0.hs
    • ReflectClient1.hs
    • ReflectClient2.hs
    • ReflectClient3.hs
    • ReflectClient4.hs
    • ReflectClient4a.hs
    • ReflectClient5.hs
    • ReflectClient6.hs
    • ReflectClient7.hs
    • T1096_Foo.hs
  • lib/
    • RL1015.hs
    • ReflectLib0.hs
    • ReflectLib1.hs
    • ReflectLib2.hs
    • ReflectLib3.hs
    • ReflectLib4.hs
    • ReflectLib5.hs
    • ReflectLib6.hs
    • ReflectLib7.hs
    • T1096_Types.hs
    • T1102_LibX.hs
    • T1102_LibY.hs
    • T1102_LibZ.hs
    • T1104_AA.hs
    • T1104_BB.hs
• 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
  • ClassKind.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
  • LF326.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
  • TypeFamilies.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/
    • DivideAndQunquer.hs
    • Proves.hs
    • String.hs
    • StringIndexing.hs
    • StringIndexingStep1.hs
    • StringIndexingStep2.hs
    • StringIndexingStep3.hs
  • 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
  • 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
  • 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