Skip to content

Commit 165cd5e

Browse files
alstralstr
authored
Merge pull request #193 from klarkc/add-purs-agda
Add PureScript and Agda
2 parents e3452cb + 7d8b984 commit 165cd5e

File tree

5 files changed

+118
-6
lines changed

5 files changed

+118
-6
lines changed

‎README.md

+2
Original file line numberDiff line numberDiff line change
@@ -136,6 +136,7 @@ These will be applied automatically to every issue, but will be overrode by any
136136

137137
- ABAP
138138
- ABAP CDS
139+
- Agda
139140
- AutoHotkey
140141
- C
141142
- C++
@@ -167,6 +168,7 @@ These will be applied automatically to every issue, but will be overrode by any
167168
- Org Mode
168169
- PHP
169170
- Python
171+
- PureScript
170172
- R
171173
- Razor
172174
- RMarkdown

‎syntax.json

+32
Original file line numberDiff line numberDiff line change
@@ -364,6 +364,22 @@
364364
}
365365
]
366366
},
367+
{
368+
"language": "PureScript",
369+
"markers": [
370+
{
371+
"type": "line",
372+
"pattern": "--"
373+
},
374+
{
375+
"type": "block",
376+
"pattern": {
377+
"start": "{-",
378+
"end": "-}"
379+
}
380+
}
381+
]
382+
},
367383
{
368384
"language": "Haskell",
369385
"markers": [
@@ -796,5 +812,21 @@
796812
}
797813
}
798814
]
815+
},
816+
{
817+
"language": "Agda",
818+
"markers": [
819+
{
820+
"type": "line",
821+
"pattern": "--"
822+
},
823+
{
824+
"type": "block",
825+
"pattern": {
826+
"start": "{-",
827+
"end": "-}"
828+
}
829+
}
830+
]
799831
}
800832
]

‎tests/test_closed.diff

+39-1
Original file line numberDiff line numberDiff line change
@@ -428,4 +428,42 @@ index 0000000..7cccc5b 100644
428428
+ <StyledComponent>{data}</StyledComponent>
429429
</div>
430430
);
431-
}
431+
}
432+
diff --git a/src/Swarm/Game/example.purs b/src/Swarm/Game/example.purs
433+
index 525e25d..ba4e68d 100644
434+
--- a/src/Swarm/Game/example.purs
435+
+++ b/src/Swarm/Game/example.purs
436+
@@ -1,14 +0,0 @@
437+
--- | Standard devices that are always installed.
438+
---
439+
--- TODO: Remove standard devices
440+
--- In the future, make a way to build these and just start the base
441+
--- out with a large supply of each?
442+
--- labels: redesign
443+
-stdDeviceList =
444+
- ["treads", "grabber", "solar panel", "scanner", "plasma cutter"]
445+
-
446+
-{- | Very complicated function.
447+
-
448+
-TODO: Create an issue for TODO
449+
--}
450+
-sum a b = a + b
451+
diff --git a/src/Swarm/Game/example.agda b/src/Swarm/Game/example.agda
452+
index 525e25d..ba4e68d 100644
453+
--- a/src/Swarm/Game/example.agda
454+
+++ b/src/Swarm/Game/example.agda
455+
@@ -1,14 +0,0 @@
456+
--- | Standard devices that are always installed.
457+
---
458+
--- TODO: Remove standard devices
459+
--- In the future, make a way to build these and just start the base
460+
--- out with a large supply of each?
461+
--- labels: redesign
462+
-stdDeviceList =
463+
- ["treads", "grabber", "solar panel", "scanner", "plasma cutter"]
464+
-
465+
-{- | Very complicated function.
466+
-
467+
-TODO: Create an issue for TODO
468+
--}
469+
-sum a b = a + b

‎tests/test_new.diff

+41-1
Original file line numberDiff line numberDiff line change
@@ -470,4 +470,44 @@ index 0000000..7cccc5b
470470
+ */}
471471
+ </div>
472472
+ );
473-
+}
473+
+}
474+
diff --git a/src/Swarm/Game/example.purs b/src/Swarm/Game/example.purs
475+
new file mode 100644
476+
index 0000000..0ce9b1a
477+
--- /dev/null
478+
+++ b/src/Swarm/Game/example.purs
479+
@@ -0,0 +1,14 @@
480+
+-- | Standard devices that are always installed.
481+
+--
482+
+-- TODO: Remove standard devices
483+
+-- In the future, make a way to build these and just start the base
484+
+-- out with a large supply of each?
485+
+-- labels: redesign
486+
+stdDeviceList =
487+
+ ["treads", "grabber", "solar panel", "scanner", "plasma cutter"]
488+
+
489+
+{- | Very complicated function.
490+
+
491+
+TODO: Create an issue for TODO
492+
+-}
493+
+sum a b = a + b
494+
diff --git a/src/Swarm/Game/example.agda b/src/Swarm/Game/example.agda
495+
new file mode 100644
496+
index 0000000..0ce9b1a
497+
--- /dev/null
498+
+++ b/src/Swarm/Game/example.agda
499+
@@ -0,0 +1,14 @@
500+
+-- | Standard devices that are always installed.
501+
+--
502+
+-- TODO: Remove standard devices
503+
+-- In the future, make a way to build these and just start the base
504+
+-- out with a large supply of each?
505+
+-- labels: redesign
506+
+stdDeviceList =
507+
+ ["treads", "grabber", "solar panel", "scanner", "plasma cutter"]
508+
+
509+
+{- | Very complicated function.
510+
+
511+
+TODO: Create an issue for TODO
512+
+-}
513+
+sum a b = a + b

‎tests/test_todo_parser.py

+4-4
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,7 @@ def test_handlebars_issues(self):
6565
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'handlebars'), 2)
6666

6767
def test_org_issues(self):
68-
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'text'), 4)
68+
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'text'), 6)
6969

7070
def test_scss_issues(self):
7171
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'scss'), 2)
@@ -83,7 +83,7 @@ def test_r_issues(self):
8383
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'r'), 2)
8484

8585
def test_haskell_issues(self):
86-
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'haskell'), 2)
86+
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'haskell'), 4)
8787

8888
def test_clojure_issues(self):
8989
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'clojure'), 2)
@@ -153,7 +153,7 @@ def test_handlebars_issues(self):
153153
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'handlebars'), 2)
154154

155155
def test_org_issues(self):
156-
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'text'), 4)
156+
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'text'), 6)
157157

158158
def test_scss_issues(self):
159159
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'scss'), 2)
@@ -171,7 +171,7 @@ def test_r_issues(self):
171171
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'r'), 2)
172172

173173
def test_haskell_issues(self):
174-
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'haskell'), 2)
174+
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'haskell'), 4)
175175

176176
def test_clojure_issues(self):
177177
self.assertEqual(count_issues_for_file_type(self.raw_issues, 'clojure'), 2)

0 commit comments

Comments
 (0)