Nav apraksta

Pat Hickey b536c9549f ivory-backend: bugfix codgenTest path 10 gadi atpakaļ
executables 30e1edc4d6 gidl: command line frontend ftw 10 gadi atpakaļ
src b536c9549f ivory-backend: bugfix codgenTest path 10 gadi atpakaļ
support 98c7179538 beginning of tower backend 10 gadi atpakaļ
tests 98c7179538 beginning of tower backend 10 gadi atpakaļ
.gitignore 89d04f0623 gidl: initial commit 10 gadi atpakaļ
.travis.yml 98c7179538 beginning of tower backend 10 gadi atpakaļ
LICENSE d456b97842 gidl: oops, wrong license, its bsd3 now 10 gadi atpakaļ
Makefile 98c7179538 beginning of tower backend 10 gadi atpakaļ
README.md b1599bcadc wibble, maybe this will kick travis build off? 10 gadi atpakaļ
Setup.hs 89d04f0623 gidl: initial commit 10 gadi atpakaļ
gidl.cabal 9130d1587a tower-backend: stub interface file 10 gadi atpakaļ

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.