From 76a9367284bac768ac845dee8fdc19f897de4d53 Mon Sep 17 00:00:00 2001 From: greg Date: Mon, 9 Oct 2017 11:42:53 -0700 Subject: [PATCH] String types --- src/schala_lang/type_check.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/schala_lang/type_check.rs b/src/schala_lang/type_check.rs index 6ba73b1..964b0fa 100644 --- a/src/schala_lang/type_check.rs +++ b/src/schala_lang/type_check.rs @@ -111,6 +111,7 @@ pub enum TypeVariable { pub enum UVar { Integer, Float, + String, Boolean, Unit, Function(Box, Box), @@ -163,6 +164,7 @@ impl TypeContext { }, (&IntLiteral(_), _) => Univ(UVar::Integer), (&FloatLiteral(_), _) => Univ(UVar::Float), + (&StringLiteral(_), _) => Univ(UVar::String), (&BoolLiteral(_), _) => Univ(UVar::Boolean), (&Variable(ref name), _) => self.lookup(name).map(|entry| entry.type_var) .ok_or(format!("Couldn't find {}", name))?,