Fix tests that I have missed in PR #57 and #58

casm-lang · May 2, 2018 · 5893003 · 5893003
1 parent a2a158c
commit 5893003
Show file tree

Hide file tree

Showing 6 changed files with 8 additions and 7 deletions.
diff --git a/test/definition/derived/error/identifier_is_builtin.casm b/test/definition/derived/error/identifier_is_builtin.casm
@@ -42,7 +42,7 @@
 
 CASM init foo
 
-derived assert( arg : Integer ) -> Integer = 0 //@ ERROR( d100 )
+derived assert( arg : Integer ) -> Integer = 0 //@ ERROR( 0504 )
 
 rule foo =
     skip
diff --git a/test/definition/enumeration/error/implicit_namespace_but_incorrect_symbol.casm b/test/definition/enumeration/error/implicit_namespace_but_incorrect_symbol.casm
@@ -53,7 +53,7 @@ rule foo =
     let
     c : Other
     =
-    ::Red //@ERROR( cc11 )
+    Red //@ERROR( 0500 )
     in
         skip
 }
diff --git a/test/definition/enumeration/error/implicit_namespace_when_type_is_unknown.casm b/test/definition/enumeration/error/implicit_namespace_when_type_is_unknown.casm
@@ -48,8 +48,8 @@ enumeration Color = { Red, Green, Blue }
 
 rule foo =
 {
-    let c =
-        ::Red //@ ERROR( cc11 )
+    let c = //@ ERROR( 1eee )
+        Red //@ ERROR( 0500 )
     in
         skip
 }
diff --git a/test/definition/enumeration/error/missing_namespace.casm b/test/definition/enumeration/error/missing_namespace.casm
@@ -48,6 +48,7 @@ enumeration Color = { Red, Green, Blue }
 
 rule foo =
 {
-    let c = Red in //@ERROR( 0500 )
+    let c = //@ ERROR( 1eee )
+            Red in //@ERROR( 0500 )
         skip
 }
diff --git a/test/definition/using/enumeration_type_alias.casm b/test/definition/using/enumeration_type_alias.casm
@@ -51,5 +51,5 @@ enumeration Color = {
 using MyType = Color
 
 rule foo =
-    let x : MyType = ::Red in
+    let x : MyType = Red in
         skip
diff --git a/test/definition/using/use_type_alias_as_universe.casm b/test/definition/using/use_type_alias_as_universe.casm
@@ -56,7 +56,7 @@ rule foo =
     forall s in MyState do
         visitedStates( s ) := true
 
-    assert( visitedStates( ::On ) and visitedStates( ::Off ) )
+    assert( visitedStates( On ) and visitedStates( Off ) )
 
     program( self ) := undef
 |}