コード例 #1
0
ファイル: IR.py プロジェクト: demin-dmitriy/almost-haskell 
 def visitConcreteType(self, ctx:AHParser.ConcreteTypeContext):
     te = TypeExpr(self.visit(ctx.qualifiedName()))
     te.args = list(map(self.visit, ctx.typeArg()))
     return te
コード例 #2
0
ファイル: IR.py プロジェクト: demin-dmitriy/almost-haskell 
 def visitArrowTypeExpr(self, ctx:AHParser.ArrowTypeExprContext):
     te = TypeExpr(['_→_'])
     te.args = list(map(self.visit, ctx.typeExpr()))
     return te