Show
Ignore:
Timestamp:
04/22/08 08:09:59 (6 months ago)
Author:
pmoura
Message:

Updated the definitions of the predicate valid/1 for the library objects "list", "list(Type)", "numberlist", "set", "set(Type)", "varlist" to fail for lists with unbound tails after discussion with Jan Wielemaker and Ulrich Neumerkel.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/RELEASE_NOTES.txt

    r4214 r4216  
    6262    installation script to use the "C:\lgtsvn" as base. Simplified manual  
    6363    installation instructions. 
     64 
     65    Updated the definitions of the predicate valid/1 for the library objects  
     66    "list", "list(Type)", "numberlist", "set", "set(Type)", "varlist" to fail  
     67    for lists with unbound tails after discussion with Jan Wielemaker and  
     68    Ulrich Neumerkel. 
    6469 
    6570    Added a simple example, "debug_hooks", of using compilation hooks and