George Russell <[EMAIL PROTECTED]> writes:
>
> The attached .tar.gz archive contains a set of IDL files (which I'm
> attempting to construct for PCTE, if you really want to know)
> and a file called "a", which is a script which invokes ihc (in the same
> directory) to compile the IDL files into GHC Haskell stubs.
> Unfortunately when I try to run "a", I get the following message:
> PpCore.lhs:375: Non-exhaustive patterns in function ppType
Missing coverage for couple of OMG IDL types ('any' and 'Object')
caused this, which I've now checked in a fix for.
You're processing Corba interfaces here, something that isn't
supported by HDirect - allthough I am planning to spend this
month hooking up with an ORB (Mico). There's a little bit of
support in there already though, add "--corba" to your HDirect
command line to pick this up.
The generated Haskell code will contain 'import OrbLib' decls
which contain the type and marshallers for a Corba object
reference. You can generate this module from the following
IDL spec:
// Compile as follows: ihc OrbLib.idl -fhs-to-c
[ty_args("a")]
interface Object{};
Of course, there's more to it than that if you want to comfortably
use the generated PCTE stubs from Haskell, but that's all the
support there is at the moment.
btw, I had to fix a couple of bugs in the PCTE specs to
make them compile cleanly - let me know if you want me to
send you the mods.
>
> Apologies if this is the wrong mailing list but unfortunately
> the HaskellDirect home page is still down, so I don't know what
> the right one is.
>
It's the right one (at least for now) - hopefully the /fp/ www
pages at Glasgow will be back up on-line again soon; afaik,
they're still trying to gather up the bits that spilled onto
the floor when they switched over to a new HTTP server.
--sigbjorn
