1 files changed, 14 insertions, 14 deletions

diff --git a/testdata/complex.lc b/testdata/complex.lc
index 9c908b52..1a7d8b00 100644
--- a/testdata/complex.lc
+++ b/testdata/complex.lc
@@ -16,8 +16,8 @@ polar a b = Complex a b
 
 -- TODO: Write tests that checks if the derived type is the same as the given
 cabs :: forall r . Complex r -> Float
-cabs @Normal (Complex a b)    = sqrt (a*a + b*b)
-cabs @Polar  (Complex r _phi) = r
+cabs @'Normal (Complex a b)    = sqrt (a*a + b*b)
+cabs @'Polar  (Complex r _phi) = r
 
 toPolar :: Complex Normal -> Complex Polar
 toPolar (Complex x y) =
@@ -66,10 +66,10 @@ toNormal (Complex r phi) = Complex (r * cos phi) (r * sin phi)
 
 {-
 convert :: forall r0 . forall r1 . Complex r0 -> Complex r1
-convert @Normal @Normal c = c
-convert @Polar  @Polar  c = c
-convert @Normal @Polar  c = toPolar c
-convert @Polar  @Normal c = toNormal c
+convert @'Normal @'Normal c = c
+convert @'Polar  @'Polar  c = c
+convert @'Normal @'Polar  c = toPolar c
+convert @'Polar  @'Normal c = toNormal c
 !Failed mandel
   checkMetas lam: \(a : V0~Polar) (b : Normal~V1) (c : 'Num ('MatVecElem 'Float)) (d : 'Num ('MatVecElem
   'Float)) (e : Polar~V4) (f : Normal~V5) (g : V6~Normal) {h:'Repr} (i : h~V8) (j : 'Complex V9) ->
@@ -79,10 +79,10 @@ convert @Polar  @Normal c = toNormal c
 
 {-
 convert :: forall r0 . forall r1 . Complex r0 -> Complex r1
-convert @Normal @Normal = id
-convert @Polar  @Polar  = id
-convert @Normal @Polar  = toPolar
-convert @Polar  @Normal = toNormal
+convert @'Normal @'Normal = id
+convert @'Polar  @'Polar  = id
+convert @'Normal @'Polar  = toPolar
+convert @'Polar  @'Normal = toNormal
 !Failed mandel
   type error: can not unify
   Polar
@@ -90,7 +90,7 @@ convert @Polar  @Normal = toNormal
   Normal
 
   in "./testdata/accept/mandel.lc" (line 51, column 27):
-  convert @Normal @Polar  = toPolar
+  convert @'Normal @'Polar  = toPolar
                             ^^^^^^^
 -}
 
@@ -111,10 +111,10 @@ r should have type X, but it has Y
 it_should_fail (Complex r _ _ _ _) = r
 
 add :: forall r0 . forall r1 . Complex r0 -> Complex r1 -> Complex r0
-add @Normal @Normal (Complex a b) (Complex c d) = Complex (a + c) (b + d)
+add @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a + c) (b + d)
 
 {-
-add @Polar  @Polar  c0 c1 = toPolar (add (toNormal c0) (toNormal c1))
+add @'Polar  @'Polar  c0 c1 = toPolar (add (toNormal c0) (toNormal c1))
 !Failed mandel
   checkMetas lam: \(a : Polar~V0) (b : 'Num ('MatVecElem 'Float)) (c : 'Num ('MatVecElem 'Float))
   {d:'Repr} (e : Polar~d) (f : V5~Polar) (g : 'Complex V6) (h : 'Complex d) -> 'ReprCase (\'Repr ->
@@ -126,7 +126,7 @@ add @Polar  @Polar  c0 c1 = toPolar (add (toNormal c0) (toNormal c1))
 -}
 
 mul :: forall r0 r1 . Complex r0 -> Complex r1 -> Complex r0
-mul @Normal @Normal (Complex a b) (Complex c d) = Complex (a*c - b*d) (b*c + a*d)
+mul @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a*c - b*d) (b*c + a*d)
 
 {- TODO: The hidden parameters should not be shown... or a configuration level...
 {a : 'Num ('MatVecElem 'Float)} -> {b : 'Num ('MatVecElem 'Float)} -> {c : 'Num ('MatVecElem 'Float)} ->