From fe5e34d9adc9effd9939c61d5c0aa8ca592321d1 Mon Sep 17 00:00:00 2001 From: klarkc Date: Thu, 11 Jul 2024 16:16:15 -0300 Subject: [PATCH 1/3] Add support for PureScript --- README.md | 1 + syntax.json | 16 ++++++++++++++++ tests/test_closed.diff | 21 ++++++++++++++++++++- tests/test_new.diff | 22 +++++++++++++++++++++- tests/test_todo_parser.py | 4 ++-- 5 files changed, 60 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 22c0499..75595a0 100644 --- a/README.md +++ b/README.md @@ -167,6 +167,7 @@ These will be applied automatically to every issue, but will be overrode by any - Org Mode - PHP - Python +- PureScript - R - Razor - RMarkdown diff --git a/syntax.json b/syntax.json index 2acac03..0dafe57 100644 --- a/syntax.json +++ b/syntax.json @@ -364,6 +364,22 @@ } ] }, + { + "language": "PureScript", + "markers": [ + { + "type": "line", + "pattern": "--" + }, + { + "type": "block", + "pattern": { + "start": "{-", + "end": "-}" + } + } + ] + }, { "language": "Haskell", "markers": [ diff --git a/tests/test_closed.diff b/tests/test_closed.diff index 8ba979b..f9e9d95 100644 --- a/tests/test_closed.diff +++ b/tests/test_closed.diff @@ -428,4 +428,23 @@ index 0000000..7cccc5b 100644 + {data} ); - } \ No newline at end of file + } +diff --git a/src/Swarm/Game/example.purs b/src/Swarm/Game/example.purs +index 525e25d..ba4e68d 100644 +--- a/src/Swarm/Game/example.purs ++++ b/src/Swarm/Game/example.purs +@@ -1,14 +0,0 @@ +--- | Standard devices that are always installed. +--- +--- TODO: Remove standard devices +--- In the future, make a way to build these and just start the base +--- out with a large supply of each? +--- labels: redesign +-stdDeviceList = +- ["treads", "grabber", "solar panel", "scanner", "plasma cutter"] +- +-{- | Very complicated function. +- +-TODO: Create an issue for TODO +--} +-sum a b = a + b diff --git a/tests/test_new.diff b/tests/test_new.diff index 6a58acc..657f916 100644 --- a/tests/test_new.diff +++ b/tests/test_new.diff @@ -470,4 +470,24 @@ index 0000000..7cccc5b + */} + + ); -+} \ No newline at end of file ++} +diff --git a/src/Swarm/Game/example.purs b/src/Swarm/Game/example.purs +new file mode 100644 +index 0000000..0ce9b1a +--- /dev/null ++++ b/src/Swarm/Game/example.purs +@@ -0,0 +1,14 @@ ++-- | Standard devices that are always installed. ++-- ++-- TODO: Remove standard devices ++-- In the future, make a way to build these and just start the base ++-- out with a large supply of each? ++-- labels: redesign ++stdDeviceList = ++ ["treads", "grabber", "solar panel", "scanner", "plasma cutter"] ++ ++{- | Very complicated function. ++ ++TODO: Create an issue for TODO ++-} ++sum a b = a + b diff --git a/tests/test_todo_parser.py b/tests/test_todo_parser.py index 627d660..5f542d5 100644 --- a/tests/test_todo_parser.py +++ b/tests/test_todo_parser.py @@ -83,7 +83,7 @@ class NewIssueTests(unittest.TestCase): self.assertEqual(count_issues_for_file_type(self.raw_issues, 'r'), 2) def test_haskell_issues(self): - self.assertEqual(count_issues_for_file_type(self.raw_issues, 'haskell'), 2) + self.assertEqual(count_issues_for_file_type(self.raw_issues, 'haskell'), 4) def test_clojure_issues(self): self.assertEqual(count_issues_for_file_type(self.raw_issues, 'clojure'), 2) @@ -171,7 +171,7 @@ class ClosedIssueTests(unittest.TestCase): self.assertEqual(count_issues_for_file_type(self.raw_issues, 'r'), 2) def test_haskell_issues(self): - self.assertEqual(count_issues_for_file_type(self.raw_issues, 'haskell'), 2) + self.assertEqual(count_issues_for_file_type(self.raw_issues, 'haskell'), 4) def test_clojure_issues(self): self.assertEqual(count_issues_for_file_type(self.raw_issues, 'clojure'), 2) From 1f36e55b3181e0cf71c6cc67c2ab83289864e920 Mon Sep 17 00:00:00 2001 From: pufferffish Date: Tue, 3 Oct 2023 12:43:13 +0100 Subject: [PATCH 2/3] Add support for Agda --- syntax.json | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/syntax.json b/syntax.json index 0dafe57..8d9a54a 100644 --- a/syntax.json +++ b/syntax.json @@ -812,5 +812,21 @@ } } ] + }, + { + "language": "Agda", + "markers": [ + { + "type": "line", + "pattern": "--" + }, + { + "type": "block", + "pattern": { + "start": "{-", + "end": "-}" + } + } + ] } ] From 7d8b98490006925f6a50bb31261716428bac9649 Mon Sep 17 00:00:00 2001 From: klarkc Date: Thu, 11 Jul 2024 16:29:45 -0300 Subject: [PATCH 3/3] Add Agda doc and tests --- README.md | 1 + tests/test_closed.diff | 19 +++++++++++++++++++ tests/test_new.diff | 20 ++++++++++++++++++++ tests/test_todo_parser.py | 4 ++-- 4 files changed, 42 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 75595a0..32ec12a 100644 --- a/README.md +++ b/README.md @@ -136,6 +136,7 @@ These will be applied automatically to every issue, but will be overrode by any - ABAP - ABAP CDS +- Agda - AutoHotkey - C - C++ diff --git a/tests/test_closed.diff b/tests/test_closed.diff index f9e9d95..1422c1e 100644 --- a/tests/test_closed.diff +++ b/tests/test_closed.diff @@ -448,3 +448,22 @@ index 525e25d..ba4e68d 100644 -TODO: Create an issue for TODO --} -sum a b = a + b +diff --git a/src/Swarm/Game/example.agda b/src/Swarm/Game/example.agda +index 525e25d..ba4e68d 100644 +--- a/src/Swarm/Game/example.agda ++++ b/src/Swarm/Game/example.agda +@@ -1,14 +0,0 @@ +--- | Standard devices that are always installed. +--- +--- TODO: Remove standard devices +--- In the future, make a way to build these and just start the base +--- out with a large supply of each? +--- labels: redesign +-stdDeviceList = +- ["treads", "grabber", "solar panel", "scanner", "plasma cutter"] +- +-{- | Very complicated function. +- +-TODO: Create an issue for TODO +--} +-sum a b = a + b diff --git a/tests/test_new.diff b/tests/test_new.diff index 657f916..b0b2454 100644 --- a/tests/test_new.diff +++ b/tests/test_new.diff @@ -491,3 +491,23 @@ index 0000000..0ce9b1a +TODO: Create an issue for TODO +-} +sum a b = a + b +diff --git a/src/Swarm/Game/example.agda b/src/Swarm/Game/example.agda +new file mode 100644 +index 0000000..0ce9b1a +--- /dev/null ++++ b/src/Swarm/Game/example.agda +@@ -0,0 +1,14 @@ ++-- | Standard devices that are always installed. ++-- ++-- TODO: Remove standard devices ++-- In the future, make a way to build these and just start the base ++-- out with a large supply of each? ++-- labels: redesign ++stdDeviceList = ++ ["treads", "grabber", "solar panel", "scanner", "plasma cutter"] ++ ++{- | Very complicated function. ++ ++TODO: Create an issue for TODO ++-} ++sum a b = a + b diff --git a/tests/test_todo_parser.py b/tests/test_todo_parser.py index 5f542d5..451990a 100644 --- a/tests/test_todo_parser.py +++ b/tests/test_todo_parser.py @@ -65,7 +65,7 @@ class NewIssueTests(unittest.TestCase): self.assertEqual(count_issues_for_file_type(self.raw_issues, 'handlebars'), 2) def test_org_issues(self): - self.assertEqual(count_issues_for_file_type(self.raw_issues, 'text'), 4) + self.assertEqual(count_issues_for_file_type(self.raw_issues, 'text'), 6) def test_scss_issues(self): self.assertEqual(count_issues_for_file_type(self.raw_issues, 'scss'), 2) @@ -153,7 +153,7 @@ class ClosedIssueTests(unittest.TestCase): self.assertEqual(count_issues_for_file_type(self.raw_issues, 'handlebars'), 2) def test_org_issues(self): - self.assertEqual(count_issues_for_file_type(self.raw_issues, 'text'), 4) + self.assertEqual(count_issues_for_file_type(self.raw_issues, 'text'), 6) def test_scss_issues(self): self.assertEqual(count_issues_for_file_type(self.raw_issues, 'scss'), 2)