From 8826d5b0d4ca30acfb5a336b8e486ba0bbe96d47 Mon Sep 17 00:00:00 2001 From: greg Date: Sat, 5 May 2018 02:07:27 -0700 Subject: [PATCH] For now, don't error out with typechecking --- schala-lang/src/lib.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/schala-lang/src/lib.rs b/schala-lang/src/lib.rs index 7a16202..9ec7195 100644 --- a/schala-lang/src/lib.rs +++ b/schala-lang/src/lib.rs @@ -84,7 +84,10 @@ fn typechecking(handle: &mut Schala, input: parsing::AST, comp: Option<&mut Unfi comp.map(|comp| comp.add_artifact(TraceArtifact::new("type_check", format!("{:?}", ty)))); Ok(input) }, - Err(msg) => Err(msg) + Err(msg) => { + comp.map(|comp| comp.add_artifact(TraceArtifact::new("type_check", format!("{:?}", msg)))); + Ok(input) + } } }