st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-08 07:48:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

New ppx

Browse source
This commit is contained in:
Dmitry Boulytchev 2018-12-03 15:10:43 +03:00
parent 4e3bdbbbb1
commit 49701ce740
2 changed files with 4 additions and 45 deletions
Download patch file Download diff file Expand all files Collapse all files

8
regression/Makefile
View file

@ -12,7 +12,7 @@ $(TESTS): %: %.expr
@cat $@.input | $(RC) -s $< > $@.log && diff $@.log orig/$@.log @cat $@.input | $(RC) -s $< > $@.log && diff $@.log orig/$@.log
clean: clean:
rm -f test*.log *.s *~ $(TESTS) $(RM) test*.log *.s *~ $(TESTS)
pushd expressions && make clean && popd $(MAKE) clean -C expressions
pushd deep-expressions && make clean && popd $(MAKE) clean -C deep-expressions
pushd x86only && make clean && popd $(MAKE) clean -C x86only

41
regression/test039(1).expr
View file

@ -1,41 +0,0 @@
fun insert (t, x) {
case t of
`leaf -> return `node (x, `leaf, `leaf)
| `node (y, l, r) -> if x > y
then return `node (y, insert (l, x), r)
else return `node (y, l, insert (r, x))
fi
esac
}
fun find (t, x) {
case t of
`leaf -> return 0
| `node (y, l, r) -> if x == y then return 1
elif x > y then return find (l, x)
else return find (r, x)
fi
esac
}
n := read ();
write (0);
t := insert (`leaf, 5);
write (2);
t := insert (t, 4);
write (3);
t := insert (t, 6);
write (4);
t := insert (t, 3);
write (5);
write (find (t, 5));
write (6);
write (find (t, 4));
write (find (t, 6));
write (find (t, 3));
write (find (t, 2));
write (find (t, 1));
t := insert (insert (insert (insert (`leaf, 5), 4), 6), 3)