Pat Hickey 02cd916406 gidl: dispatch to ivory backend | 9 gadi atpakaļ | |
---|---|---|
executables | 9 gadi atpakaļ | |
src | 9 gadi atpakaļ | |
tests | 9 gadi atpakaļ | |
.gitignore | 9 gadi atpakaļ | |
.travis.yml | 9 gadi atpakaļ | |
LICENSE | 9 gadi atpakaļ | |
Makefile | 9 gadi atpakaļ | |
README.md | 9 gadi atpakaļ | |
Setup.hs | 9 gadi atpakaļ | |
gidl.cabal | 9 gadi atpakaļ |
Gidl (for Galois Interface Description Language) is a simple IDL for describing structured types.
See example in tests/example.idl.
Gidl currently has a native Haskell backend. Ivory language backend coming soon.
Use the test
target in the Makefile to generate and test a Haskell library
for the IDL file.