- Glasgow-haskell-users

Re: Ptr and ForeignPtr Questions
by Ashley Yakeley 24 Sep '01

24 Sep '01

At 2001-09-23 04:04, Marcin 'Qrczak' Kowalczyk wrote: >It would be impossible then to directly call a C function with a >parameter declared as a const pointer. It's illegal in C to have >mismatching prototypes of the same function. You can always do this: module MyModule where { foreign import StringCopy :: Ptr Int8 -> Ptr Int8 -> IO (); } which autogenerates this header: extern "C" { void MyModule__StringCopy(signed char* a,signed char* b); } which the user can implement like this: char* strcat(char* dest, const char* src); void MyModule__StringCopy(char* dest,char* src) { strcat(dest,src); } (assuming char and signed char are identical). -- Ashley Yakeley, Seattle WA

2 1

Re: Ptr and ForeignPtr Questions
by Ashley Yakeley 24 Sep '01

24 Sep '01

At 2001-09-23 04:02, Manuel M. T. Chakravarty wrote: >> I would assume that Ptr types would always be mapped to non-const >> pointers. Do you have an example of a Haskell type for a foreign import >> function, for which the corresponding C function type would be ambiguous? > >Take, for example, the following excerpt of the Linux man >pages But do you have an example of a Haskell type for a foreign import function, for which the corresponding C function type would be ambiguous? At 2001-09-21 02:20, Manuel M. T. Chakravarty wrote: >One could attempt to generate C prototypes from the Haskell >type declarations or similar things, btu it doesn't work >out. Surely one can still do this? This was what we were discussing, was it not? A C type for any given Haskell function type, not necessarily the other way around... -- Ashley Yakeley, Seattle WA

2 1

Re: Ptr and ForeignPtr Questions
by Ashley Yakeley 23 Sep '01

23 Sep '01

At 2001-09-23 15:56, Marcin 'Qrczak' Kowalczyk wrote: >> But do you have an example of a Haskell type for a foreign import >> function, for which the corresponding C function type would be ambiguous? > >Ptr CChar (as an argument). It could be either char * or const char *. It's always char*. A Haskell function passed a Ptr CChar is not prevented from modifying the contents of the pointer simply due to its type-declaration. In C, a char* can be implicitly converted to a const char* where necessary (but not the other way around). -- Ashley Yakeley, Seattle WA

1 0

Re: Ptr and ForeignPtr Questions
by Marcin 'Qrczak' Kowalczyk 23 Sep '01

23 Sep '01

Sun, 23 Sep 2001 15:41:41 -0700, Ashley Yakeley <ashley(a)semantic.org> pisze: > But do you have an example of a Haskell type for a foreign import > function, for which the corresponding C function type would be ambiguous? Ptr CChar (as an argument). It could be either char * or const char *. -- __("< Marcin Kowalczyk * qrczak(a)knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK

1 0

Re: Alternative Design for Finalisation
by Ashley Yakeley 23 Sep '01

23 Sep '01

At 2001-09-21 09:40, Marcin 'Qrczak' Kowalczyk wrote: >> (apologies for the different spelling of finalize - apparently both are >> correct and I randomly settled on the 'z' version some time ago). > >I guess 's' is British and 'z' is American. Chambers (of Cambridge, England) has both. -- Ashley Yakeley, Seattle WA

2 1

Re: Ptr and ForeignPtr Questions
by Marcin 'Qrczak' Kowalczyk 23 Sep '01

23 Sep '01

Sun, 23 Sep 2001 02:04:49 -0700, Ashley Yakeley <ashley(a)semantic.org> pisze: > I would assume that Ptr types would always be mapped to non-const > pointers. It would be impossible then to directly call a C function with a parameter declared as a const pointer. It's illegal in C to have mismatching prototypes of the same function. -- __("< Marcin Kowalczyk * qrczak(a)knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK

1 0

Re: Ptr and ForeignPtr Questions
by Ashley Yakeley 23 Sep '01

23 Sep '01

At 2001-09-23 00:45, Manuel M. T. Chakravarty wrote: >No, unfortunately not. Consider, for example, that storage >qualifiers would have to be generated correctly and there is >no way to determine form a Haskell type whether a `const' >modifier needs to be added. I would assume that Ptr types would always be mapped to non-const pointers. Do you have an example of a Haskell type for a foreign import function, for which the corresponding C function type would be ambiguous? -- Ashley Yakeley, Seattle WA

2 1

Re: Ptr and ForeignPtr Questions
by Ashley Yakeley 23 Sep '01

23 Sep '01

At 2001-09-21 02:20, Manuel M. T. Chakravarty wrote: >One could attempt to generate C prototypes from the Haskell >type declarations or similar things, btu it doesn't work >out. Why not? Isn't there a straightforward type map? -- Ashley Yakeley, Seattle WA

2 1

foreign funciton invokation
by Chen Yu 23 Sep '01

23 Sep '01

1 0

foreign funciton invokation
by Chen Yu 23 Sep '01

23 Sep '01

1 0