[Hat] set Prelude modules as untrusted

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Wed Jul 13 04:56:02 EDT 2005


Kate Krastev <kate at ics.mq.edu.au> writes:

> Is it possible to set all/some Prelude modules to untrusted in Hat?
> (So I can see exactly what calls what)

In src/hatlib/Makefile, search for occurrences of the flag '-trusted'
and delete them.  Then you need to recompile the Hat prelude and
libraries from scratch (make clean; make hat-lib) and re-install.

Regards,
    Malcolm


More information about the Hat mailing list