# Copyright 2023 Davide Gessa

# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at

# http://www.apache.org/licenses/LICENSE-2.0

# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

from .. import QCircuit
from ..ast2logic.typing import Arg, Args, BoolExpList


class CompilerException(Exception):
    pass


class Compiler:
    def __init__(self):
        pass

    def _symplify_exp(self, exp):
        # exp = to_anf(exp, deep=False)
        return exp

    def compile(
        self, name: str, args: Args, returns: Arg, expr: BoolExpList, uncompute: bool
    ) -> QCircuit:
        raise Exception("abstract")
