Cabal revisions of ivory-0.1.0.6
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
--- Initial ivory.cabal generated by cabal init. For further documentation,--- see http://haskell.org/cabal/users-guide/--name: ivory-version: 0.1.0.6-author: Galois, Inc.-maintainer: trevor@galois.com, leepike@galois.com-category: Language-synopsis: Safe embedded C programming.-description: Using GHC type-system extensions, enforces safe low-level programming, while maintaining expressiveness.-homepage: http://ivorylang.org-build-type: Simple-cabal-version: >= 1.10-license: BSD3-license-file: LICENSE-source-repository this- type: git- location: https://github.com/GaloisInc/ivory- tag: hackage-0.1.0.4--library- exposed-modules: Ivory.Language,- Ivory.Language.Effects,- Ivory.Language.Monad,- Ivory.Language.Area,- Ivory.Language.Array,- Ivory.Language.Assert,- Ivory.Language.Bits,- Ivory.Language.BitData.Array,- Ivory.Language.BitData.BitData,- Ivory.Language.BitData.Bits,- Ivory.Language.BitData.DefBitRep,- Ivory.Language.BitData.Monad,- Ivory.Language.BoundedInteger,- Ivory.Language.CArray,- Ivory.Language.Cast,- Ivory.Language.Comment,- Ivory.Language.Cond,- Ivory.Language.Const,- Ivory.Language.Coroutine,- Ivory.Language.Float,- Ivory.Language.IBool,- Ivory.Language.IChar,- Ivory.Language.IIntegral,- Ivory.Language.Init,- Ivory.Language.IString,- Ivory.Language.Loop,- Ivory.Language.MemArea,- Ivory.Language.Module,- Ivory.Language.Pointer,- Ivory.Language.Proc,- Ivory.Language.Proxy,- Ivory.Language.Ptr,- Ivory.Language.Ref,- Ivory.Language.Scope,- Ivory.Language.Sint,- Ivory.Language.SizeOf,- Ivory.Language.String,- Ivory.Language.Struct,- Ivory.Language.Syntax.Concrete.Lexer,- Ivory.Language.Syntax.Concrete.Lexeme,- Ivory.Language.Syntax.Concrete.Location,- Ivory.Language.Syntax.Concrete.Parser,- Ivory.Language.Syntax.Concrete.ParseAST,- Ivory.Language.Syntax.Concrete.ParseCore,- Ivory.Language.Syntax.Concrete.Pretty,- Ivory.Language.Syntax.Concrete.QQ,- Ivory.Language.Syntax.Concrete.QQ.AreaQQ,- Ivory.Language.Syntax.Concrete.QQ.BindExp,- Ivory.Language.Syntax.Concrete.QQ.BitDataQQ,- Ivory.Language.Syntax.Concrete.QQ.Common,- Ivory.Language.Syntax.Concrete.QQ.CondQQ,- Ivory.Language.Syntax.Concrete.QQ.ExprQQ,- Ivory.Language.Syntax.Concrete.QQ.ProcQQ,- Ivory.Language.Syntax.Concrete.QQ.StmtQQ,- Ivory.Language.Syntax.Concrete.QQ.StructQQ,- Ivory.Language.Syntax.Concrete.QQ.TypeQQ,- Ivory.Language.Syntax,- Ivory.Language.Syntax.AST,- Ivory.Language.Syntax.Type,- Ivory.Language.Syntax.Names,- Ivory.Language.Type,- Ivory.Language.Uint- build-tools: alex, happy- build-depends: base >= 4.7 && < 5,- base-compat,- pretty >= 1.1,- containers >= 0.5,- monadLib >= 3.7,- template-haskell >= 2.8,- filepath,- text,- dlist >= 0.5,- th-lift >= 0.5.5,- array- hs-source-dirs: src- default-language: Haskell2010-- ghc-options: -Wall- if impl(ghc == 8.0.1)- ghc-options: -Wno-redundant-constraints+-- Initial ivory.cabal generated by cabal init. For further documentation, +-- see http://haskell.org/cabal/users-guide/ + +name: ivory +version: 0.1.0.6 +x-revision: 1 +author: Galois, Inc. +maintainer: trevor@galois.com, leepike@galois.com +category: Language +synopsis: Safe embedded C programming. +description: Using GHC type-system extensions, enforces safe low-level programming, while maintaining expressiveness. +homepage: http://ivorylang.org +build-type: Simple +cabal-version: >= 1.10 +license: BSD3 +license-file: LICENSE +source-repository this + type: git + location: https://github.com/GaloisInc/ivory + tag: hackage-0.1.0.4 + +library + exposed-modules: Ivory.Language, + Ivory.Language.Effects, + Ivory.Language.Monad, + Ivory.Language.Area, + Ivory.Language.Array, + Ivory.Language.Assert, + Ivory.Language.Bits, + Ivory.Language.BitData.Array, + Ivory.Language.BitData.BitData, + Ivory.Language.BitData.Bits, + Ivory.Language.BitData.DefBitRep, + Ivory.Language.BitData.Monad, + Ivory.Language.BoundedInteger, + Ivory.Language.CArray, + Ivory.Language.Cast, + Ivory.Language.Comment, + Ivory.Language.Cond, + Ivory.Language.Const, + Ivory.Language.Coroutine, + Ivory.Language.Float, + Ivory.Language.IBool, + Ivory.Language.IChar, + Ivory.Language.IIntegral, + Ivory.Language.Init, + Ivory.Language.IString, + Ivory.Language.Loop, + Ivory.Language.MemArea, + Ivory.Language.Module, + Ivory.Language.Pointer, + Ivory.Language.Proc, + Ivory.Language.Proxy, + Ivory.Language.Ptr, + Ivory.Language.Ref, + Ivory.Language.Scope, + Ivory.Language.Sint, + Ivory.Language.SizeOf, + Ivory.Language.String, + Ivory.Language.Struct, + Ivory.Language.Syntax.Concrete.Lexer, + Ivory.Language.Syntax.Concrete.Lexeme, + Ivory.Language.Syntax.Concrete.Location, + Ivory.Language.Syntax.Concrete.Parser, + Ivory.Language.Syntax.Concrete.ParseAST, + Ivory.Language.Syntax.Concrete.ParseCore, + Ivory.Language.Syntax.Concrete.Pretty, + Ivory.Language.Syntax.Concrete.QQ, + Ivory.Language.Syntax.Concrete.QQ.AreaQQ, + Ivory.Language.Syntax.Concrete.QQ.BindExp, + Ivory.Language.Syntax.Concrete.QQ.BitDataQQ, + Ivory.Language.Syntax.Concrete.QQ.Common, + Ivory.Language.Syntax.Concrete.QQ.CondQQ, + Ivory.Language.Syntax.Concrete.QQ.ExprQQ, + Ivory.Language.Syntax.Concrete.QQ.ProcQQ, + Ivory.Language.Syntax.Concrete.QQ.StmtQQ, + Ivory.Language.Syntax.Concrete.QQ.StructQQ, + Ivory.Language.Syntax.Concrete.QQ.TypeQQ, + Ivory.Language.Syntax, + Ivory.Language.Syntax.AST, + Ivory.Language.Syntax.Type, + Ivory.Language.Syntax.Names, + Ivory.Language.Type, + Ivory.Language.Uint + build-tools: alex, happy + build-depends: base >= 4.7 && < 5, + base-compat, + pretty >= 1.1, + containers >= 0.5, + monadLib >= 3.7, + template-haskell >= 2.8 && <2.12, + filepath, + text, + dlist >= 0.5, + th-lift >= 0.5.5, + array + hs-source-dirs: src + default-language: Haskell2010 + + ghc-options: -Wall + if impl(ghc == 8.0.1) + ghc-options: -Wno-redundant-constraints