[m-rev.] diff: clean up typeclass parsing
Ralph Becket
rafe at cs.mu.OZ.AU
Wed Apr 6 17:22:36 AEST 2005
>
> Index: compiler/prog_io_typeclass.m
> ===================================================================
> +:- type arbitrary_constraint
> + ---> simple(prog_constraint)
> + % A class constraint whose arguments are either
> + % variables or ground terms.
> +
> + ; class(prog_constraint)
> + % An arbitrary class constraint not matching the
> + % description of "simple".
Wouldn't complex or non_simple be a better name than class?
Otherwise that looks fine.
-- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list