about summary refs log tree commit diff
path: root/src/interpreter/error.rs
diff options
context:
space:
mode:
authorGriffin Smith <root@gws.fyi>2021-03-14T20·43-0400
committerGriffin Smith <root@gws.fyi>2021-03-14T20·43-0400
commitecb4c0f803e9b408e4fd21c475769eb4dc649d14 (patch)
tree80390b00a6009cea21fbb68cbf56e6a193b478a2 /src/interpreter/error.rs
parent7960c3270e1a338f4da40d044a6896df96d82c79 (diff)
Universally quantified type variables
Implement universally quantified type variables, both explicitly given
by the user and inferred by the type inference algorithm.
Diffstat (limited to 'src/interpreter/error.rs')
-rw-r--r--src/interpreter/error.rs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/interpreter/error.rs b/src/interpreter/error.rs
index e0299d180553..268d6f479a1e 100644
--- a/src/interpreter/error.rs
+++ b/src/interpreter/error.rs
@@ -10,7 +10,10 @@ pub enum Error {
     UndefinedVariable(Ident<'static>),
 
     #[error("Unexpected type {actual}, expected type {expected}")]
-    InvalidType { actual: Type, expected: Type },
+    InvalidType {
+        actual: Type<'static>,
+        expected: Type<'static>,
+    },
 }
 
 pub type Result<T> = result::Result<T, Error>;