diff options
author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-05 00:02:13 +0300 |
---|---|---|
committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-05 00:02:13 +0300 |
commit | 0d9c5b7fd7dec374ec357581f721f5cdc828b7ae (patch) | |
tree | 132905830677e7170c03210f8b849dd43040aee6 /src/type | |
parent | fdae943090463526423f5e43e72cd2f0e8147a1b (diff) | |
download | myslip-0d9c5b7fd7dec374ec357581f721f5cdc828b7ae.tar.gz myslip-0d9c5b7fd7dec374ec357581f721f5cdc828b7ae.zip |
Changed project name
Diffstat (limited to 'src/type')
-rw-r--r-- | src/type/check.rs | 12 | ||||
-rw-r--r-- | src/type/display.rs | 6 | ||||
-rw-r--r-- | src/type/mod.rs | 2 | ||||
-rw-r--r-- | src/type/subst.rs | 2 |
4 files changed, 11 insertions, 11 deletions
diff --git a/src/type/check.rs b/src/type/check.rs index 80cc974..9369d97 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -10,7 +10,7 @@ impl SExp { /// /// Examples of simple expressions and their simple types: /// ```rust - /// use melisp::{ + /// use myslip::{ /// r#type::{*, Type::*, TypeError::*}, /// sexp::{SExp::*, SLeaf::*, util::*}, /// }; @@ -20,7 +20,7 @@ impl SExp { /// /// Quotes are given list types: /// ```rust - /// use melisp::{ + /// use myslip::{ /// r#type::{*, Type::*, TypeError::*, util::*}, /// sexp::{SExp::*, SLeaf::*, util::*}, /// }; @@ -32,7 +32,7 @@ impl SExp { /// ``` /// Though so is Nil given too: /// ```rust - /// use melisp::{ + /// use myslip::{ /// r#type::{*, Type::*, TypeError::*, util::*}, /// sexp::{SExp::*, SLeaf::*, util::*}, /// }; @@ -45,7 +45,7 @@ impl SExp { /// /// Some common operators get arrow types: /// ```rust - /// use melisp::{ + /// use myslip::{ /// r#type::{*, Type::*, TypeError::*, util::*}, /// sexp::{SExp::*, SLeaf::*, util::*}, /// }; @@ -60,7 +60,7 @@ impl SExp { /// is to increase safety by being able to warn about errors /// before evaluation. Here are some failing examples: /// ```rust - /// use melisp::{ + /// use myslip::{ /// r#type::{*, Type::*, TypeError::*, util::*}, /// sexp::{SExp::*, SLeaf::*, util::*}, /// }; @@ -99,7 +99,7 @@ impl SExp { /// Also, free variables should result in an error /// as their type can't be known by the type checker. /// ```rust - /// use melisp::{ + /// use myslip::{ /// r#type::{*, Type::*, TypeError::*, util::*}, /// sexp::{SExp::*, SLeaf::*, util::*}, /// }; diff --git a/src/type/display.rs b/src/type/display.rs index 68d7fec..2fca5f9 100644 --- a/src/type/display.rs +++ b/src/type/display.rs @@ -9,7 +9,7 @@ impl fmt::Display for Type { /// /// Examples: /// ```rust - /// use melisp::r#type::{Type::*, util::*}; + /// use myslip::r#type::{Type::*, util::*}; /// assert_eq!(Integer.to_string(), "Int".to_string()); /// assert_eq!(arr(Integer, Integer).to_string(), "(Int -> Int)".to_string()); /// assert_eq!(List(vec![Integer, Integer, Integer]).to_string(), "(Int Int Int)".to_string()); @@ -37,8 +37,8 @@ impl fmt::Display for TypeError { /// /// Examples: /// ```rust - /// use melisp::r#type::{TypeError::*, Type::*, util::*}; - /// use melisp::sexp::{SExp, SExp::*, SLeaf::*, util::*}; + /// use myslip::r#type::{TypeError::*, Type::*, util::*}; + /// use myslip::sexp::{SExp, SExp::*, SLeaf::*, util::*}; /// /// assert_eq!( /// UndefinedVariable(String::from("x")).to_string(), diff --git a/src/type/mod.rs b/src/type/mod.rs index 2454f31..8761cee 100644 --- a/src/type/mod.rs +++ b/src/type/mod.rs @@ -60,7 +60,7 @@ impl Type { /// /// **Examples** /// ```rust - /// use melisp::r#type::{*, Type::*, TypeError::*, util::*}; + /// use myslip::r#type::{*, Type::*, TypeError::*, util::*}; /// /// assert_eq!(Integer.is_concrete(), Ok(())); /// assert_eq!( diff --git a/src/type/subst.rs b/src/type/subst.rs index 6e92584..1774770 100644 --- a/src/type/subst.rs +++ b/src/type/subst.rs @@ -8,7 +8,7 @@ impl Type { /// named `name` with the given type `value` /// in the type. /// ```rust - /// use melisp::r#type::{Type::*, util::*}; + /// use myslip::r#type::{Type::*, util::*}; /// /// assert_eq!( /// List(vec![Integer, arr(Integer, VarType("A".to_string())), VarType("B".to_string())]) |