diff options
author | Eduardo Julian | 2021-07-16 02:23:00 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-07-16 02:23:00 -0400 |
commit | bfacc0c96e56eedf788aba44bd8ad2848a35c390 (patch) | |
tree | 7d5f637d589ac68c645d6d726967d6fac51da15d /stdlib/source/test/aedifex/artifact/extension.lux | |
parent | 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e (diff) |
Fixed some inconsistent naming.
Diffstat (limited to 'stdlib/source/test/aedifex/artifact/extension.lux')
-rw-r--r-- | stdlib/source/test/aedifex/artifact/extension.lux | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index fd28c5d92..b8a2144aa 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -29,10 +29,12 @@ uniques (set.from_list text.hash options)] (n.= (list.size options) (set.size uniques)))) - (_.cover [/.extension] + (_.cover [/.extension /.type] (`` (and (~~ (template [<type> <extension>] - [(text\= <extension> - (/.extension <type>))] + [(and (text\= <extension> + (/.extension <type>)) + (text\= <type> + (/.type (/.extension <type>))))] [//.lux_library /.lux_library] [//.jvm_library /.jvm_library] |