Skip to content

Commit 852f847

Browse files
pmderodatraph-amiard
authored andcommitted
Langkit_Support: remove the Functional_Lists package
It was introduced for Adalog's symbolic solver, which no longer uses it, so remove it from Langkit_Support. TN: SB20-024
1 parent 5e76298 commit 852f847

File tree

7 files changed

+0
-384
lines changed

7 files changed

+0
-384
lines changed

support/langkit_support-functional_lists.adb

Lines changed: 0 additions & 141 deletions
This file was deleted.

support/langkit_support-functional_lists.ads

Lines changed: 0 additions & 180 deletions
This file was deleted.

support/langkit_support.gpr

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,6 @@ library project Langkit_Support is
4040
"Langkit_Support.Generic_API.Analysis",
4141
"Langkit_Support.Generic_API.Introspection",
4242
"Langkit_Support.File_Readers",
43-
"Langkit_Support.Functional_Lists",
4443
"Langkit_Support.Hashes",
4544
"Langkit_Support.Images",
4645
"Langkit_Support.Internal",

testsuite/tests/langkit_support/functional_lists/main.adb

Lines changed: 0 additions & 51 deletions
This file was deleted.

testsuite/tests/langkit_support/functional_lists/support.ads

Lines changed: 0 additions & 5 deletions
This file was deleted.

testsuite/tests/langkit_support/functional_lists/test.out

Lines changed: 0 additions & 5 deletions
This file was deleted.

testsuite/tests/langkit_support/functional_lists/test.yaml

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)