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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2166, Fri Feb 22 22:50:12 2013 UTC revision 2193, Sun Feb 24 11:50:36 2013 UTC
# Line 3  Line 3 
3  // This program tests the slicing syntax, but fails with  // This program tests the slicing syntax, but fails with
4  //  //
5  //   ../bin/diderotc --log bug007.diderot  //   ../bin/diderotc --log bug007.diderot
6  //   ***** Internal error after translation to HighIL: see log file for details  //   error converting Slice<tensor[2,3],:_>
7  //  //   uncaught exception Fail [Fail: FIXME: Slice]
8  // the log file reports:  //     raised at common/phase-timer.sml:76.50-76.52
9  //  //     raised at common/phase-timer.sml:76.50-76.52
10  // ********** IL Errors detected after after translation to HighIL **********  //     raised at high-to-mid/high-to-mid.sml:297.85-297.87
11  // **** Error: type mismatch in "tensor[3] y00F8 = Slice<tensor[3],_:>(x00F4,_t00F6)"  //     raised at high-to-mid/high-to-mid.sml:251.41-251.60
 //   ** 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)  
12    
13  tensor[2,3] x = [[0.0, 0.1, 0.2], [1.0, 1.1, 2.1]];  tensor[2,3] x = [[0.0, 0.1, 0.2], [1.0, 1.1, 2.1]];
14  tensor[3] y = x[1,:];  tensor[3] y = x[1,:];

Legend:
Removed from v.2166  
changed lines
  Added in v.2193

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