From 6ad7a2000bf32b96be731cd51da5b841976dae12 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 4 May 2019 18:41:21 +0200 Subject: Revert "Recover arrow type detection" This reverts commit 153cf8dab3b80aba30ac3adfd44e4be251494ea2. --- dhall_syntax/src/core.rs | 15 +------------ dhall_syntax/src/printer.rs | 51 ++++++++++++++++----------------------------- 2 files changed, 19 insertions(+), 47 deletions(-) (limited to 'dhall_syntax/src') diff --git a/dhall_syntax/src/core.rs b/dhall_syntax/src/core.rs index 389f037..c8a2425 100644 --- a/dhall_syntax/src/core.rs +++ b/dhall_syntax/src/core.rs @@ -60,7 +60,7 @@ pub enum Const { /// The `Int` field is a DeBruijn index. /// See dhall-lang/standard/semantics.md for details #[derive(Debug, Clone, PartialEq, Eq)] -pub struct Var(pub VarLabel, pub usize); +pub struct Var