From 6375a0f2c3b123af5b1ff8c79d02caef6d2ed7e1 Mon Sep 17 00:00:00 2001
From: Basile Henry
Date: Mon, 2 Nov 2020 23:38:03 +0100
Subject: Handle record type properly

---
 dhall/src/operations/typecheck.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dhall/src/operations/typecheck.rs b/dhall/src/operations/typecheck.rs
index bab80dc..9329aff 100644
--- a/dhall/src/operations/typecheck.rs
+++ b/dhall/src/operations/typecheck.rs
@@ -542,7 +542,7 @@ pub fn typecheck_operation(
                 nir = Nir::from_kind(rec);
             }
 
-            nir.to_type(Const::Type)
+            Type::new_infer_universe(env, nir)?
         }
         Completion(..) => {
             unreachable!("This case should have been handled in resolution")
-- 
cgit v1.2.3