[mercury-users] mode error #2

[Michael Day]

mode error: variable `Refs' has instantiatedness 
`bound((list:[]) ; list:'[|]'((pdf:object), list:list_skel((pdf:object))))',

expected instantiatedness was `list:list_skel((pdf:object))'.

Is this not the case, given the definition of list_skel?

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------