Check/synth record and tuple patterns

Author: Kmeakin

fathom/src/core.rs

@@ -3,7 +3,7 @@
 use std::fmt;
 
 use crate::env::{Index, Level};
-use crate::source::{Span, StringId};
+use crate::source::{FileRange, Span, StringId};
 
 pub mod binary;
 pub mod pretty;
@@ -279,6 +279,10 @@ impl<'arena> Term<'arena> {
     pub fn is_error(&self) -> bool {
         matches!(self, Term::Prim(_, Prim::ReportedError))
     }
+
+    pub fn error(range: FileRange) -> Self {
+        Self::Prim(range.into(), Prim::ReportedError)
+    }
 }
 
 macro_rules! def_prims {