[haskell-llvm] Limitation of API - omissions or design?
uzytkownik2 at gmail.com
Wed Dec 15 22:18:25 EST 2010
I tried to use Haskell + LLVM binding to it to write university
compilers assignment and I run into some problems with API:
- Many functions are non-existing or not exported. For example it seems
to be not possible to create array containing other things that 0 and -1
other then String. The constOf function is also not exported.
- Higher API enforces type safety, which is good thing if one uses LLVM
to DSL - however if LLVM is used as backend it causes problems as I
don't know types at compile time and checking is part of other part of
code. GADTs allows workaround problem but
- Higher API cannot jump into lower API for a few instructions but uses
all-or-nothing approach. Normally it would be good thing if not the
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 836 bytes
Desc: This is a digitally signed message part
Url : http://projects.haskell.org/pipermail/haskell-llvm/attachments/20101216/67338138/attachment.pgp
More information about the Haskell-llvm