Sun Aug 14 12:57:02 CEST 2011

Struggling with LLVM type classes

The way types are used in the LLVM Haskell wrapper is a bit over my
head.  My guess is that it uses phantom types to represent the
different basic types of LLVM, but this seems to interact badly with
the phantom types in my Symantics class.

Maybe I should just read about this a bit more.  Or read the LLVM
wrapper code.