From f9ec2cdf2803ed92fa404db989b786fc1dfac12e Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 25 Aug 2019 17:07:59 +0200 Subject: Enforce type information almost everywhere --- dhall/src/error/mod.rs | 1 - 1 file changed, 1 deletion(-) (limited to 'dhall/src/error') diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs index 13a9d7e..2ddaf3d 100644 --- a/dhall/src/error/mod.rs +++ b/dhall/src/error/mod.rs @@ -54,7 +54,6 @@ pub(crate) enum TypeMessage { NotAFunction(Value), TypeMismatch(Value, Value, Value), AnnotMismatch(Value, Value), - Untyped, InvalidListElement(usize, Value, Value), InvalidListType(Value), InvalidOptionalType(Value), -- cgit v1.2.3