[m-dev.] Typeclass constraints on types

Ralph Becket rbeck at microsoft.com
Wed Oct 25 01:00:33 AEDT 2000


I want to describe a type thus:

:- type show_pred == ( pred(X, io__state, io__state) <= showable(X) ).

But I can't do it: I get

Error: free type parameter in RHS of type definition

But X isn't really free, it's constrained.  So what's the trick?  

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list