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

SCM Repository

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

View of /branches/vis12/bugs/bug007.diderot

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2166 - (download) (annotate)
Fri Feb 22 22:50:12 2013 UTC (7 years, 5 months ago) by jhr
File size: 1536 byte(s)
  add new bug example
// bug007.diderot
//
// This program tests the slicing syntax, but fails with
//
//   ../bin/diderotc --log bug007.diderot
//   ***** Internal error after translation to HighIL: see log file for details
//
// the log file reports:
//
// ********** IL Errors detected after after translation to HighIL **********
// **** Error: type mismatch in "tensor[3] y00F8 = Slice<tensor[3],_:>(x00F4,_t00F6)"
//   ** lhs: tensor[3]
//   ** rhs: real
// **** Error: argument type mismatch in "tensor[3] y00F8 = Slice<tensor[3],_:>(x00F4,_t00F6)"
//   ** expected: (tensor[3] * int)
//   ** found:    (tensor[2,3] * int)
// **** Error: argument type mismatch in "tensor[2] z00FC = Slice<tensor[2],:_>(x00F4,_t00FA)"
//   ** expected: tensor[2]
//   ** found:    (tensor[2,3] * int)
// **** Error: argument type mismatch in "tensor[2] _t0100 = Slice<tensor[2],:_>(x00F4,_t00FE)"
//   ** expected: tensor[2]
//   ** found:    (tensor[2,3] * int)
// **** Error: argument type mismatch in "tensor[2] _t0104 = Slice<tensor[2],:_>(x00F4,_t0102)"
//   ** expected: tensor[2]
//   ** found:    (tensor[2,3] * int)
// **** Error: argument type mismatch in "tensor[2] _t0108 = Slice<tensor[2],:_>(x00F4,_t0106)"
//   ** expected: tensor[2]
//   ** found:    (tensor[2,3] * int)

tensor[2,3] x = [[0.0, 0.1, 0.2], [1.0, 1.1, 2.1]];
tensor[3] y = x[1,:];
tensor[2] z = x[:,0];
tensor[3,2] m = [x[:,0], x[:,1], x[:,2]];
real s = m[1, 0];
real a = m:m + x:x;

strand S ()
{
    output real dummy = 0.0;
    update { stabilize; }
}

initially { S() | i in 1..2 };

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