[m-dev.] for review: update compiler_design.html

[Fergus Henderson]

On 30-Mar-1999, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> @@ -206,6 +204,26 @@
>          quantification.m handles implicit quantification and computes
>          the set of non-local variables for each sub-goal
>  
> +<dt> checking typeclass instances (check_typeclass.m)
> +        <dd>
> +        check_typeclass.m both checks that instance declarations satisfy all 
> +        the appropriate the superclass constraints and

s/appropriate the/appropriate/

> +        performs a source-to-source transformation on the
> +        methods methods from the instance declarations.
> +        The transformed code is checked by type, mode, uniqueness, purity
> +        and determinism correctness by the later passes,

s/checked by/checked for/

Otherwise that looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.