Mercury Bugs - mercury
View Issue Details
0000210mercuryBugpublic2011-08-17 13:262011-08-19 01:21
Assigned Tojuliensf 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000210: Language Reference confuses maybeskel and listskel in "Insts, modes, and mode definitions"
DescriptionIn section 4.1 (Insts, modes, and mode definitions) of the Mercury Language Reference Manual there is the following text:

For example, the following declaration

     :- inst maybeskel(Inst) ---> no ; yes(Inst).

defines the inst ‘listskel(Inst)’ to be a list skeleton whose elements have inst ‘Inst’; you can the use insts such as ‘listskel(listskel(free))’, which represents the instantiation state of a list of lists of free variables.

The declared inst (maybeskel) doesn't match the description (listskel).

There is also a typo in the description: "can the use" should be "can then use".
Additional Informationversion rotd-2011-08-15
TagsNo tags attached.
Attached Files

2011-08-19 01:21   
Fixed in r1.469 of doc/reference_manual.texi.

Issue History
2011-08-17 13:26arossNew Issue
2011-08-17 14:25juliensfStatusnew => assigned
2011-08-17 14:25juliensfAssigned To => juliensf
2011-08-19 01:21juliensfNote Added: 0000348
2011-08-19 01:21juliensfStatusassigned => resolved
2011-08-19 01:21juliensfResolutionopen => fixed