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

cl-typeck: Fix infer.rs doctests

Browse Source
This commit is contained in:
John 2024-07-29 15:42:35 -05:00
parent b17164b68b
commit 28f9048087
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-typeck/src/stage/infer.rs
View File

@ -96,7 +96,7 @@ impl Type {
} }
/// Checks whether there are any unbound type variables in this type. /// Checks whether there are any unbound type variables in this type.
/// ```rust /// ```rust
/// # use cl_typeck::inference::*; /// # use cl_typeck::stage::infer::*;
/// let bool = Type::new_op("bool".into(), &[]); /// let bool = Type::new_op("bool".into(), &[]);
/// let true_v = Type::new_inst(&bool); /// let true_v = Type::new_inst(&bool);
/// let unbound = Type::new_var(); /// let unbound = Type::new_var();
@ -149,7 +149,7 @@ impl Type {
/// Panics if this type variable's instance field is already borrowed. /// Panics if this type variable's instance field is already borrowed.
/// # Examples /// # Examples
/// ```rust /// ```rust
/// # use cl_typeck::inference::*; /// # use cl_typeck::stage::infer::*;
/// let t_bool = Type::new_op("bool".into(), &[]); /// let t_bool = Type::new_op("bool".into(), &[]);
/// let t_nest = Type::new_inst(&Type::new_inst(&Type::new_inst(&t_bool))); /// let t_nest = Type::new_inst(&Type::new_inst(&Type::new_inst(&t_bool)));
/// let pruned = t_nest.prune(); /// let pruned = t_nest.prune();