RE: Non-exhaustive patterns in HaskellDirect -fomg

[Sigbjorn Finne (Intl Vendor)]

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