[C2hs] Pointers to structs without typedef

[Manuel M T Chakravarty]

Ok, I see what you mean.  This does look like a bug.  Is this a show
stopper for you?

Manuel

Jelmer Vernooij:
> On Thu, Nov 10, 2005 at 12:29:02AM +1100, Manuel M T Chakravarty wrote about 'Re: [C2hs] Pointers to structs without typedef':
> > Jelmer Vernooij:
> > > c2hs appears to have trouble with pointers to structs when not using
> > > typedefs. A simple that shows this behaviour:
> 
> > > module Foo
> > > where
> 
> > > #c
> 
> > > struct foo { char x; };
> 
> > > void bar(struct foo *x);
> 
> > > #endc
> 
> > > {#pointer *'struct foo' as Foo newtype#}
> 
> > I think you meant
> 
> >   {#pointer *foo as Foo newtype#}
> 
> That's what I tried initially, but that doesn't appear to work; c2hs will
> generate "Ptr ()" as the first argument of bar. It does work correctly 
> if I make foo a typdef.
> 
> If I try this:
> 
> module Foo
> where
> 
> #c
> 
> typedef struct foo {
> 	char x;
> } foo_typedef;
> 
> void bar1(struct foo *x);
> void bar2(foo_typedef *x);
> 
> #endc
> 
> {#pointer *foo as Foo newtype#}
> {#pointer *foo_typedef as FooTypedef newtype#}
> 
> test1 = {#call bar1#}
> test2 = {#call bar2#}
> 
> c2hs generates the following stub for `bar1':
> 
> foreign import ccall safe "c2hstest.h bar1"
>   bar1 :: ((Ptr ()) -> (IO ()))
> 
> whereas I would expect the `Ptr ()' to be `Foo' instead.
> 
> the stub for `bar2' is correct:
> 
> foreign import ccall safe "c2hstest.h bar2"
>   bar2 :: ((FooTypedef) -> (IO ()))
> 
> Cheers,
> 
> 	Jelmer