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

Directory listing for liquidhaskell-0.8.2.0 candidate source tarball

liquidhaskell-0.8.2.0/tests/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