Skip to main content

module Test

rascal-0.28.2
typepal-0.8.3

Usage​

import examples::untypedFun::Test;

function sample​

private Expression sample(str name) = parse(#start[Expression], |project://typepal/src/examples/untypedFun/<name>.ufun|).top;

function untypedFunCheck​

list[Message] untypedFunCheck(str name){

    return untypedFunTModelForTree(sample(name)).messages;

}

function untypedFunTModelForTree​

TModel untypedFunTModelForTree(Tree pt)

    = collectAndSolve(pt);

function main​

value main() = untypedFunTests();

Tests

test untypedFunTests​

test bool untypedFunTests()
    = runTests([|project://typepal/src/examples/untypedFun/tests.ttl|], #Expression, untypedFunTModelForTree, runName="UntypedFun");