Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] View of /branches/pure-cfg/test/bool.diderot
ViewVC logotype

View of /branches/pure-cfg/test/bool.diderot

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1004 - (download) (annotate)
Thu Apr 28 19:14:45 2011 UTC (8 years, 8 months ago) by glk
File size: 465 byte(s)
demo of true and false
// bool
//
// no true or false?

bool maybe0 = 3 < 1;
// HEY (BUG) no true or false
// [bool.diderot:6.15-19] Error: undeclared variable true
// uncaught exception Fail [Fail: Error in compiling bool.diderot]
//   raised at driver/main.sml:31.39-31.76
bool maybe1 = true;
bool maybe2 = false;
strand sample (int ui, int vi) {
    output int out =  1;
    update {
        out = 1;
        stabilize;
    }
}

initially [ sample(ui, vi) | vi in 0..0 , ui in 0..0 ];

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0