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

SCM Repository

[diderot] View of /branches/vis12/bugs/open/bug044.diderot
ViewVC logotype

View of /branches/vis12/bugs/open/bug044.diderot

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3320 - (download) (annotate)
Sun Oct 18 08:31:08 2015 UTC (4 years, 8 months ago) by glk
File size: 536 byte(s)
output types cant seem to be int or bool
/*
We should either disallow "output bool", or convert bools to
unsigned char (or ints, or something integral) on output

compiling with: ../../bin/diderotc --exec bug044.diderot
produces:
uncaught exception Fail [Fail: GetOutput.infoOf(bool)]
  raised at common/phase-timer.sml:76.50-76.52
  raised at common/phase-timer.sml:76.50-76.52
  raised at c-util/output-util.sml:79.26-79.80
*/

strand foo (int ii) {
  output bool out = false;

  update {
    out = (ii == (ii/2)*2);
    stabilize;
  }
}

initially [ foo(ii) | ii in 0..3 ];

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