Merge branch 'master' of github.com:idris-hackers/atom-language-idris

idris-hackers · Feb 23, 2016 · 632ea98 · 632ea98
2 parents 62366fc + 8a09415
commit 632ea98
Showing 1 changed file with 11 additions and 0 deletions.
diff --git 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'