From 72527fc4ea1bb9a580bdbacbf8410ce96037cd95 Mon Sep 17 00:00:00 2001
From: Nicolas Gagliani <whatamaps@gmail.com>
Date: Tue, 23 Feb 2016 23:19:42 +0100
Subject: [PATCH] Highlight constructors

---
 grammars/language-idris.cson | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/grammars/language-idris.cson b/grammars/language-idris.cson
index 0b10e21..bdcc962 100644
--- a/grammars/language-idris.cson
+++ b/grammars/language-idris.cson
@@ -169,6 +169,9 @@ patterns:
       name: 'keyword.operator.idris'
       match: "[|&!%$?~+:\\-.=</>\\\\*]+"
     }
+    {
+      include: '#data_ctor'
+    }
   ]
 repository:
   context_signature:
@@ -324,4 +327,12 @@ repository:
           match: '\\^[A-Z@\\[\\]\\\\\\^_]'
         }
       ]
+  data_ctor:
+    patterns:
+      [
+        {
+          'name': 'entity.name.tag.idris'
+          'match': '\\b[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}\']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}\']*)*\\b'
+        }
+      ]
 uuid: '4dd16092-ffa5-4ba4-8075-e5da9f368a72'