. ../../../testutils.sh

idris2 FromTTImp.idr << EOF
    :printdef natExprMacroTest
    :printdef natExprPrecedenceTest
    :printdef natExprScriptTest
    natExprFunctionTest
    :q
EOF

idris2 FromName.idr << EOF
    :printdef myNameMacroTest
    :printdef myNameScriptTest
    myNameFunctionTest
    :q
EOF

idris2 FromDecls.idr << EOF
    :printdef natDeclsMacroTest
    :printdef natDeclsScriptTest
    natDeclsFunctionTest
    :q
EOF
