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

Directory listing for liquidhaskell-0.6.0.1 source tarball

liquidhaskell-0.6.0.1/

• LICENSE
• Setup.hs
• liquidhaskell.cabal
• 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
  • Data/
    • Bits.spec
    • Either.spec
    • Foldable.spec
    • Int.spec
    • List.spec
    • Maybe.spec
    • Set.spec
    • Tuple.spec
    • Vector.hquals
    • Vector.spec
    • Word.spec
    • Text/
      • Fusion.spec
      • Fusion/
        • Common.spec
      • Lazy/
        • Fusion.spec
  • Foreign/
    • ForeignPtr.spec
    • Ptr.spec
    • Storable.spec
    • C/
      • String.spec
      • Types.spec
    • Marshal/
      • Alloc.spec
      • Array.spec
  • GHC/
    • Base.hquals
    • Base.spec
    • CString.spec
    • Classes.spec
    • ForeignPtr.spec
    • Int.spec
    • List.spec
    • Num.spec
    • Prim.spec
    • Ptr.spec
    • Read.spec
    • Real.spec
    • Types.spec
    • Word.spec
    • IO/
      • Handle.spec
  • Language/
    • Haskell/
      • Liquid/
        • Foreign.hs
        • List.hs
        • Prelude.hs
        • Prelude.pred
  • System/
    • IO.spec
• src/
  • LHi.hs
  • Liquid.hs
  • Language/
    • Haskell/
      • Liquid/
        • Bare.hs
        • Liquid.hs
        • Measure.hs
        • Misc.hs
        • Parse.hs
        • Types.hs
        • WiredIn.hs
        • Bare/
          • Axiom.hs
          • Check.hs
          • DataType.hs
          • Env.hs
          • Existential.hs
          • Expand.hs
          • GhcSpec.hs
          • Lookup.hs
          • Measure.hs
          • Misc.hs
          • OfType.hs
          • Plugged.hs
          • RTEnv.hs
          • RefToLogic.hs
          • Resolve.hs
          • Spec.hs
          • SymSort.hs
        • Constraint/
          • Axioms.hs
          • Constraint.hs
          • Env.hs
          • Fresh.hs
          • Generate.hs
          • Monad.hs
          • ProofToCore.hs
          • Qualifier.hs
          • Split.hs
          • ToFixpoint.hs
          • Types.hs
        • Desugar710/
          • Check.hs
          • Coverage.hs
          • Desugar.hs
          • DsArrows.hs
          • DsBinds.hs
          • DsCCall.hs
          • DsExpr.hs
          • DsExpr.hs-boot
          • DsForeign.hs
          • DsGRHSs.hs
          • DsListComp.hs
          • DsMeta.hs
          • DsUtils.hs
          • HscMain.hs
          • Match.hs
          • Match.hs-boot
          • MatchCon.hs
          • MatchLit.hs
        • GHC/
          • Interface.hs
          • Misc.hs
          • Play.hs
          • SpanStack.hs
        • Interactive/
          • Handler.hs
          • Types.hs
        • Prover/
          • Constants.hs
          • Misc.hs
          • Names.hs
          • Parser.hs
          • Pretty.hs
          • SMTInterface.hs
          • Solve.hs
          • Types.hs
        • Transforms/
          • ANF.hs
          • CoreToLogic.hs
          • Rec.hs
          • RefSplit.hs
          • Simplify.hs
        • Types/
          • Bounds.hs
          • Dictionaries.hs
          • Errors.hs
          • Literals.hs
          • Meet.hs
          • Names.hs
          • PredType.hs
          • PrettyPrint.hs
          • RefType.hs
          • Specifications.hs
          • Strata.hs
          • Variance.hs
          • Visitors.hs
        • UX/
          • ACSS.hs
          • Annotate.hs
          • CTags.hs
          • CmdLine.hs
          • Config.hs
          • DiffCheck.hs
          • Errors.hs
          • Tidy.hs
• syntax/
  • liquid.css
• tests/
  • test.hs
  • crash/
    • AbsRef.hs
    • Assume.hs
    • Assume1.hs
    • Ast.hs
    • BadExprArg.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
    • FunRef1.hs
    • FunRef2.hs
    • HaskellMeasure.hs
    • LocalHole.hs
    • LocalTermExpr.hs
    • Mismatch.hs
    • MultipleRecordSelectors.hs
    • Qualif.hs
    • RClass.hs
    • T649.hs
    • Unbound.hs
    • errmsg-dc-num.hs
    • errmsg-dc-type.hs
    • errmsg-mismatch.hs
    • funref.hs
    • hole-crash1.hs
    • hole-crash2.hs
    • hole-crash3.hs
    • issue594.hs
    • num-float-error.hs
    • num-float-error1.hs
    • predparams.hs
    • typeAliasDup.hs
  • ffi-include/
    • foo.c
    • foo.h
  • neg/
    • AbsApp.hs
    • Ast.hs
    • AutoSize.hs
    • BadHMeas.hs
    • Baz.hs
    • BigNum.hs
    • Books.hs
    • CastedTotality.hs
    • Class1.hs
    • Class2.hs
    • Class3.hs
    • Class4.hs
    • Class5.hs
    • CompareConstraints.hs
    • Constraints.hs
    • ConstraintsAppend.hs
    • Eval.hs
    • Even.hs
    • FunSoundness.hs
    • GADTs.hs
    • GeneralizedTermination.hs
    • Gradual.hs
    • HasElem.hs
    • HolesTop.hs
    • LazyWhere.hs
    • LazyWhere1.hs
    • LiquidClass.hs
    • LiquidClass1.hs
    • ListConcat.hs
    • ListElem.hs
    • ListISort-LType.hs
    • ListISort.hs
    • ListKeys.hs
    • ListMSort.hs
    • ListQSort.hs
    • ListRange.hs
    • LocalSpec.hs
    • MeasureContains.hs
    • MeasureDups.hs
    • NoExhaustiveGuardsError.hs
    • NoMethodBindingError.hs
    • PairMeasure.hs
    • Propability.hs
    • Propability0.hs
    • RG.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
    • T602.hs
    • TermReal.hs
    • TerminationNum.hs
    • TerminationNum0.hs
    • TopLevel.hs
    • Variance.hs
    • Variance1.hs
    • alias00.hs
    • ass0.hs
    • concat.hs
    • concat1.hs
    • concat2.hs
    • contra0.hs
    • coretologic.hs
    • csv.hs
    • datacon-eq.hs
    • deppair0.hs
    • deptupW.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
    • 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
    • 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
  • pos/
    • AVL.hs
    • AVLRJ.hs
    • Abs.hs
    • Ackermann.hs
    • AmortizedQueue.hs
    • Assume.hs
    • AssumedRecursive.hs
    • AutoSize.hs
    • Avg.hs
    • BST.hs
    • BST000.hs
    • BinarySearch.hs
    • Books.hs
    • Class.hs
    • Class2.hs
    • ClassReg.hs
    • Coercion.hs
    • CompareConstraints.hs
    • Constraints.hs
    • ConstraintsAppend.hs
    • CountMonad.hs
    • DB00.hs
    • DataBase.hs
    • Eval.hs
    • Even.hs
    • Even0.hs
    • FFI.hs
    • Foo.hs
    • Fractional.hs
    • GADTs.hs
    • GCD.hs
    • GeneralizedTermination.hs
    • GhcListSort.hs
    • GhcSort1.hs
    • GhcSort2.hs
    • GhcSort3.hs
    • Goo.hs
    • GoodHMeas.hs
    • Gradual.hs
    • Graph.hs
    • HasElem.hs
    • HaskellMeasure.hs
    • HedgeUnion.hs
    • HigherOrderRecFun.hs
    • Holes.hs
    • IcfpDemo.hs
    • Infinity.hs
    • Invariants.hs
    • Keys.hs
    • LambdaDeBruijn.hs
    • LambdaEval.hs
    • LambdaEvalMini.hs
    • LambdaEvalSuperTiny.hs
    • LambdaEvalTiny.hs
    • LazyWhere.hs
    • LazyWhere1.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
    • Loo.hs
    • Map.hs
    • Map0.hs
    • Map2.hs
    • MeasureContains.hs
    • MeasureDups.hs
    • MeasureSets.hs
    • Measures.hs
    • Measures1.hs
    • Merge1.hs
    • Mod1.hs
    • Mod2.hs
    • Moo.hs
    • MutualRec.hs
    • NoCaseExpand.hs
    • NoExhaustiveGuardsError.hs
    • OrdList.hs
    • Overwrite.hs
    • PairMeasure.hs
    • PairMeasure0.hs
    • Permutation.hs
    • PlugHoles.hs
    • PointDist.hs
    • Product.hs
    • Propability.hs
    • RBTree-col-height.hs
    • RBTree-color.hs
    • RBTree-height.hs
    • RBTree-ord.hs
    • RBTree.hs
    • RealProps.hs
    • RealProps1.hs
    • RecQSort.hs
    • RecQSort0.hs
    • RecSelector.hs
    • RecordSelectorError.hs
    • RelativeComplete.hs
    • Repeat.hs
    • Resolve.hs
    • ResolveA.hs
    • ResolveB.hs
    • ResolvePred.hs
    • SafePartialFunctions.hs
    • SimplerNotation.hs
    • Solver.hs
    • StackClass.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
    • T531.hs
    • T595.hs
    • T595a.hs
    • T598.hs
    • Term.hs
    • TerminationNum.hs
    • TerminationNum0.hs
    • Test761.hs
    • TokenType.hs
    • TopLevel.hs
    • ToyMVar.hs
    • TypeAlias.hs
    • Variance.hs
    • WBL.hs
    • WBL0.hs
    • Words.hs
    • Words1.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
    • bar.hs
    • bounds1.hs
    • case-lambda-join.hs
    • cmptag0.hs
    • compare.hs
    • compare1.hs
    • compare2.hs
    • comprehensionTerm.hs
    • contra0.hs
    • coretologic.hs
    • csgordon_issue_296.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
    • 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
    • kmp.hs
    • kmpIO.hs
    • kmpVec.hs
    • lets.hs
    • lex.hs
    • listAnf.hs
    • listSet.hquals
    • listSet.hs
    • listSetDemo.hs
    • listqual.hs
    • lit.hs
    • malformed0.hs
    • mapTvCrash.hs
    • mapreduce-bare.hs
    • mapreduce.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
    • repeatHigherOrder.hs
    • risers.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
    • test000.hs
    • 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