1 files changed, 64 insertions, 64 deletions
diff --git a/test/files/run/Course-2002-04-msil.check b/test/files/run/Course-2002-04-msil.check
index 81b52d83c9..c5709d2116 100755
--- a/test/files/run/Course-2002-04-msil.check
+++ b/test/files/run/Course-2002-04-msil.check
@@ -1,64 +1,64 @@
-list0 = List(6,3,1,8,7,1,2,5,8,4,3,4,8)
-list1 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
-list2 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
-list3 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
-list4 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
-list5 = List(8,8,8,7,6,5,4,4,3,3,2,1,1)
-list6 = List(8,8,8,7,6,5,4,4,3,3,2,1,1)
-
-list0: List() -> List()
-list1: List(0) -> List(0)
-list2: List(0,1) -> List(0,1)
-list3: List(1,0) -> List(0,1)
-list4: List(0,1,2) -> List(0,1,2)
-list5: List(1,0,2) -> List(0,1,2)
-list6: List(0,1,2) -> List(0,1,2)
-list7: List(1,0,2) -> List(0,1,2)
-list8: List(2,0,1) -> List(0,1,2)
-list9: List(2,1,0) -> List(0,1,2)
-listA: List(6,3,1,8,7,1,2,5,8,4) -> List(1,1,2,3,4,5,6,7,8,8)
-
-f(x) = 5x^3+7x^2+5x+9
-f(0) = 9
-f(1) = 26
-f(2) = 87
-f(3) = 222
-
-v1        = List(2,3,4)
-v2        = List(6,7,8)
-
-id        = List(List(1,0,0),List(0,1,0),List(0,0,1))
-m1        = List(List(2,0,0),List(0,2,0),List(0,0,2))
-m2        = List(List(1,2,3),List(4,5,6),List(7,8,9))
-
-v1 * v1   = 29
-v1 * v2   = 65
-v2 * v1   = 65
-v1 * v2   = 65
-
-id * v1   = List(2,3,4)
-m1 * v1   = List(4,6,8)
-m2 * v1   = List(20,47,74)
-
-trn(id)   = List(List(1,0,0),List(0,1,0),List(0,0,1))
-trn(m1)   = List(List(2,0,0),List(0,2,0),List(0,0,2))
-trn(m2)   = List(List(1,4,7),List(2,5,8),List(3,6,9))
-
-List(v1) * id = List(List(2,3,4))
-List(v1) * m1 = List(List(4,6,8))
-List(v1) * m2 = List(List(42,51,60))
-
-id * List(v1) = List(List(2,3,4),List(0,0,0),List(0,0,0))
-m1 * List(v1) = List(List(4,6,8),List(0,0,0),List(0,0,0))
-m2 * List(v1) = List(List(2,3,4),List(8,12,16),List(14,21,28))
-
-id * id   = List(List(1,0,0),List(0,1,0),List(0,0,1))
-id * m1   = List(List(2,0,0),List(0,2,0),List(0,0,2))
-m1 * id   = List(List(2,0,0),List(0,2,0),List(0,0,2))
-m1 * m1   = List(List(4,0,0),List(0,4,0),List(0,0,4))
-id * m2   = List(List(1,2,3),List(4,5,6),List(7,8,9))
-m2 * id   = List(List(1,2,3),List(4,5,6),List(7,8,9))
-m1 * m2   = List(List(2,4,6),List(8,10,12),List(14,16,18))
-m2 * m1   = List(List(2,4,6),List(8,10,12),List(14,16,18))
-m2 * m2   = List(List(30,36,42),List(66,81,96),List(102,126,150))
-
+list0 = List(6,3,1,8,7,1,2,5,8,4,3,4,8)
+list1 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
+list2 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
+list3 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
+list4 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
+list5 = List(8,8,8,7,6,5,4,4,3,3,2,1,1)
+list6 = List(8,8,8,7,6,5,4,4,3,3,2,1,1)
+
+list0: List() -> List()
+list1: List(0) -> List(0)
+list2: List(0,1) -> List(0,1)
+list3: List(1,0) -> List(0,1)
+list4: List(0,1,2) -> List(0,1,2)
+list5: List(1,0,2) -> List(0,1,2)
+list6: List(0,1,2) -> List(0,1,2)
+list7: List(1,0,2) -> List(0,1,2)
+list8: List(2,0,1) -> List(0,1,2)
+list9: List(2,1,0) -> List(0,1,2)
+listA: List(6,3,1,8,7,1,2,5,8,4) -> List(1,1,2,3,4,5,6,7,8,8)
+
+f(x) = 5x^3+7x^2+5x+9
+f(0) = 9
+f(1) = 26
+f(2) = 87
+f(3) = 222
+
+v1        = List(2,3,4)
+v2        = List(6,7,8)
+
+id        = List(List(1,0,0),List(0,1,0),List(0,0,1))
+m1        = List(List(2,0,0),List(0,2,0),List(0,0,2))
+m2        = List(List(1,2,3),List(4,5,6),List(7,8,9))
+
+v1 * v1   = 29
+v1 * v2   = 65
+v2 * v1   = 65
+v1 * v2   = 65
+
+id * v1   = List(2,3,4)
+m1 * v1   = List(4,6,8)
+m2 * v1   = List(20,47,74)
+
+trn(id)   = List(List(1,0,0),List(0,1,0),List(0,0,1))
+trn(m1)   = List(List(2,0,0),List(0,2,0),List(0,0,2))
+trn(m2)   = List(List(1,4,7),List(2,5,8),List(3,6,9))
+
+List(v1) * id = List(List(2,3,4))
+List(v1) * m1 = List(List(4,6,8))
+List(v1) * m2 = List(List(42,51,60))
+
+id * List(v1) = List(List(2,3,4),List(0,0,0),List(0,0,0))
+m1 * List(v1) = List(List(4,6,8),List(0,0,0),List(0,0,0))
+m2 * List(v1) = List(List(2,3,4),List(8,12,16),List(14,21,28))
+
+id * id   = List(List(1,0,0),List(0,1,0),List(0,0,1))
+id * m1   = List(List(2,0,0),List(0,2,0),List(0,0,2))
+m1 * id   = List(List(2,0,0),List(0,2,0),List(0,0,2))
+m1 * m1   = List(List(4,0,0),List(0,4,0),List(0,0,4))
+id * m2   = List(List(1,2,3),List(4,5,6),List(7,8,9))
+m2 * id   = List(List(1,2,3),List(4,5,6),List(7,8,9))
+m1 * m2   = List(List(2,4,6),List(8,10,12),List(14,16,18))
+m2 * m1   = List(List(2,4,6),List(8,10,12),List(14,16,18))
+m2 * m2   = List(List(30,36,42),List(66,81,96),List(102,126,150))
+