Brak opisu

Getty Ritter e98c6220e1 Modified parser to use s-cargot and made some grammar modifications to example 9 lat temu
executables 30e1edc4d6 gidl: command line frontend ftw 9 lat temu
src e98c6220e1 Modified parser to use s-cargot and made some grammar modifications to example 9 lat temu
support f0038d0043 tower-backend: fix warnings in test suite 9 lat temu
tests e98c6220e1 Modified parser to use s-cargot and made some grammar modifications to example 9 lat temu
.gitignore 89d04f0623 gidl: initial commit 9 lat temu
.travis.yml 98c7179538 beginning of tower backend 9 lat temu
LICENSE d456b97842 gidl: oops, wrong license, its bsd3 now 9 lat temu
Makefile 98c7179538 beginning of tower backend 9 lat temu
README.md b1599bcadc wibble, maybe this will kick travis build off? 9 lat temu
Setup.hs 89d04f0623 gidl: initial commit 9 lat temu
gidl.cabal e98c6220e1 Modified parser to use s-cargot and made some grammar modifications to example 9 lat temu

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.

Backend

Gidl currently has a native Haskell backend. Ivory language backend coming soon.

Tests

Use the test target in the Makefile to generate and test a Haskell library for the IDL file.