fine/build.rs

@@ -82,8 +82,6 @@ fn generate_test_for_file(path: PathBuf) -> String {
             assertions.push(quote! {
                 crate::assert_no_errors(&_tree, &_lines);
             });
-        } else if line.starts_with("@") {
-            panic!("Test file {display_path} has unknown directive: {line}");
         }
     }
 

fine/tests/expression/argument.fine

@@ -2,7 +2,6 @@ fun foo(x: f64) {
   x + 7
 }
 
-// @no-errors
 // @type: 20 f64
 // @concrete:
 // | File

fine/tests/expression/arithmetic.fine

@@ -1,6 +1,5 @@
 1 * 2 + -3 * 4;
 
-// @no-errors
 // @type: 6 f64
 // @concrete:
 // | File

fine/tests/expression/block.fine

@@ -1,10 +1,10 @@
-{}
-
-// @no-errors
-// @type: 0 ()
 // @concrete:
 // | File
 // |   Block
 // |     LeftBrace:'"{"'
 // |     RightBrace:'"}"'
 // |
+
+{}
+
+// @type: 94 ()

fine/tests/expression/boolean.fine

@@ -1,7 +1,3 @@
-true and false or false and !true;
-
-// @no-errors
-// @type: 15 bool
 // @concrete:
 // | File
 // |   ExpressionStatement
@@ -22,3 +18,7 @@ true and false or false and !true;
 // |           LiteralExpression
 // |             True:'"true"'
 // |     Semicolon:'";"'
+//
+true and false or false and !true;
+
+// @type: 549 bool

fine/tests/expression/conditional.fine

@@ -1,24 +1,3 @@
-if true { "discarded"; 23 } else { 45 }
-
-// @no-errors
-// Here come some type probes!
-// (type of the condition)
-// @type: 3 bool
-//
-// (the discarded expression)
-// @type: 10 string
-//
-// (the "then" clause)
-// @type: 23 f64
-// @type: 26 f64
-//
-// (the "else" clause)
-// @type: 35 f64
-// @type: 38 f64
-//
-// (the overall expression)
-// @type: 0 f64
-//
 // @concrete:
 // | File
 // |   IfStatement
@@ -44,16 +23,22 @@ if true { "discarded"; 23 } else { 45 }
 // |             Number:'"45"'
 // |         RightBrace:'"}"'
 //
-// @compiles-to:
+if true { "discarded"; 23 } else { 45 }
-// | function << module >> (0 args, 0 locals):
+
-// |   strings (1):
+// Here come some type probes!
-// |     0: "discarded"
+// (type of the condition)
-// |   code (7):
+// @type: 667 bool
-// |     0: PushTrue
+//
-// |     1: JumpFalse(6)
+// (the discarded expression)
-// |     2: PushString(0)
+// @type: 674 string
-// |     3: Discard
+//
-// |     4: PushFloat(23.0)
+// (the "then" clause)
-// |     5: Jump(7)
+// @type: 686 f64
-// |     6: PushFloat(45.0)
+// @type: 689 f64
-// |
+//
+// (the "else" clause)
+// @type: 696 f64
+// @type: 699 f64
+//
+// (the overall expression)
+// @type: 664 f64

fine/tests/expression/number.fine

@@ -1,10 +1,10 @@
-42;
-
-// @no-errors
-// @type: 0 f64
 // @concrete:
 // | File
 // |   ExpressionStatement
 // |     LiteralExpression
 // |       Number:'"42"'
 // |     Semicolon:'";"'
+
+42;
+
+// @type: 129 f64

fine/tests/expression/strings.fine

@@ -1,7 +1,3 @@
-"Hello " + 'world!';
-
-// @no-errors
-// @type: 9 string
 // @concrete:
 // | File
 // |   ExpressionStatement
@@ -12,3 +8,7 @@
 // |       LiteralExpression
 // |         String:'"'world!'"'
 // |     Semicolon:'";"'
+//
+"Hello " + 'world!';
+
+// @type: 261 string