
11 Jan
2007
11 Jan
'07
11:17 a.m.
"Dimitry Golubovsky"
So, what is the correct way to add stuff to Prelude?
I suggest (1) add new code to the sources (2) add new type signatures to Prelude.hi in bootstrap/ That is, you need to augment the Prelude interface file manually. Regards, Malcolm