[project @ 2000-03-31 04:13:27 by andy]
Fixing a couple of problems with Quantified identifiers. (1) The string building routine for Qid's was not using the new abstraction for showing names. The old abstraction worked most of the time in the new system, so was only getting tickled sometimes. (2) Fixing the local module that top level expressions evaluate in. By importing quantified Prelude, this allows top level expressions like Prelude.take And a trivial Makefile change.
Showing
Loading
Please register or sign in to comment