ehmry/dhall-haskell
ehmry/dhall-haskell
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
b21a3b8c0e
dhall-haskell/dhall.cabal

170 lines
5.1 KiB
Plaintext
Raw Normal View History

Initial commit
2016-09-07 18:17:12 +02:00
Name: dhall
Version 1.5.1 => 1.6.0
2017-09-02 19:01:20 +02:00
Version: 1.6.0
Initial commit
2016-09-07 18:17:12 +02:00
Cabal-Version: >=1.8.0.2
Build-Type: Simple
Drop support for GHC 7 (#106) The main motivation for this change is to take advantage of new features in GHC 8. Dropping support for GHC 7 seems reasonable given that even Debian stable is on GHC 8
2017-08-23 19:35:31 +02:00
Tested-With: GHC == 8.0.1
Initial commit
2016-09-07 18:17:12 +02:00
License: BSD3
License-File: LICENSE
Update LICENSE
2017-01-29 23:59:16 +01:00
Copyright: 2017 Gabriel Gonzalez
Initial commit
2016-09-07 18:17:12 +02:00
Author: Gabriel Gonzalez
Maintainer: Gabriel439@gmail.com
Bug-Reports: https://github.com/Gabriel439/Haskell-Dhall-Library/issues
Synopsis: A configuration language guaranteed to terminate
Description:
Dhall is an explicitly typed configuration language that is not Turing
complete. Despite being Turing incomplete, Dhall is a real programming
language with a type-checker and evaluator.
.
Use this library to parse, type-check, evaluate, and pretty-print the Dhall
configuration language. This package also includes an executable which
type-checks a Dhall file and reduces the file to a fully evaluated normal
form.
.
Read "Dhall.Tutorial" to learn how to use this library
Category: Compiler
Add tests for Prelude examples (#56) This adds tests that match the examples in the Prelude documentation and also fixes a couple of mistakes caught along the way
2017-05-14 19:45:24 +02:00
Extra-Source-Files:
CHANGELOG.md
Prelude/Bool/and
Prelude/Bool/build
Prelude/Bool/even
Prelude/Bool/fold
Prelude/Bool/not
Prelude/Bool/odd
Prelude/Bool/or
Update Prelude (#57) This adds new builtins to the Prelude and also adds corresponding tests
2017-05-15 21:54:28 +02:00
Prelude/Bool/show
Prelude/Double/show
Prelude/Integer/show
Add tests for Prelude examples (#56) This adds tests that match the examples in the Prelude documentation and also fixes a couple of mistakes caught along the way
2017-05-14 19:45:24 +02:00
Prelude/List/all
Prelude/List/any
Prelude/List/build
Prelude/List/concat
Add `./Prelude/List/concatMap` (#105) Fixes #104
2017-08-22 22:18:13 +02:00
Prelude/List/concatMap
Add tests for Prelude examples (#56) This adds tests that match the examples in the Prelude documentation and also fixes a couple of mistakes caught along the way
2017-05-14 19:45:24 +02:00
Prelude/List/filter
Prelude/List/fold
Prelude/List/generate
Prelude/List/head
Prelude/List/indexed
Prelude/List/iterate
Prelude/List/last
Prelude/List/length
Prelude/List/map
Prelude/List/null
Prelude/List/replicate
Prelude/List/reverse
Prelude/List/shifted
Prelude/List/unzip
Prelude/Monoid
Prelude/Natural/build
Prelude/Natural/enumerate
Prelude/Natural/even
Prelude/Natural/fold
Prelude/Natural/isZero
Prelude/Natural/odd
Prelude/Natural/product
Update Prelude (#57) This adds new builtins to the Prelude and also adds corresponding tests
2017-05-15 21:54:28 +02:00
Prelude/Natural/show
Add tests for Prelude examples (#56) This adds tests that match the examples in the Prelude documentation and also fixes a couple of mistakes caught along the way
2017-05-14 19:45:24 +02:00
Prelude/Natural/sum
Update Prelude (#57) This adds new builtins to the Prelude and also adds corresponding tests
2017-05-15 21:54:28 +02:00
Prelude/Natural/toInteger
Add missing `Prelude` files to `Extra-Source-Files` This fixes build failures in Dhall package archives downloaded from Hackage
2017-06-17 22:30:48 +02:00
Prelude/Optional/all
Prelude/Optional/any
Add tests for Prelude examples (#56) This adds tests that match the examples in the Prelude documentation and also fixes a couple of mistakes caught along the way
2017-05-14 19:45:24 +02:00
Prelude/Optional/build
Prelude/Optional/concat
Add missing `Prelude` files to `Extra-Source-Files` This fixes build failures in Dhall package archives downloaded from Hackage
2017-06-17 22:30:48 +02:00
Prelude/Optional/filter
Add tests for Prelude examples (#56) This adds tests that match the examples in the Prelude documentation and also fixes a couple of mistakes caught along the way
2017-05-14 19:45:24 +02:00
Prelude/Optional/fold
Prelude/Optional/head
Prelude/Optional/last
Add missing `Prelude` files to `Extra-Source-Files` This fixes build failures in Dhall package archives downloaded from Hackage
2017-06-17 22:30:48 +02:00
Prelude/Optional/length
Add tests for Prelude examples (#56) This adds tests that match the examples in the Prelude documentation and also fixes a couple of mistakes caught along the way
2017-05-14 19:45:24 +02:00
Prelude/Optional/map
Add missing `Prelude` files to `Extra-Source-Files` This fixes build failures in Dhall package archives downloaded from Hackage
2017-06-17 22:30:48 +02:00
Prelude/Optional/null
Add tests for Prelude examples (#56) This adds tests that match the examples in the Prelude documentation and also fixes a couple of mistakes caught along the way
2017-05-14 19:45:24 +02:00
Prelude/Optional/toList
Prelude/Optional/unzip
Prelude/Text/concat
Add missing `Prelude` files to `Extra-Source-Files` This fixes build failures in Dhall package archives downloaded from Hackage
2017-06-17 22:30:48 +02:00
Prelude/Text/concatMap
Prelude/Text/concatMapSep
Prelude/Text/concatSep
Add tests for Prelude examples (#56) This adds tests that match the examples in the Prelude documentation and also fixes a couple of mistakes caught along the way
2017-05-14 19:45:24 +02:00
Initial commit
2016-09-07 18:17:12 +02:00
Source-Repository head
Type: git
Location: https://github.com/Gabriel439/Haskell-Dhall-Library
Library
Hs-Source-Dirs: src
Build-Depends:
Increase lower bound on `base` (#114) This change signals that we don't intend to build against versions of `ghc` earlier than `ghc-8.0.1` any longer. `base-4.9.0.0` is the version that shipped with `ghc-8.0.1`
2017-08-28 21:54:31 +02:00
base >= 4.9.0.0 && < 5 ,
Add version bounds to dependencies
2016-11-04 05:15:34 +01:00
ansi-wl-pprint < 0.7 ,
Switch to `happy` for parsing and simplify the `alex` lexer
2016-09-12 05:38:37 +02:00
bytestring < 0.11,
Add support for additional headers for URL imports. Fixes #45 (#71) Users can now supply additional headers for URL imports using the new `using` keyword, like this: ```haskell http://example.com using ./headers ``` ... where `./headers` must be a value of type: ```haskell { header : Text, value : Text } ``` The argument to `using` must be an import (such as a file, URL, or env import) and cannot be an inline Dhall expression. There are two reasons why: * The header expression is resolved, type-checked, and normalized in a separate phase preceding the import of the corresponding URL so it does not have access to bound variables in scop * This restriction greatly simplifies the implementation Also, headers are automatically forwarded to relative imports, so if you import a URL like this: ```haskell http://example.com using ./headers ``` ... and that serves a file like: ```haskell ./foo ``` ... then Dhall will import `http://example.com/foo` using the same `./headers`.
2017-06-17 16:14:37 +02:00
case-insensitive < 1.3 ,
Forbid additional characters from paths (#58) This reduces the number of situations where users have to end a path with a space
2017-05-16 18:17:19 +02:00
charset < 0.4 ,
Initial commit
2016-09-07 18:17:12 +02:00
containers >= 0.5.0.0 && < 0.6 ,
Add support for marshaling simple Dhall functions to Haskell functions (#88)
2017-07-22 13:53:24 +02:00
contravariant < 1.5 ,
Ability to load expressions purely. (#93) Note: This is a breaking change because this changes the type of `loadWith`
2017-08-15 22:16:02 +02:00
exceptions >= 0.8.3 && < 0.9 ,
Boost http-client upperbound and fix compilation fallout
2016-12-17 17:38:02 +01:00
http-client >= 0.4.30 && < 0.6 ,
http-client-tls >= 0.2.0 && < 0.4 ,
Replace `microlens*` dependencies with `lens`. Fixes #20 `trifecta` already depends on `lens`, so using `microlens` does not actually trim down the dependency tree. Quite the opposite: it adds two unnecessary dependencies.
2017-01-29 23:44:09 +01:00
lens >= 2.4 && < 4.16,
Add version bounds to dependencies
2016-11-04 05:15:34 +01:00
parsers >= 0.12.4 && < 0.13,
Add `dhall-format` executable (#137) Fixes https://github.com/dhall-lang/dhall-lang/issues/8 This takes a Dhall expression on standard input and outputs the same expression to standard output except pretty-printed in a standard format
2017-09-17 17:18:15 +02:00
prettyprinter >= 1.1.1 && < 1.2 ,
Initial commit
2016-09-07 18:17:12 +02:00
system-filepath >= 0.3.1 && < 0.5 ,
system-fileio >= 0.2.1 && < 0.4 ,
text >= 0.11.1.0 && < 1.3 ,
text-format < 0.4 ,
transformers >= 0.2.0.0 && < 0.6 ,
Relax bound on trifecta for GHC 8.2 (#67) trifecta-1.7 is the first version of trifecta that builds with GHC 8.2 and Cabal 2.0
2017-06-15 15:13:53 +02:00
trifecta >= 1.6 && < 1.8 ,
Add version bounds to dependencies
2016-11-04 05:15:34 +01:00
unordered-containers >= 0.1.3.0 && < 0.3 ,
Increase upper bound on `vector` (#46)
2017-05-07 17:34:39 +02:00
vector >= 0.11.0.0 && < 0.13
Initial commit
2016-09-07 18:17:12 +02:00
Exposed-Modules:
Add support for decoding into records using GHC generics Also began the tutorial
2016-09-09 18:17:25 +02:00
Dhall,
Initial commit
2016-09-07 18:17:12 +02:00
Dhall.Context,
Dhall.Core,
Dhall.Import,
Move type-checking logic to separate `Dhall.TypeCheck` module The error messages alone warranted separating this out into a separate module
2016-10-18 03:34:51 +02:00
Dhall.Parser,
Update documentation
2016-11-25 04:15:29 +01:00
Dhall.Tutorial,
Move type-checking logic to separate `Dhall.TypeCheck` module The error messages alone warranted separating this out into a separate module
2016-10-18 03:34:51 +02:00
Dhall.TypeCheck
Make Dhall `-Wall`-clean
2017-01-29 23:10:28 +01:00
GHC-Options: -Wall
Initial commit
2016-09-07 18:17:12 +02:00
Executable dhall
Add `dhall-format` executable (#137) Fixes https://github.com/dhall-lang/dhall-lang/issues/8 This takes a Dhall expression on standard input and outputs the same expression to standard output except pretty-printed in a standard format
2017-09-17 17:18:15 +02:00
Hs-Source-Dirs: dhall
Initial commit
2016-09-07 18:17:12 +02:00
Main-Is: Main.hs
Build-Depends:
Simplify command line interface and add `--explain`
2016-11-05 05:41:47 +01:00
base >= 4 && < 5 ,
dhall ,
Fix `dhall` to build against Stackage `lts-9.0`
2017-08-03 05:05:26 +02:00
optparse-generic >= 1.1.1 && < 1.3,
Relax bound on trifecta for GHC 8.2 (#67) trifecta-1.7 is the first version of trifecta that builds with GHC 8.2 and Cabal 2.0
2017-06-15 15:13:53 +02:00
trifecta >= 1.6 && < 1.8,
Simplify command line interface and add `--explain`
2016-11-05 05:41:47 +01:00
text >= 0.11.1.0 && < 1.3
Make Dhall `-Wall`-clean
2017-01-29 23:10:28 +01:00
GHC-Options: -Wall
Add new argument: --version (#39) (#39) Useful to see which version of `dhall` you are currently using.
2017-04-17 21:44:33 +02:00
Other-Modules:
Paths_dhall
Add test suite (#42)
2017-04-29 23:41:53 +02:00
Add `dhall-format` executable (#137) Fixes https://github.com/dhall-lang/dhall-lang/issues/8 This takes a Dhall expression on standard input and outputs the same expression to standard output except pretty-printed in a standard format
2017-09-17 17:18:15 +02:00
Executable dhall-format
Hs-Source-Dirs: dhall-format
Main-Is: Main.hs
Build-Depends:
base >= 4 && < 5 ,
dhall ,
optparse-generic >= 1.1.1 && < 1.3,
prettyprinter >= 1.1.1 && < 1.2,
system-filepath >= 0.3.1 && < 0.5,
trifecta >= 1.6 && < 1.8,
text >= 0.11.1.0 && < 1.3
GHC-Options: -Wall
Other-Modules:
Paths_dhall
Add test suite (#42)
2017-04-29 23:41:53 +02:00
Test-Suite test
Type: exitcode-stdio-1.0
Hs-Source-Dirs: tests
Main-Is: Tests.hs
Implement Natural/toInteger (#50) * Move test utils into separate module and use custom assertions * Implement Natural/toInteger as primitive conversion Relates to #49
2017-05-08 15:51:58 +02:00
GHC-Options: -Wall
Add test suite (#42)
2017-04-29 23:41:53 +02:00
Other-Modules:
Add tests for Prelude examples (#56) This adds tests that match the examples in the Prelude documentation and also fixes a couple of mistakes caught along the way
2017-05-14 19:45:24 +02:00
Examples
Add test suite (#42)
2017-04-29 23:41:53 +02:00
Normalization
Fix parsing single quotes in string literals Fixes #96 The following Dhall expression would fail with a parsing error: ```haskell "foo'bar" ``` ... even though Dhall is supposed to allow single quotes in double-quoted string literals. The root of the problem was that Dhall was reusing the `Text.Parser.Token.characterChar` parser to parse the body of the string literal. However, that's a parser designed for parsing the interior of a Haskell *character* literal and not a Haskell *string* literal. This means that, for example, the parser does not accept just a single quote for the same reason that Haskell character literals do not (i.e. `'''` is not a valid Haskell character literal) The solution is to just hand-write a parser instead that parses most of the equivalent Haskell functionality Note that this is a breaking change because it means that Dhall no longer supports all the escape sequences that Haskell does. However, in practice this is not a huge loss since Dhall provides raw multi-line string literals using "double-single-quote" string literals.
2017-08-13 20:38:37 +02:00
Regression
Add `tests/Tutorial.hs` module to the `cabal` package This fixes a test failure for builds from Hackage due to the module not being included in the package archive
2017-06-17 22:12:20 +02:00
Tutorial
Implement Natural/toInteger (#50) * Move test utils into separate module and use custom assertions * Implement Natural/toInteger as primitive conversion Relates to #49
2017-05-08 15:51:58 +02:00
Util
Add test suite (#42)
2017-04-29 23:41:53 +02:00
Build-Depends:
Change tests to test source code (#48) This change updates the test to test Dhall source code so that we're exercising the system from end to end. This also makes it easier to author tests since expressions can be written as Dhall source code instead of an abstract syntax tree.
2017-05-07 22:10:27 +02:00
base >= 4 && < 5 ,
Interpret instance for unnamed data fields (#103) Maps unnamed data fields to the positional record keys. For example: ```haskell data Foo = Foo Bool Integer Natural deriving (Generic, Interpret) ``` ... is mapped to this Dhall data type: ```haskell Record { _1 : Bool, _2 : Integer, _3 : Natural } ```
2017-08-22 22:30:28 +02:00
containers >= 0.5.0.0 && < 0.6 ,
Change tests to test source code (#48) This change updates the test to test Dhall source code so that we're exercising the system from end to end. This also makes it easier to author tests since expressions can be written as Dhall source code instead of an abstract syntax tree.
2017-05-07 22:10:27 +02:00
dhall ,
tasty >= 0.11.2 && < 0.12,
tasty-hunit >= 0.9.2 && < 0.10,
text >= 0.11.1.0 && < 1.3 ,
Fix `dhall` to build against Stackage `lts-9.0`
2017-08-03 05:05:26 +02:00
vector >= 0.11.0.0 && < 0.13
Reference in New Issue Copy Permalink