anf.yaml

#
# CEKF - VM supporting amb
# Copyright (C) 2022-2024  Bill Hails
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <https://www.gnu.org/licenses/>.
#

config:
    name: anf
    description: ANF structures to be converted to bytecode.
    limited_includes:
    - bigint.h
    - ast_helper.h
    - tc.h
    - tc_debug.h


structs:
    CTEnv:
        isLocal: bool
        isNamespace: bool = false
        nbindings: int = 0
        nsEnvs: CTEnvArray = NULL
        table: CTIntTable
        next: CTEnv

    AexpLam:
        nargs: int
        letRecOffset: int
        args: AexpVarList
        exp: Exp

    AexpVarList:
        var: HashSymbol
        next: AexpVarList

    AexpAnnotatedVar:
        type: AexpAnnotatedVarType
        frame: int
        offset: int
        var: HashSymbol

    AexpPrimApp:
        type: AexpPrimOp
        exp1: Aexp
        exp2: Aexp

    AexpList:
        exp: Aexp
        next: AexpList

    AexpIntList:
        integer: int
        next: AexpIntList

    AexpMakeVec:
        nargs: int
        args: AexpList

    AexpNamespace:
        nbindings: int = 0
        body: Exp

    AexpNamespaces:
        namespaces: AexpNamespaceArray
        body: Exp

    CexpApply:
        function: Aexp
        nargs: int
        args: AexpList

    CexpIf:
        condition: Aexp
        consequent: Exp
        alternative: Exp

    CexpCond:
        condition: Aexp
        cases: CexpCondCases

    CexpIntCondCases:
        option: MaybeBigInt
        body: Exp
        next: CexpIntCondCases

    CexpCharCondCases:
        option: character
        body: Exp
        next: CexpCharCondCases

    CexpMatch:
        condition: Aexp
        clauses: MatchList

    CexpLetRec:
        nbindings: int
        bindings: LetRecBindings
        body: Exp

    CexpAmb:
        exp1: Exp
        exp2: Exp

    CexpCut:
        exp: Exp

    ExpLet:
        var: HashSymbol
        val: Exp
        body: Exp

    ExpLookup:
        namespace: index
        annotatedVar: AexpAnnotatedVar = NULL
        body: Exp

    MatchList:
        matches: AexpIntList
        body: Exp
        next: MatchList

    LetRecBindings:
        var: HashSymbol
        val: Aexp
        next: LetRecBindings

unions:
    CexpCondCases:
        charCases: CexpCharCondCases
        intCases: CexpIntCondCases

    Aexp:
        lam: AexpLam
        var: HashSymbol
        annotatedVar: AexpAnnotatedVar
        biginteger: MaybeBigInt
        littleinteger: int
        character: character
        prim: AexpPrimApp
        makeVec: AexpMakeVec
        namespaces: AexpNamespaces

    Cexp:
        back: void_ptr
        error: void_ptr
        apply: CexpApply
        iff: CexpIf
        cond: CexpCond
        callCC: Aexp
        letRec: CexpLetRec
        amb: CexpAmb
        cut: CexpCut
        match: CexpMatch

    Exp:
        env: void_ptr
        done: void_ptr
        aexp: Aexp
        cexp: Cexp
        let: ExpLet
        lookup: ExpLookup

enums:
    AexpAnnotatedVarType:
        - STACK
        - ENV

    AexpPrimOp:
        - ADD
        - SUB
        - MUL
        - DIV
        - POW
        - EQ
        - NE
        - LT
        - GT
        - LE
        - GE
        - VEC
        - MOD
        - CMP

hashes:
    AnfSymbolTable: {}

    CTIntTable:
        entries: int

arrays:
    AexpNamespaceArray:
        entries: AexpNamespace

    CTEnvArray:
        entries: CTEnv

primitives: !include primitives.yaml

external:
    TcType:
        cname: "struct TcType *"
        printFn: printTcType
        markFn: markTcType
        valued: true