j/Conlang
1
1
Fork 0
Code Issues 5 Pull Requests Packages Projects 2 Releases Wiki Activity

cl-interpret/pattern: Doc changes, minor format

Browse Source
This commit is contained in:
John 2025-02-28 20:35:20 -06:00
parent adbabc66c5
commit fd54b513be
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/cl-interpret/src/pattern.rs
View File

@ -1,4 +1,4 @@
//! Unification algorithm for cl-ast patterns and ConValues //! Unification algorithm for cl-ast [Pattern]s and [ConValue]s
//! //!
//! [`variables()`] returns a flat list of symbols that are bound by a given pattern //! [`variables()`] returns a flat list of symbols that are bound by a given pattern
//! [`substitution()`] unifies a ConValue with a pattern, and produces a list of bound names //! [`substitution()`] unifies a ConValue with a pattern, and produces a list of bound names
@ -117,7 +117,7 @@ pub fn append_sub<'pat>(
(Pattern::Literal(Literal::String(a)), ConValue::String(b)) => { (Pattern::Literal(Literal::String(a)), ConValue::String(b)) => {
(&*b < a).then_some(()).ok_or(Error::NotAssignable) (&*b < a).then_some(()).ok_or(Error::NotAssignable)
} }
_ => Err(Error::NotAssignable) _ => Err(Error::NotAssignable),
}, },
(Pattern::Name(name), _) if "_".eq(&**name) => Ok(()), (Pattern::Name(name), _) if "_".eq(&**name) => Ok(()),