This entails splitting cabal-to-dhall/Main.hs into a thin driver, and
moving the actual meat of...

Include a test along with it, which I've manually verified to be
correct while the automated te...

Along with version, this is one of the fields that it just doesn't
make sense to do without.

This is consistent with the filename, and how it's used in the
examples.

Note that this is a...

Annoyingly, Guarded is higher-kinded and in Dhall 1.13 cannot be part
of a record.

Managed to miss this rather important one in #40. Oops.

This exports everything from dhall/types/*.dhall that's not obviously
internal, for user conven...

Replace an 'a' with 'is' and add the word 'library' after the link to `network`. Also attempt to...

This commit changes the guarding logic from:

List { guard : Config -> Bool, body : A }

t...

dhall-to-cabal previously used a custom context that contained the `v` function, the `VersionRan...

It doesn't actually type check as a Benchmark, as it still requires main-is.

Fixes #24

Fixes #25

Fixes #26

This takes a package name and a list of major versions, and returns a Dependency
for that packag...

--print-type Compiler now just prints the compiler union type. The previous type
isn't really ne...

Unfortunately it's ambiguous to have --print-type maybe take an argument. The
solution is to use...

--print-type now performs some basic common sub-expression lifting before
pretty printing the ty...

See #22

Related to #22

Push all imports to the top of the file, don't import within the final body.

See #3. This makes it much easier to add components to libraries that don't need
any customisation.

See #3

Fixes #20

As suggested in #14

Fixes #18

Fixes #13 and #11

Closer to a normal Cabal file. See #13.

Fixes #17, but doesn't actually work without Cabal HEAD.

Fixes #16

Fixes #2

Fixes #15

A smart constructor for package bounds to reduce a bit of syntax.

Can currently only be enabled