GitLab

TODO: write test case
TODO: investigate why ZebuRefTest2 fails with new Zebu

This is the first test that will run the generated boot image
from within the test itself. (This is more difficult to do
with Holstein since the boot image is not ELF.)

This change involved creating a new Impl file, adding additional
foreign libraries and fo course writing the test. Since both
`Spec` tests essentially do the same thing, the duplicated code
is moved to `Mu.Test.Spec`.

TODO: Document hwo to correctly install Zebu
(i.e. static link on Linux, setting $MU_ZEBU)

TODO: Enable testing exposed functions once that functionality
is available in Zebu

Also fixed issue where declaring a function before defining
it would produce two symbols for the function name. Solution
is fairly ugly but works for now. (TM)

This only works on the reference implementation. Also API.hs
was re-generated using Holstein's `muapi.h` rather than the
one in the spec, to allow the use of get_mu_error_pointer().

This should pass when mu-pure is updated to handle enums correctly.

Two main changed were made:
 -> The apigen script was re-run to capture the spec changes,
    with a special case added for MuCString (since it is now
    `const char *`; there's probably a better way to do it).

 -> During basic-block creation, the symbol for the block
    was not generated until it was parsed. This causes problems
    when the block contains a reference to itself, since that
    reference will generate a symbol first which will be used
    in the final API call. (Which will not correspond to a
    symbol that has a basic block at it, cuasing an error.)

    Also Mu.Interface.withSymbol was modified such that the
    input lambda will work even if its result depends on the
    symbol being generated.

Now everything in Interface that was (known to be) unimplemented
is now finally implemented. This should mean that we can load
any valid AST into the Mu using this library.

Now all the instructions in Interface that are implemented,
are fully implemented.

i.e. All "partially implemented" instructions are now fully
implemented, except for COMMINST which is not my fault.. :)

i.e. Some stuff in Interface that was previously "partially implemented"
is now fully implemented.

Sloppy.. Also started work on handling exception
and keepalive clauses.

This commit is mostly for testing the migration of dependencies to
the main mu group.

In particular this gives us support for forward declaring builder
definitions, so long as the definition is declared in the same bundle.