Esempio n. 1
0
 def visitConcreteType(self, ctx:AHParser.ConcreteTypeContext):
     te = TypeExpr(self.visit(ctx.qualifiedName()))
     te.args = list(map(self.visit, ctx.typeArg()))
     return te
Esempio n. 2
0
 def visitArrowTypeExpr(self, ctx:AHParser.ArrowTypeExprContext):
     te = TypeExpr(['_→_'])
     te.args = list(map(self.visit, ctx.typeExpr()))
     return te