mark/mers
1
0
Fork 0
mirror of https://github.com/Dummi26/mers.git synced 2025-03-10 14:13:52 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

.

Browse Source
This commit is contained in:
Mark 2024-01-16 12:06:55 +01:00
parent 9fe981fc6c
commit 16cdcddc72
2 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
mers/Cargo.lock generated
View File

@ -191,7 +191,7 @@ checksum = "09fc20d2ca12cb9f044c93e3bd6d32d523e6e2ec3db4f7b2939cd99026ecd3f0"
[[package]] [[package]]
name = "mers" name = "mers"
version = "0.1.0" version = "0.3.3"
dependencies = [ dependencies = [
"clap", "clap",
"mers_lib", "mers_lib",
@ -199,7 +199,9 @@ dependencies = [
[[package]] [[package]]
name = "mers_lib" name = "mers_lib"
version = "0.3.0" version = "0.3.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "4bb692b23943c1ca19206ac603ca6dcd44975cbb8ffbd45ec442137ebaf916ba"
dependencies = [ dependencies = [
"colored", "colored",
"line-span", "line-span",

5
mers_lib/src/program/configs/with_list.rs
View File

@ -296,11 +296,12 @@ impl MersType for ListT {
.is_some_and(|v| self.0.is_included_in(&v.0)) .is_some_and(|v| self.0.is_included_in(&v.0))
} }
fn subtypes(&self, acc: &mut Type) { fn subtypes(&self, acc: &mut Type) {
// The type of an empty list is a list where the items are `<unreachable>`
acc.add(Arc::new(Self(Type::empty())));
// All possible list types
for t in self.0.subtypes_type().types { for t in self.0.subtypes_type().types {
acc.add(Arc::new(Self(Type::newm(vec![t])))); acc.add(Arc::new(Self(Type::newm(vec![t]))));
} }
// The type of an empty list is a list where the items are `<unreachable>`
acc.add(Arc::new(Self(Type::empty())));
} }
fn as_any(&self) -> &dyn std::any::Any { fn as_any(&self) -> &dyn std::any::Any {
self self