From 24971df0d632e3b2bb70e343103f700166c0f9e1 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Wed, 19 Dec 2018 11:40:58 -0800 Subject: [PATCH] typevar to placate flake8 --- mtl/parser.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/mtl/parser.py b/mtl/parser.py index 4602663..29f0c97 100644 --- a/mtl/parser.py +++ b/mtl/parser.py @@ -1,11 +1,16 @@ # -*- coding: utf-8 -*- import operator as op from functools import partialmethod, reduce +from typing import TypeVar from parsimonious import Grammar, NodeVisitor from mtl import ast from mtl import sugar + +MTL = TypeVar("MTL") + + MTL_GRAMMAR = Grammar(u''' phi = (neg / paren_phi / next / bot / top / xor_outer / iff_outer / implies_outer / and_outer / or_outer