[Barrelfish-users] [Barrelfish] Question about aliases in flounder

[Timothy Roscoe]

This is a basic problem with any IDL - you can't have it correspond to
C types (since they're not portable).  You should alias it to an
Flounder integer, and do the casting yourself when you call the
message functions.

In this case, we could potentially try to unify the type systems of
Hamlet and Flounder.  You're welcome to try, but I doubt this is
critical. 

 -- Mothy

At Sun, 20 Mar 2011 17:38:34 +0000, Andrew Baumann <Andrew.Baumann at microsoft.com> wrote:
> Hi Akhi,
> 
> This is another instance of the problem that Flounder wants to "own" the definition of all types, and control their naming. As a workaround, I'd suggest just telling Flounder that the enum values have a suitable integer type (e.g. int32). In the current implementation, it shouldn't make any practical difference to the type safety or efficiency of marshalling.
> 
> Andrew
> 
> > -----Original Message-----
> > From: akhilesh singhania [mailto:akhi at inf.ethz.ch]
> > Sent: Sunday, 20 March 2011 06:58
> > To: barrelfish-users at lists.inf.ethz.ch
> > Subject: [Barrelfish] [Barrelfish-users] Question about aliases in flounder
> >
> > Hi,
> >
> > I want to add enum objtype in one of the interface files.
> > enum objtype is defined in generated code based on the input to Hamlet so I
> > cannot statically define it in the interface files like we have done earlier with
> > other enums and structs.
> >
> > I tried "alias blah enum objtype" in if/types.if but that results in the following
> > error when blah is used in an interface file:
> > flounder: Use of undeclared type 'blah' in
> > "/home/asinghan/trees/caps/if/monitor_blocking.if" at l. 23 col. 69
> >
> > Is there an easy fix for this in flounder and if not, anyone got ideas for getting
> > around this?
> >
> > akhi
> >
> > _______________________________________________
> > Barrelfish-users mailing list
> > Barrelfish-users at lists.inf.ethz.ch
> > https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
> >
> > _______________________________________________
> > Barrelfish mailing list
> > Barrelfish at lists.inf.ethz.ch
> > https://lists.inf.ethz.ch/mailman/listinfo/barrelfish
> 
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
> 
> _______________________________________________
> Barrelfish mailing list
> Barrelfish at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish
> 
> 
>