Hi, I have three modules which all use the same (or some of the same) %dis directives; I'd like to pull these out into their own file (a module called "MyDIS" or something), but I can't figure out how to get green-card to look at those definitions (I've `import`ed it in the modules that need it and put it's directory in the search path with -i). Unfortunately, even so it complains that it doesn't know how to marshall my datatypes.
Any suggestions?
It sounds like you're doing the right thing (i.e., put it in another GreenCard module and then import it - same way we do with StdDIS) so I think you should distill the essence of the problem into a couple of 5-10 line modules and send in a bug report (or realize what you were doing wrong in the process). -- Alastair Reid reid@cs.utah.edu http://www.cs.utah.edu/~reid/