#!/bin/sh

run() {
	prog=$1
	desired=$2
	out=`./build/tuplr $prog`
	if [ "$out" != "$desired" ]; then
		echo "FAIL: $prog";
		echo "    Expected: \"$desired\"";
		echo "    Output:   \"$out\"";
	else
		echo "PASS: $prog"
	fi
}

run './test/ack.tpr'  '8189 : Int'
run './test/def.tpr'  '3 : Int'
run './test/fac.tpr'  '720 : Int'
run './test/poly.tpr'  '#t : Bool'
run './test/nest.tpr' '6 : Int'