From dfc890d4d348bded81a04578c34913592016159e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20Kukie=C5=82a?=
 <53443372+kukimik@users.noreply.github.com>
Date: Thu, 3 Nov 2022 23:22:56 +0100
Subject: [PATCH] Fix highlighting of `Double`

---
 src/typescript/dhall-tmlanguage.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/typescript/dhall-tmlanguage.ts b/src/typescript/dhall-tmlanguage.ts
index b32680b..72a03c5 100644
--- a/src/typescript/dhall-tmlanguage.ts
+++ b/src/typescript/dhall-tmlanguage.ts
@@ -77,11 +77,11 @@ const tmLanguage: TmLanguage = {
             },
             {
                 name: "entity.name.function",
-                match: "\\b(Natural/fold|Natural/build|Natural/isZero|Natural/even|Natural/odd|Natural/toInteger|Natural/show|Integer/toDouble|Integer/show|Double|Double/show|List/build|List/fold|List/length|List/head|List/last|List/indexed|List/reverse|Optional/fold|Optional/build)\\b"
+                match: "\\b(Natural/fold|Natural/build|Natural/isZero|Natural/even|Natural/odd|Natural/toInteger|Natural/show|Integer/toDouble|Integer/show|Double/show|List/build|List/fold|List/length|List/head|List/last|List/indexed|List/reverse|Optional/fold|Optional/build)\\b"
             },
             {
                 name: "support.class.dhall",
-                match: "\\b(Bool|Optional|None|Natural|Integer|Doule|Text|List)\\b"
+                match: "\\b(Bool|Optional|None|Natural|Integer|Double|Text|List)\\b"
             },
             {
                 name: "keyword.control.conditional.dhall",