From f88596e2591a143ffb82c1dc8ba0bc4a5249697e Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 11 Mar 2019 18:34:36 +0100
Subject: Update dhall-lang and reactivate prelude tests

---
 Cargo.toml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'Cargo.toml')

diff --git a/Cargo.toml b/Cargo.toml
index 04197e4..74388cb 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,7 +7,13 @@ members = [
     "dhall_parser",
 ]
 
-# # Prelude tests are too slow when not optimized
+# # Parser is super slow when not optimized
+# [profile.dev.overrides.dhall_parser]
+# opt-level = 3
+# [profile.dev.overrides.dhall_core]
+# opt-level = 3
+# [profile.dev.overrides.dhall]
+# opt-level = 3
 # [profile.dev]
-# opt-level = 2
+# opt-level = 3
 
-- 
cgit v1.2.3