[haskell-llvm] enforce block structure of functions

Henning Thielemann 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 mailing list