#!/bin/sh
# toTeyjus -- convert from Terzo Lambda Prolog to Teyjus

[ -n "$echo" ] && set -x

USAGE='toTeyjus file1.mod ...'

# no options allowed
case "$1" in
-*)
	echo "$USAGE" >&2
	exit 2
	;;
esac

for f
do
	base=`basename "$f" .mod`
	sed -n -e 's/^module/sig/p
		   s/^import/  accum_sig/p
		   s/^kind/  kind/p
		   s/^type/  type/p
	          ' "$f" > "${base}.sig"
	mv "$f" "$f".old
	sed -e '/^%%% #load/d
		/^%%% #query/d
		/^type/d
		/^kind/d
		s/^import/accumulate/
	        ' "$f".old >"$f"
done