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

SCM Repository

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

Annotation of /branches/vis12/bugs/open/bug007.diderot

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2166 - (view) (download)
Original Path: branches/vis12/bugs/bug007.diderot

1 : jhr 2166 // bug007.diderot
2 :     //
3 :     // This program tests the slicing syntax, but fails with
4 :     //
5 :     // ../bin/diderotc --log bug007.diderot
6 :     // ***** Internal error after translation to HighIL: see log file for details
7 :     //
8 :     // the log file reports:
9 :     //
10 :     // ********** IL Errors detected after after translation to HighIL **********
11 :     // **** Error: type mismatch in "tensor[3] y00F8 = Slice<tensor[3],_:>(x00F4,_t00F6)"
12 :     // ** lhs: tensor[3]
13 :     // ** rhs: real
14 :     // **** Error: argument type mismatch in "tensor[3] y00F8 = Slice<tensor[3],_:>(x00F4,_t00F6)"
15 :     // ** expected: (tensor[3] * int)
16 :     // ** found: (tensor[2,3] * int)
17 :     // **** Error: argument type mismatch in "tensor[2] z00FC = Slice<tensor[2],:_>(x00F4,_t00FA)"
18 :     // ** expected: tensor[2]
19 :     // ** found: (tensor[2,3] * int)
20 :     // **** Error: argument type mismatch in "tensor[2] _t0100 = Slice<tensor[2],:_>(x00F4,_t00FE)"
21 :     // ** expected: tensor[2]
22 :     // ** found: (tensor[2,3] * int)
23 :     // **** Error: argument type mismatch in "tensor[2] _t0104 = Slice<tensor[2],:_>(x00F4,_t0102)"
24 :     // ** expected: tensor[2]
25 :     // ** found: (tensor[2,3] * int)
26 :     // **** Error: argument type mismatch in "tensor[2] _t0108 = Slice<tensor[2],:_>(x00F4,_t0106)"
27 :     // ** expected: tensor[2]
28 :     // ** found: (tensor[2,3] * int)
29 :    
30 :     tensor[2,3] x = [[0.0, 0.1, 0.2], [1.0, 1.1, 2.1]];
31 :     tensor[3] y = x[1,:];
32 :     tensor[2] z = x[:,0];
33 :     tensor[3,2] m = [x[:,0], x[:,1], x[:,2]];
34 :     real s = m[1, 0];
35 :     real a = m:m + x:x;
36 :    
37 :     strand S ()
38 :     {
39 :     output real dummy = 0.0;
40 :     update { stabilize; }
41 :     }
42 :    
43 :     initially { S() | i in 1..2 };

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