From 241315c452b1b06e4b9721cf336d9ab150f7234d Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Fri, 16 Feb 2024 17:40:52 +0100 Subject: Added basic stdlib CI --- std/Float.bruijn | 6 +++--- std/test_all.sh | 16 ++++++++++++++++ 2 files changed, 19 insertions(+), 3 deletions(-) create mode 100755 std/test_all.sh (limited to 'std') diff --git a/std/Float.bruijn b/std/Float.bruijn index d2ed080..c272d2b 100644 --- a/std/Float.bruijn +++ b/std/Float.bruijn @@ -6,14 +6,14 @@ :import std/Combinator . :import std/Number . -:import std/Pair P +:import std/Pair . pi (+3) : (+14159) # generates a float from a normal balanced ternary number -float! \(P.…:…) (+0) +float! \…:… (+0) # adds two floating numbers # TODO: Carry support # - needed: mod, div (?) -> ternary carry != decimal carry -add P.zip-with …+… +add zip-with …+… diff --git a/std/test_all.sh b/std/test_all.sh new file mode 100755 index 0000000..8b0740a --- /dev/null +++ b/std/test_all.sh @@ -0,0 +1,16 @@ +#!/bin/sh + +echo "# useful for running all tests of the standard library" >All.bruijn +echo >>All.bruijn + +FILES="$(find * -type f -name "*.bruijn" ! -name "All.bruijn")" + +for f in $FILES; do + echo ":import std/${f%*.bruijn} ." >>All.bruijn +done + +# for ci, just run `bruijn All.bruijn` +echo >>All.bruijn +echo "main [[0]]" >>All.bruijn + +stack run -- All.bruijn | grep "ERROR" && exit 1 || exit 0 -- cgit v1.2.3