From 2b35029bde0a17f28262c4604f5e145cf6c2612a Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Mon, 11 Apr 2022 14:10:49 +0200
Subject: [PATCH] raw strings

---
 syntax/idris2.vim | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/syntax/idris2.vim b/syntax/idris2.vim
index a8b2044..92b3cf3 100644
--- a/syntax/idris2.vim
+++ b/syntax/idris2.vim
@@ -42,6 +42,7 @@ syn match idrisPragma "%\(hide\|logging\|auto_lazy\|unbound_implicits\|undotted_
 syn match idrisChar "'[^'\\]'\|'\\.'\|'\\u[0-9a-fA-F]\{4}'"
 syn match idrisBacktick "`[A-Za-z][A-Za-z0-9_']*`"
 syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=@Spell
+syn match idrisRawString /#\@<!\(#\+\)"\_.\{-}"\1/ contains=@Spell
 syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment,idrisTodo,@Spell
 syn match idrisIdentifier "[a-zA-Z][a-zA-z0-9_']*" contained
 
@@ -74,6 +75,7 @@ highlight def link idrisBlockComment Comment
 highlight def link idrisTodo Todo
 highlight def link idrisMetaVar Macro
 highlight def link idrisString String
+highlight def link idrisRawString String
 highlight def link idrisChar String
 highlight def link idrisBacktick Operator