Mon, 26 Feb 2001 07:07:55 -0800, Simon Peyton-Jones <[EMAIL PROTECTED]> pisze:
> Most notably, Malcolm's latest proposal introduces a new form
> of abstraction (named thing), a bundle of attributes like Gtk or Bzip.
> Another environment for the compiler to manage! Soon people will
> want to expo
Mon, 26 Feb 2001 11:17:07 -0700, Alastair Reid <[EMAIL PROTECTED]> pisze:
> I just remembered that my project (Knit - a C component language)
> has severe problems with use of macros in header files.
With hsc2hs it's easy enough to wrap macros:
foreign import "hs_incRef" unsafe incRef :: Object
On 26-Feb-2001, Alastair Reid <[EMAIL PROTECTED]> wrote:
> > Many C interfaces contain a significant number of macros. And C is
> > one of the most widely used languages that we want to interface with.
> > So it seems to me that any FFI which aims to provide *good* support for
> > C ought to prov
> Many C interfaces contain a significant number of macros. And C is
> one of the most widely used languages that we want to interface with.
> So it seems to me that any FFI which aims to provide *good* support for
> C ought to provide a way of accessing C macros.
[Sorry for replying twice to th
> Many C interfaces contain a significant number of macros. And C is
> one of the most widely used languages that we want to interface with.
> So it seems to me that any FFI which aims to provide *good* support for
> C ought to provide a way of accessing C macros.
Since an explicit goal of the o
On 26-Feb-2001, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
> > What is particularly tanatlising is that to a first approximation none
> > of this is necessary. For example, the native code generator is quite
> > happy without any of the new stuff now proposed.
>
> So, because one system is cle
On 26-Feb-2001, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote:
> a) What is necessary to uniquely identify the thing you want to call.
> In C this is just a single identifier; in Java, it's a fully
> qualified
>method name, plus the method type. Other languages doubtless
>lie between
>
> Most notably, Malcolm's latest proposal introduces a new form
> of abstraction (named thing), a bundle of attributes like Gtk or Bzip.
> Another environment for the compiler to manage! Soon people will
> want to export these things and import them elsewhere!This
> way lies madness.
Ok, so i
| I am reasonably convinced by the need for an extensible
| attribute-style specification such as Marcin has been proposing.
I've been talking about the FFI stuff with Simon and Julian.
We aren't (yet, anyway) convinced by the need for anything
nearly as elaborate as what is now proposed.
Mos
Fri, 23 Feb 2001 18:38:20 +, [EMAIL PROTECTED] <[EMAIL PROTECTED]>
pisze:
> foreign_decl ::= 'foreign' what [conid] [attributes] [foreign_name]
>varid '::' prim_type
>| 'foreign' 'library' conid attributes
I like the idea.
Putting
I am reasonably convinced by the need for an extensible attribute-style
specification such as Marcin has been proposing. However I am also
intrigued by Alastair's "interesting" interpretation of one of my
earlier suggestions, and it led me to the following proposal, modifying
Marcin's design for
11 matches
Mail list logo
