Something went wrong. Try again.
Newt - a dependent typed programming language
This is a mirror of the main github repository. newt.cloakedarrow.com
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132#!/bin/shSAMPLES=$(find playground/samples -name "*.newt")total=0failed=0for fn in tests/*.newt ; do total=$((total + 1)) echo Test $fn bn=$(basename $fn) ./build/exec/newt $fn -o out.js > tmp/${bn}.compile if [ $? != "0" ]; then echo Compile failed for $fn failed=$((failed + 1)) continue fi # if there is a golden file, run the code and compare output if [ -f ${fn}.golden ]; then bun run out.js > tmp/${bn}.out if [ $? != "0" ]; then echo Run failed for $fn failed=$((failed + 1)) continue fi if ! diff -q tmp/${bn}.out ${fn}.golden; then echo "Output mismatch for $fn" failed=$((failed + 1)) fi fidoneecho "Total tests: $total"echo "Failed tests: $failed"