Search the web
Sign In
New User? Sign Up
claireprogramminglanguage · Claire Programming Language - A place to discuss about the CLAIRE language
? Already a member? Sign in to Yahoo!

Yahoo! Groups Tips

Did you know...
Hear how Yahoo! Groups has changed the lives of others. Take me there.

Best of Y! Groups

   Check them out and nominate your group.
Having problems with message search? Fill out this form to ensure your group is one of the first to be migrated to the new message search system.

Messages

  Messages Help
Advanced
CLAIRE 3.3 & CLAIRE 2   Message List  
Reply | Forward Message #553 of 1160 |
<=@type

XL forum is unavailable, hence I put my bug report here:

Each set is a type, and it should be included in itself:

claire> s :: set<integer>(1)
eval[0]> s
claire> s % type
eval[1]> true
claire> s <= s
eval[2]> false

Thierry





Wed Oct 2, 2002 12:26 pm

thbenoist
Offline Offline

Forward
Message #553 of 1160 |
Expand Messages Author Sort by Date

Hello, CLAIRE 3.3 will be made available before the end of the year. Since CLAIRE 3.2 is now quite stable, there will be few changes. On the other hand, the...
ycaseau
Offline
Oct 2, 2002
10:46 am

XL forum is unavailable, hence I put my bug report here: Each set is a type, and it should be included in itself: claire> s :: set<integer>(1) eval[0]> s ...
thbenoist
Offline
Oct 2, 2002
12:26 pm

This is NOT a bug. Only constant sets are valid types. One reason is that if two type expressions t1 and t2 verify t1 <= t2, then set!(t1) is included in...
ycaseau
Offline
Oct 5, 2002
4:45 am
Advanced

Copyright © 2009 Yahoo! Inc. All rights reserved.
Privacy Policy - Terms of Service - Guidelines - Help