[haskell-llvm] enforce block structure of functions
lemming at henning-thielemann.de
Sun Oct 10 15:00:41 EDT 2010
On Sun, 10 Oct 2010, Henning Thielemann wrote:
> Since we recently started to use the monadic result () for instructions
> without a result like 'store', we can no longer use the type synonym
> Terminate = (). But we could add a new type (data Terminate = Terminate)
I see, that there is such a definition in a comment in Core.CodeGen.
> or just (data Terminate).
More information about the Haskell-llvm