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

SCM Repository

[diderot] View of /tests/vis12-bugs/src/bug049.diderot
ViewVC logotype

View of /tests/vis12-bugs/src/bug049.diderot

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4640 - (download) (annotate)
Tue Sep 27 20:54:47 2016 UTC (2 years, 10 months ago) by glk
File size: 880 byte(s)
initial result of svn export --username anonsvn --password=anonsvn https://svn.smlnj-gforge.cs.uchicago.edu/svn/diderot/branches/vis15/src/tests/
/*

"float" and "double" are not allowed scalar types, according to the
grammar, so compiling this program should generate a syntax error, not
this:

uncaught exception Fail [Fail: Strand types not supported in this branch!]
  raised at common/phase-timer.sml:78.50-78.52
  raised at common/phase-timer.sml:78.50-78.52
  raised at typechecker/typechecker.sml:1231.39
  raised at typechecker/typechecker.sml:187.43-187.92

As we add support for Lamont's branch, the IDs become valid type syntax (as in this
case).  The type checker should give an error message "unknown type float" for this.
[JHR]
*/

input int foo = 1;
float bar = 3.3^foo;    // there is no "float" in Diderot
//double bar = 3.3^foo; // nor is there "double"

strand sfoo (int ii) {
  output real noop = 0.0;

  update {
    print("bar = ", bar, "\n");
    stabilize;
  }
}

initially [ sfoo(ii) | ii in 0..0 ];

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