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

SCM Repository

[diderot] Diff of /branches/lamont/test/ty-test.diderot
ViewVC logotype

Diff of /branches/lamont/test/ty-test.diderot

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

trunk/test/ty-test.diderot revision 474, Thu Nov 4 18:33:56 2010 UTC branches/vis12/test/ty-test.diderot revision 1927, Sat Jun 23 18:09:16 2012 UTC
# Line 1  Line 1 
1  // ty-test.diderot  // ty-test.diderot
2  //  //
3  // This file tests various typechecking rules  // This file tests various typechecking rules, but it is an incomplete program
4    // and will not pass the compiler
5    
6  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]];
7  tensor[3] y = x[1,:];  tensor[3] y = x[1,:];
8  tensor[2] z = x[:,0];  tensor[2] z = x[:,0];
9  tensor[3,2] m = [x[:,0], x[:,1], x[:,2]]  tensor[3,2] m = [x[:,0], x[:,1], x[:,2]];
10    
11  image(3)[2] img1 = load("img1.nrrd");  image(3)[2] img1 = image("img1.nrrd");
12  field#2(3)[2] F = img1 (*) bspln3;  field#2(3)[2] F = img1 (*) bspln3;
13  field#1(3)[2,3] dF = D F;  field#1(3)[2,3] dF = ∇ F;
14    
15  tensor w[3] = (dF @ y)[0,:];  tensor[3] w = (dF @ y)[0,:];
16    

Legend:
Removed from v.474  
changed lines
  Added in v.1927

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