From 7d8b98490006925f6a50bb31261716428bac9649 Mon Sep 17 00:00:00 2001 From: klarkc Date: Thu, 11 Jul 2024 16:29:45 -0300 Subject: [PATCH] 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)