test: add tests for basic hir compiler errors

.cargo/config.toml

@@ -1,6 +1,6 @@
 [alias]
 xtask = "run --package eight-xtask --"
-regtest = "run --package eight-regtest -- verify"
+regtest = "run --package eight-regtest -- verify tests"
 
 [env]
 CARGO_WORKSPACE_DIR = { value = "", relative = true }

tests/ui/hir/break-outside-loop.eight

@@ -0,0 +1,5 @@
+// RUN: not %eightc %s 2>&1 | %regtest test %s
+
+fn main() -> i32 {
+  break;
+}

tests/ui/hir/break-outside-loop.eight.snap

@@ -0,0 +1,11 @@
+Error: sema::break_outside_loop
+
+  × break statement outside of loop
+   ╭─[break-outside-loop.eight:4:3]
+ 3 │ fn main() -> i32 {
+ 4 │   break;
+   ·   ───┬──
+   ·      ╰── there is no enclosing loop
+ 5 │ }
+   ╰────
+

tests/ui/hir/continue-outside-loop.eight

@@ -0,0 +1,5 @@
+// RUN: not %eightc %s 2>&1 | %regtest test %s
+
+fn test() -> bool {
+  continue;
+}

tests/ui/hir/continue-outside-loop.eight.snap

@@ -0,0 +1,11 @@
+Error: sema::continue_outside_loop
+
+  × continue statement outside of loop
+   ╭─[continue-outside-loop.eight:4:3]
+ 3 │ fn test() -> bool {
+ 4 │   continue;
+   ·   ────┬────
+   ·       ╰── there is no enclosing loop
+ 5 │ }
+   ╰────
+

tests/ui/hir/invalid-reference.eight

@@ -0,0 +1,5 @@
+// RUN: not %eightc %s 2>&1 | %regtest test %s
+
+fn main() -> i32 {
+  return somebody_help_i_got_a_bad_reference;
+}

tests/ui/hir/invalid-reference.eight.snap

@@ -0,0 +1,11 @@
+Error: sema::invalid_reference
+
+  × invalid reference to somebody_help_i_got_a_bad_reference
+   ╭─[invalid-reference.eight:4:10]
+ 3 │ fn main() -> i32 {
+ 4 │   return somebody_help_i_got_a_bad_reference;
+   ·          ─────────────────┬─────────────────
+   ·                           ╰── no value in scope named somebody_help_i_got_a_bad_reference
+ 5 │ }
+   ╰────
+

tests/ui/hir/type-field-infinite-recursion.eight

@@ -0,0 +1,5 @@
+// RUN: not %eightc %s 2>&1 | %regtest test %s
+
+struct Foo {
+  bar: Foo,
+}

tests/ui/hir/type-field-infinite-recursion.eight.snap

@@ -0,0 +1,11 @@
+Error: sema::infinitely_recursive_type
+
+  × type is recursive
+   ╭─[type-field-infinite-recursion.eight:4:3]
+ 3 │ struct Foo {
+ 4 │   bar: Foo,
+   ·   ────┬────
+   ·       ╰── type Foo has an infinite recursion in field bar
+ 5 │ }
+   ╰────
+

tests/ui/hir/unknown-type.eight

@@ -0,0 +1,7 @@
+// RUN: not %eightc %s 2>&1 | %regtest test %s
+
+intrinsic_fn get_id<T>() -> T;
+
+fn main() {
+  let bananas: Banana = get_id();
+}

tests/ui/hir/unknown-type.eight.snap

@@ -0,0 +1,11 @@
+Error: sema::unknown_type
+
+  × Banana does not name a known type
+   ╭─[unknown-type.eight:6:16]
+ 5 │ fn main() {
+ 6 │   let bananas: Banana = get_id();
+   ·                ───┬──
+   ·                   ╰── could not find type Banana
+ 7 │ }
+   ╰────
+

tools/eight-regtest/src/bin/regtest.rs

@@ -112,15 +112,15 @@ fn verify(args: CommandVerifyArgs) -> anyhow::Result<()> {
         clearscreen::clear()?;
         let base_path = get_base_path(&path);
         let state = get_snapshot_state(&base_path)?;
-        let (previous, snapshot) = match &state {
+        let (previous, current) = match &state {
             SnapshotState::Verified(s) | SnapshotState::Unverified(s) => ("", s.as_str()),
             SnapshotState::PreviouslyRegressed(r, s) => (r.as_str(), s.as_str()),
             SnapshotState::Fresh => unreachable!(
                 "should not be possible to have just-verified snapshot in verification step"
             ),
         };
 
-        let (_, diff) = get_annotated_diff(previous, snapshot);
+        let (_, diff) = get_annotated_diff(current, previous);
         println!(
             "{} {}",
             "Displaying diff for snapshot file".cyan(),