Няма описание

Pat Hickey f01d23381c travis: ignore wip branches		преди 9 години
executables	30e1edc4d6 gidl: command line frontend ftw	преди 9 години
src	77144739e8 tower backend: rename Interface to Server, generate an umbrella module	преди 9 години
support	2595f27766 tower backend: add Attr module as template	преди 9 години
tests	e37e8d29e4 Much improved error messages; added pretty-printer	преди 9 години
.gitignore	89d04f0623 gidl: initial commit	преди 9 години
.travis.yml	f01d23381c travis: ignore wip branches	преди 9 години
LICENSE	d456b97842 gidl: oops, wrong license, its bsd3 now	преди 9 години
Makefile	1623f1a6e6 makefile: haskell backend test outputs debug too	преди 9 години
README.md	f71527d211 update readme	преди 9 години
Setup.hs	89d04f0623 gidl: initial commit	преди 9 години
gidl.cabal	77144739e8 tower backend: rename Interface to Server, generate an umbrella module	преди 9 години

Gidl

Gidl (for Galois Interface Description Language) is a simple IDL for describing structured types.

IDL format

See example in tests/example.idl. Currently, the format is not set in stone - revisions coming shortly.

Backends

Gidl currently has backends for:

Native Haskell
[Ivory][] language
[Tower][] wrapper over Ivory

Build and Test

Use the create-sandbox target in the Makefile to create a local cabal sandbox and install all dependencies.

The default target builds the gidl library. You can then use cabal run gidl -- <OPTIONS> to run the code generator. Use the --help option to get usage information.

Use the test target in the Makefile to generate and test each backend implementation.

README.md

Gidl

IDL format

Backends

Build and Test