Startseite Erkunden Hilfe
Anmelden
getty
/
gidl
1
0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki

Keine Beschreibung

Struktur: 95e0aa0e70
Branches Tags
gidl
ZIP TAR.GZ
Pat Hickey 95e0aa0e70 better error printout vor 10 Jahren
executables 30e1edc4d6 gidl: command line frontend ftw vor 10 Jahren
src 95e0aa0e70 better error printout vor 10 Jahren
support 2595f27766 tower backend: add Attr module as template vor 10 Jahren
tests e37e8d29e4 Much improved error messages; added pretty-printer vor 10 Jahren
.gitignore 89d04f0623 gidl: initial commit vor 10 Jahren
.travis.yml 81127ba4ef amend build to build s-cargot from sources vor 10 Jahren
LICENSE d456b97842 gidl: oops, wrong license, its bsd3 now vor 10 Jahren
Makefile 1623f1a6e6 makefile: haskell backend test outputs debug too vor 10 Jahren
README.md f71527d211 update readme vor 10 Jahren
Setup.hs 89d04f0623 gidl: initial commit vor 10 Jahren
gidl.cabal 3e0d1b3fe8 Merge branch 'master' of github.com:aisamanra/gidl vor 10 Jahren

README.md

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.