Cabal revisions of liquidhaskell-0.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: liquidhaskell-Version: 0.1-Copyright: 2010-13 Ranjit Jhala, University of California, San Diego.-build-type: Simple-Synopsis: Liquid Types for Haskell -Description: Liquid Types for Haskell.-Homepage: http://goto.ucsd.edu/liquidhaskell-License: GPL-License-file: LICENSE-Author: Ranjit Jhala-Maintainer: Ranjit Jhala <jhala@cs.ucsd.edu>-Category: Language-Build-Type: Simple-Cabal-version: >=1.8--data-files: include/*.hquals- , include/*.hs- , include/*.spec- , include/Control/*.spec- , include/Data/*.hquals- , include/Data/*.spec- , include/Data/Text/*.spec- , include/Data/Text/Fusion/*.spec- , include/Data/Text/Lazy/*.spec- , include/Foreign/*.spec- , include/Foreign/C/*.spec- , include/Foreign/Marshal/*.spec- , include/GHC/List.lhs- , include/GHC/*.hquals- , include/GHC/*.spec- , include/GHC/IO/*.spec- , include/Language/Haskell/Liquid/List.hs- , include/Language/Haskell/Liquid/Prelude.hs- , include/Language/Haskell/Liquid/Prelude.pred- , include/System/*.spec- , syntax/liquid.css--Executable liquid - Build-Depends: base >= 4 && < 5- , ghc==7.6.3- , ansi-terminal- , bifunctors- , cmdargs- , containers- , cpphs- , deepseq- , directory- , Diff- , filemanip- , filepath- , ghc-paths- , hscolour- , mtl- , parsec- , pretty- , process- , syb- , text- , vector- , liquid-fixpoint- , hashable<1.2- , unordered-containers- , aeson- , bytestring- -- , liquidtypes-- Main-is: Liquid.hs- --ghc-options: -O -W- Extensions: PatternGuards--Library- Build-Depends: base- , ghc==7.6.3- , ansi-terminal- , bifunctors- , cmdargs- , containers- , cpphs- , deepseq- , directory- , Diff- , filemanip- , filepath- , ghc-paths- , hscolour- , mtl- , parsec- , pretty- , process- , syb- , text- , vector- , hashable<1.2- , unordered-containers- , liquid-fixpoint- , aeson- , bytestring- - hs-source-dirs: include, .- - Exposed-Modules: Language.Haskell.Liquid.Prelude,- Language.Haskell.Liquid.List, - Language.Haskell.Liquid.PrettyPrint, - Language.Haskell.Liquid.Bare,- Language.Haskell.Liquid.Constraint, - Language.Haskell.Liquid.Measure, - Language.Haskell.Liquid.Parse, - Language.Haskell.Liquid.GhcInterface, - Language.Haskell.Liquid.RefType, - Language.Haskell.Liquid.PredType, - Language.Haskell.Liquid.Predicates, - Language.Haskell.Liquid.ACSS, - Language.Haskell.Liquid.DiffCheck, - Language.Haskell.Liquid.ANFTransform, - Language.Haskell.Liquid.Annotate, - Language.Haskell.Liquid.CTags, - Language.Haskell.Liquid.CmdLine, - Language.Haskell.Liquid.GhcMisc, - Language.Haskell.Liquid.Misc, - Language.Haskell.Liquid.Qualifier, - Language.Haskell.Liquid.TransformRec, - Language.Haskell.Liquid.Tidy, - Language.Haskell.Liquid.Types- Language.Haskell.Liquid.Fresh- - other-modules: Language.Haskell.Liquid.Desugar.Desugar- Language.Haskell.Liquid.Desugar.DsExpr,- Language.Haskell.Liquid.Desugar.DsListComp,- Language.Haskell.Liquid.Desugar.MatchCon,- Language.Haskell.Liquid.Desugar.MatchLit,- Language.Haskell.Liquid.Desugar.DsArrows,- Language.Haskell.Liquid.Desugar.DsUtils,- Language.Haskell.Liquid.Desugar.Match,- Language.Haskell.Liquid.Desugar.DsBinds,- Language.Haskell.Liquid.Desugar.DsGRHSs,- Language.Haskell.Liquid.Desugar.HscMain- --ghc-options: -O -W- Extensions: PatternGuards--+Name: liquidhaskell +Version: 0.1 +x-revision: 1 +Copyright: 2010-13 Ranjit Jhala, University of California, San Diego. +build-type: Simple +Synopsis: Liquid Types for Haskell +Description: Liquid Types for Haskell. +Homepage: http://goto.ucsd.edu/liquidhaskell +License: GPL +License-file: LICENSE +Author: Ranjit Jhala +Maintainer: Ranjit Jhala <jhala@cs.ucsd.edu> +Category: Language +Build-Type: Simple +Cabal-version: >=1.8 + +data-files: include/*.hquals + , include/*.hs + , include/*.spec + , include/Control/*.spec + , include/Data/*.hquals + , include/Data/*.spec + , include/Data/Text/*.spec + , include/Data/Text/Fusion/*.spec + , include/Data/Text/Lazy/*.spec + , include/Foreign/*.spec + , include/Foreign/C/*.spec + , include/Foreign/Marshal/*.spec + , include/GHC/List.lhs + , include/GHC/*.hquals + , include/GHC/*.spec + , include/GHC/IO/*.spec + , include/Language/Haskell/Liquid/List.hs + , include/Language/Haskell/Liquid/Prelude.hs + , include/Language/Haskell/Liquid/Prelude.pred + , include/System/*.spec + , syntax/liquid.css + +Executable liquid + Build-Depends: base >= 4 && < 5 + , ghc==7.6.3 + , ansi-terminal + , bifunctors + , cmdargs + , containers + , cpphs + , deepseq + , directory + , Diff + , filemanip + , filepath + , ghc-paths + , hscolour + , mtl + , parsec + , pretty + , process + , syb + , text + , vector + , liquid-fixpoint + , hashable<1.2 + , unordered-containers + , aeson + , bytestring + -- , liquidtypes + + Main-is: Liquid.hs + --ghc-options: -O -W + Extensions: PatternGuards + +Library + Build-Depends: base + , ghc==7.6.3 + , ansi-terminal + , bifunctors + , cmdargs + , containers + , cpphs + , deepseq + , directory + , Diff + , filemanip + , filepath + , ghc-paths + , hscolour + , mtl + , parsec + , pretty + , process + , syb + , text + , vector + , hashable<1.2 + , unordered-containers + , liquid-fixpoint < 0.2 + , aeson + , bytestring + + hs-source-dirs: include, . + + Exposed-Modules: Language.Haskell.Liquid.Prelude, + Language.Haskell.Liquid.List, + Language.Haskell.Liquid.PrettyPrint, + Language.Haskell.Liquid.Bare, + Language.Haskell.Liquid.Constraint, + Language.Haskell.Liquid.Measure, + Language.Haskell.Liquid.Parse, + Language.Haskell.Liquid.GhcInterface, + Language.Haskell.Liquid.RefType, + Language.Haskell.Liquid.PredType, + Language.Haskell.Liquid.Predicates, + Language.Haskell.Liquid.ACSS, + Language.Haskell.Liquid.DiffCheck, + Language.Haskell.Liquid.ANFTransform, + Language.Haskell.Liquid.Annotate, + Language.Haskell.Liquid.CTags, + Language.Haskell.Liquid.CmdLine, + Language.Haskell.Liquid.GhcMisc, + Language.Haskell.Liquid.Misc, + Language.Haskell.Liquid.Qualifier, + Language.Haskell.Liquid.TransformRec, + Language.Haskell.Liquid.Tidy, + Language.Haskell.Liquid.Types + Language.Haskell.Liquid.Fresh + + other-modules: Language.Haskell.Liquid.Desugar.Desugar + Language.Haskell.Liquid.Desugar.DsExpr, + Language.Haskell.Liquid.Desugar.DsListComp, + Language.Haskell.Liquid.Desugar.MatchCon, + Language.Haskell.Liquid.Desugar.MatchLit, + Language.Haskell.Liquid.Desugar.DsArrows, + Language.Haskell.Liquid.Desugar.DsUtils, + Language.Haskell.Liquid.Desugar.Match, + Language.Haskell.Liquid.Desugar.DsBinds, + Language.Haskell.Liquid.Desugar.DsGRHSs, + Language.Haskell.Liquid.Desugar.HscMain + --ghc-options: -O -W + Extensions: PatternGuards + +