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