Fixed type annotation end match

Closes #91

CHANGELOG.md

@@ -13,6 +13,7 @@
 - Specialized highlighting for `signature`, to permit it as an identifier ([#108](https://github.com/JustusAdam/language-haskell/issues/108))
 - Fixed comments occurring in place of export lists ([#104](https://github.com/JustusAdam/language-haskell/issues/104))
 - Pragmas are now case insensitive ([#81](https://github.com/JustusAdam/language-haskell/issues/81))
+- Fixed matcher for end of type annotations. Facilitates indented `module` blocks ([#91](https://github.com/JustusAdam/language-haskell/issues/91)) 
 
 ## 2.7.0 - 29.12.2019
 

syntaxes/haskell.YAML-tmLanguage

@@ -189,10 +189,9 @@ patterns:
       (?x)
         (?=               # we look ahead, but we do not want to consume
           (<\-)           # we are the left side of a `x :: Type <- expr` bind statement
-        | (^(\1)?[^\s]    # at least one, no-further indented, non-whitespace character. I.e. a same-level declaraion/implementation
           | }             # A block closed? Maybe this should also include `;`, because non-indentation based `do`
-          )
         )
+        | ^(?!\1[^\s])    # at least one, no-further indented, non-whitespace character. I.e. a same-level declaration/implementation
   - {include: '#data_constructor'}
   - {include: '#qualifier'}
   - {include: '#comments'}

test/syntax-examples/test.hs

@@ -73,7 +73,7 @@ type T a =
     Constr 
     a 
     Int
-
+>
 -- Multi line type alias with infix constructors
 
 type UserApi = "users" :> Body '[JSON]
@@ -136,7 +136,7 @@ anotherFunc arg =
     expression argument = arg + 7
 
 anotherFunc arg = do 
-    { let thing = 5
+    { let thing = 5>
     ; arg <- doSomething 5
     ; let thing = 5
     ; return 8