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");