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

Directory listing for liquidhaskell-0.8.10.1 candidate source tarball

liquidhaskell-0.8.10.1/tests/

• Parser.hs
• Synthesis.hs
• test.hs
• errors/
  • AmbiguousInline.hs
  • AmbiguousReflect.hs
  • BadAliasApp.hs
  • BadAnnotation.hs
  • BadAnnotation1.hs
  • BadData1.hs
  • BadData2.hs
  • BadDataCon2.hs
  • BadDataConType.hs
  • BadDataConType1.hs
  • BadDataConType2.hs
  • BadDataDeclTyVars.hs
  • BadGADT.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
  • DupData.hs
  • DupFunSigs.hs
  • DupMeasure.hs
  • ElabLocation.hs
  • EmptyData.hs
  • EmptySig.hs
  • ErrLocation.hs
  • ErrLocation2.hs
  • ExportMeasure0.hs
  • ExportReflect0.hs
  • Fractional.hs
  • HigherOrderBinder.hs
  • HintMismatch.hs
  • HoleCrash1.hs
  • HoleCrash2.hs
  • HoleCrash3.hs
  • Inconsistent0.hs
  • Inconsistent1.hs
  • Inconsistent2.hs
  • InlineSubExp0.hs
  • InlineSubExp1.hs
  • LiftMeasureCase.hs
  • LocalHole.hs
  • MissingAssume.hs
  • MissingField1.hs
  • MissingField2.hs
  • MissingReflect.hs
  • MissingSizeFun.hs
  • MultiInstMeasures.hs
  • MultiRecSels.hs
  • ParseBind.hs
  • ParseClass.hs
  • ReWrite5.hs
  • ReWrite6.hs
  • ReWrite7.hs
  • ReWrite8.hs
  • ShadowFieldInline.hs
  • ShadowFieldReflect.hs
  • ShadowMeasure.hs
  • ShadowMeasureVar.hs
  • T1140.hs
  • T1498.hs
  • T1498A.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
  • UnboundVarInReflect.hs
  • UnboundVarInSpec.hs
• ffi-include/
  • foo.c
  • foo.h
• import/
  • client/
    • CliAliasGen00.hs
    • CliRedBlue.hs
    • Client0.hs
    • Client1.hs
    • Client2.hs
    • ExactGADT9.hs
    • FunClashLibLibClient.hs
    • LibRedBlue.hs
    • LiquidArrayInit.hs
    • LiquidArrayNullTerm.hs
    • ListClient.hs
    • NameClashClient.hs
    • RC1015.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
    • WrapClient.hs
  • lib/
    • ExactGADT8.hs
    • FunClashLib.hs
    • FunClashLibLib.hs
    • LibAliasGen00.hs
    • LibBlue.hs
    • LibRed.hs
    • LiquidArray.hs
    • ListLib.hs
    • NameClashLib.hs
    • Peano.hs
    • RL1015.hs
    • ReflectLib0.hs
    • ReflectLib1.hs
    • ReflectLib2.hs
    • ReflectLib3.hs
    • ReflectLib4.hs
    • ReflectLib5.hs
    • ReflectLib6.hs
    • ReflectLib7.hs
    • ReflectLib8.hs
    • RewriteLib.hs
    • STLib.hs
    • T1096_Types.hs
    • T1102_LibX.hs
    • T1102_LibY.hs
    • T1102_LibZ.hs
    • T1104Lib.hs
    • T1112.hs
    • T1112Lib.hs
    • T1117Lib.hs
    • T1118Lib1.hs
    • T1118Lib2.hs
    • T1688Lib.hs
    • WrapLib.hs
    • WrapLibCode.hs
• neg/
  • AbsApp.hs
  • AdtPeano0.hs
  • AdtPeano1.hs
  • Ast.hs
  • AutoSize.hs
  • AutoTerm1.hs
  • Automate.hs
  • BadNats.hs
  • Baz.hs
  • BigNum.hs
  • BinarySearchOverflow.hs
  • Books.hs
  • CastedTotality.hs
  • CharLiterals.hs
  • CheckedNum.hs
  • Class1.hs
  • Class2.hs
  • Class3.hs
  • Class4.hs
  • CompareConstraints.hs
  • Constraints.hs
  • ConstraintsAppend.hs
  • DependentTypes.hs
  • Eval.hs
  • EvalQuery.hs
  • ExactADT6.hs
  • ExactGADT6.hs
  • ExactGADT7.hs
  • Fail.hs
  • Fail1.hs
  • FunSoundness.hs
  • FunctionRef.hs
  • GeneralizedTermination.hs
  • HasElem.hs
  • Hex00.hs
  • HigherOrder.hs
  • HolesTop.hs
  • IntAbsRef.hs
  • LazyWhere.hs
  • LazyWhere1.hs
  • LetRecStack.hs
  • ListConcat.hs
  • ListElem.hs
  • ListKeys.hs
  • ListMSort.hs
  • ListRange.hs
  • LocalSpec.hs
  • MaybeMonad.hs
  • MeasureContains.hs
  • MeasureDups.hs
  • MergeSort.hs
  • MultiParamTypeClasses.hs
  • MultipleInvariants.hs
  • NameResolution.hs
  • NoExhaustiveGuardsError.hs
  • NoMethodBindingError.hs
  • PairMeasure.hs
  • Propability.hs
  • Propability0.hs
  • QQTySig.hs
  • QQTySyn1.hs
  • QQTySyn2.hs
  • RG.hs
  • ReWrite.hs
  • ReWrite2.hs
  • ReWrite3.hs
  • ReWrite4.hs
  • Rebind.hs
  • RecQSort.hs
  • RecSelector.hs
  • SafePartialFunctions.hs
  • Solver.hs
  • StateConstraints.hs
  • StateConstraints0.hs
  • StateConstraints00.hs
  • StrictPair0.hs
  • StrictPair1.hs
  • Strings.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
  • T602.hs
  • T743-mini.hs
  • T743.hs
  • TermReal.hs
  • TerminationNum.hs
  • TerminationNum0.hs
  • TopLevel.hs
  • TotalHaskell.hs
  • TypeLitNat.hs
  • Variance.hs
  • Variance1.hs
  • VerifiedNum.hs
  • alias00.hs
  • ass0.hs
  • bag1.hs
  • concat.hs
  • concat1.hs
  • concat2.hs
  • contra0.hs
  • coretologic.hs
  • csv.hs
  • datacon-eq.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
  • pred.hs
  • prune0.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
  • trans.hs
  • truespec.hs
  • tyclass0-unsafe.hs
  • vector00.hs
  • vector0a.hs
  • vector1a.hs
  • vector2.hs
  • wrap0.hs
  • wrap1.hs
• pos/
  • AVL.hs
  • AVLRJ.hs
  • Abs.hs
  • Ackermann.hs
  • AdtList0.hs
  • AdtList1.hs
  • AdtList2.hs
  • AdtList3.hs
  • AdtList4.hs
  • AdtList5.hs
  • AdtPeano0.hs
  • AdtPeano1.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
  • CharLiterals.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
  • DepData.hs
  • DepTriples.hs
  • DependentPairs.hs
  • DependentPairsFun.hs
  • Eval.hs
  • EvalQuery.hs
  • Even.hs
  • Even0.hs
  • ExactADT6.hs
  • ExactGADT.hs
  • ExactGADT0.hs
  • ExactGADT1.hs
  • ExactGADT2.hs
  • ExactGADT6.hs
  • FFI.hs
  • Fail.hs
  • Fib0.hs
  • FibEq.hs
  • FingerTree.hs
  • Foldl.hs
  • Foo.hs
  • Fractional.hs
  • FractionalInstance.hs
  • GCD.hs
  • GeneralizedTermination.hs
  • GhcSort1.hs
  • GhcSort2.hs
  • GhcSort3.T.hs
  • GhcSort3.hs
  • GoodHMeas.hs
  • Graph.hs
  • HasElem.hs
  • HaskellMeasure.hs
  • HedgeUnion.hs
  • Hex00.hs
  • HigherOrderRecFun.hs
  • Hole00.hs
  • Holes-Slicing.hs
  • Holes.hs
  • Hutton.hs
  • IcfpDemo.hs
  • Ignores.hs
  • Infinity.hs
  • Keys.hs
  • LambdaDeBruijn.hs
  • LambdaEval.hs
  • LambdaEvalMini.hs
  • LambdaEvalSuperTiny.hs
  • LambdaEvalTiny.hs
  • LazyWhere.hs
  • LazyWhere1.hs
  • Lib521.hs
  • ListConcat.hs
  • ListElem.hs
  • ListISort-bag.hs
  • ListISort-perm.hs
  • ListKeys.hs
  • ListLen-LType.hs
  • ListLen.hs
  • ListMSort-LType.hs
  • ListMSort.hs
  • ListQSort-LType.hs
  • ListRange-LType.hs
  • ListRange.hs
  • ListReverse-LType.hs
  • ListSort.hs
  • LocalHole.hs
  • LocalLazy.hs
  • LocalSpec.hs
  • LocalSpecLib.hs
  • LogicCurry1.hs
  • Loo.hs
  • LooLib.hs
  • LooLibLib.hs
  • Map.hs
  • Map0.hs
  • Map2.hs
  • MapFusion.hs
  • MapReduceVerified.hs
  • MaskError.hs
  • MeasureContains.hs
  • MeasureDups.hs
  • MeasureSets.hs
  • Measures.hs
  • Measures1.hs
  • Merge1.hs
  • MergeSort-bag.hs
  • MergeSort.hs
  • Mod.hs
  • ModLib.hs
  • MutualRec.hs
  • MutuallyDependentADT.hs
  • NoCaseExpand.hs
  • NoExhaustiveGuardsError.hs
  • ORM.hs
  • OrdList.hs
  • PairMeasure.hs
  • PairMeasure0.hs
  • Permutation.hs
  • PersistentVector.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
  • 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
  • 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
  • SingletonLists.hs
  • Solver.hs
  • StackClass.hs
  • StackMachine.hs
  • State.hquals
  • State.hs
  • StateConstraints.hs
  • StateConstraints0.hs
  • StateConstraints00.hs
  • StateF00.hs
  • StateLib.hs
  • Streams.hs
  • StrictPair0.hs
  • StrictPair1.hs
  • StringLit.hs
  • Strings.hs
  • StructRec.hs
  • Sum.hs
  • T1013.hs
  • T1013A.hs
  • T1024.hs
  • T1025.hs
  • T1025a.hs
  • T1034.hs
  • T1045.hs
  • T1045a.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.2.hs
  • T1278.3.hs
  • T1278.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
  • T1709.hs
  • T385.hs
  • T531.hs
  • T595.hs
  • T595a.hs
  • T598.hs
  • T716.hs
  • T819.hs
  • T819A.hs
  • T820.hs
  • T866.hs
  • T914.hs
  • Term.hs
  • Termination.hs
  • 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
  • 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
  • bag1.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
  • coretologic.hs
  • csgordon_issue_296.hs
  • cut00.hs
  • data2.hs
  • dataConQuals.hs
  • datacon-inv.hs
  • datacon0.hs
  • datacon1.hs
  • deepmeas0.hs
  • deptup.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
  • 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
  • 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
  • meas4.hs
  • meas5.hs
  • meas6.hs
  • meas7.hs
  • meas8.hs
  • meas9.hs
  • modTest.hs
  • monad2.hs
  • monad5.hs
  • monad6.hs
  • multi-pred-app-00.hs
  • mutrec.hs
  • nats.hs
  • niki.hs
  • niki1.hs
  • pair.hs
  • pair0.hs
  • pair00.hs
  • pargs.hs
  • pargs1.hs
  • partial-tycon.hs
  • partialmeasure.hs
  • ple1.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
  • 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