Re: More questions

1993-05-18 Thread kh
> More questions along the same lines as for n+k: > > Does == in the pattern match translation refer to == in PreludeCore? > > Does negate in the translation of -e refer to negate in PreludeCore? All identifiers used in explicit translations refer to those from the Prelude. Kevin

Re: More questions

1993-05-17 Thread jhf
| More questions along the same lines as for n+k: | | Does == in the pattern match translation refer to == in PreludeCore? | | Does negate in the translation of -e refer to negate in PreludeCore? | | -- Lennart I recall that we did decide that such references to standard functions in the