Cross Reference:
xref
: /
hets
/
hetcats
/
hetcats.lhs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
hetcats.lhs revision 9db48b4604636bfdf03e60890fc094b7bec775dc
#!/
home
/
maeder
/
bin
/
runhugs
HetCATS
/
hetcats
/
hetcats.hs
$Id
$
Author
:
Klaus
L�
ttich
Year
:
2002
The
Main
module
of
the
hetcats
system
.
It
provides
the
main
function
to
call
.
\
begin
{
code
}
module
Main
where
import
Options
import
System
import
ReadFn
import
WriteFn
--
import
ProcessFn
main
::
IO
()
main
=
do
opt
<-
getArgs
>>=
hetcatsOpts
if
(
verbose
opt
>=
3
)
then
putStr
"Options: "
>>
print
opt
else
return
()
ld
<-
read_LIB_DEFN
opt
--
(
env
,
ld
') <- analyse_LIB_DEFN opt
write_LIB_DEFN opt ld
-- write_GLOBAL_ENV env
\end{code}