#!/bin/sh
cleancurry -r

echo "append [1,2] [3,4]
 rev [1,2,3,4,5,6,7,8,9,10]" | \
curry2java rev

echo "g1
 g2
 g3
 g4
 g5" | \
curry2java higher

echo "qsort [2,3,1,0]" | \
curry2java quicksort

echo "qsort [2,3,1,0]" | \
curry2java qsortlet

echo "goal1
 goal2" | \
curry2java inflists

echo "goal1 child
 grandfather g c" | \
curry2java family_rel

echo "goal2 child
 grandfather g c" | \
curry2java family_fun

echo "horseman m h (int2nat 8) (int2nat 20)
 horseman m h (S (S O)) f" | \
curry2java horseman

echo "goal1
 goal2 x y" | \
curry2java first

echo "goal2 x" | \
curry2java member

echo "goal1 l1 l2 l3 l4
 goal2 l1 l2 l3 l4" | \
curry2java colormap

echo "goal1 b
 goal2 b
 goal3 s" | \
curry2java account

echo "goal2" | \
curry2java maxtree

echo "goal" | \
curry2java assembler

echo "goal1
 goal2" | \
curry2java ralign

# echo "dialog
# michael" | \
# curry2java iodemo

echo "q1 x
 q2 x y
 q4l
 q5l
 q7 x
 q10" | \
curry2java england

echo "queens [1,2,3,4]" | \
curry2java queens

echo "diamond 10" | \
curry2java diamond

echo "run sounds
 run nicolas" | \
curry2java chords

echo "goal1 l
 goal2 l" | \
curry2java merge

# the combination of comitted choice and parallelsearch
# does not yet work correctly!
# echo "goal1" | \
# curry2java parallelsearch


