01: package kawa.standard;
02:
03: import kawa.lang.*;
04: import gnu.expr.*;
05: import gnu.lists.*;
06: import gnu.bytecode.*;
07:
08: public class module_extends extends Syntax {
09: public static final module_extends module_extends = new module_extends();
10: static {
11: module_extends.setName("module-extends");
12: }
13:
14: public Expression rewriteForm(Pair form, Translator tr) {
15: Type base = tr.exp2Type((Pair) form.cdr);
16: ModuleExp module = tr.getModule();
17: module.setSuperType((ClassType) base);
18: module.setFlag(ModuleExp.SUPERTYPE_SPECIFIED);
19: return QuoteExp.voidExp;
20: }
21: }
|