Exemplo 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
Exemplo n.º 2
0
 def visitArrowTypeExpr(self, ctx:AHParser.ArrowTypeExprContext):
     te = TypeExpr(['_→_'])
     te.args = list(map(self.visit, ctx.typeExpr()))
     return te