commit 155583a5c317881e60828e3972383436ac197ee8
author Riley Bruins <ribru17@hotmail.com> Mon May 20 14:21:53 2024 +0200
committer Christian Brabandt <cb@256bit.org> Mon May 20 14:21:53 2024 +0200
tree 58286b6979aaea0ed3960bf4c1ad03540766f18a
parent aa3104b07a3e5e7cc41310f1fbfb00f71ef801a2

patch 9.1.0425: filetype: purescript files are not recognized

Problem:  filetype: purescript files are not recognized
Solution: recognize '*.purs' files as purescript filetype,
          include basic purescript filetype plugin
          (Riley Bruins)

Reference: https://github.com/purescript/documentation/blob/master/language/Syntax.md#comments

closes: #14813

Signed-off-by: Riley Bruins <ribru17@hotmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>

src/version.c

diff --git a/src/version.c b/src/version.c
index b10e501..7941f8a 100644
--- a/src/version.c
+++ b/src/version.c
@@ -705,6 +705,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    425,
+/**/
     424,
 /**/
     423,