From a74eba659135a126b12fa3e340a8008568625aa3 Mon Sep 17 00:00:00 2001
From: Stephen Paul Weber <singpolyma@singpolyma.net>
Date: Mon, 8 Apr 2019 13:34:12 -0500
Subject: [PATCH] Optional#value is not what we want here

---
 lib/dhall/ast.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/dhall/ast.rb b/lib/dhall/ast.rb
index a1291b3..8cd4d69 100644
--- a/lib/dhall/ast.rb
+++ b/lib/dhall/ast.rb
@@ -732,7 +732,7 @@ module Dhall
 			else
 				Application.new(
 					function: selection_syntax,
-					argument: value.respond_to?(:value) ? value.value : value
+					argument: value.is_a?(TypeAnnotation) ? value.value : value
 				)
 			end
 		end
-- 
2.38.5