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/check.rs | |
parent | fdae943090463526423f5e43e72cd2f0e8147a1b (diff) | |
download | myslip-0d9c5b7fd7dec374ec357581f721f5cdc828b7ae.tar.gz myslip-0d9c5b7fd7dec374ec357581f721f5cdc828b7ae.zip |
Changed project name
Diffstat (limited to 'src/type/check.rs')
-rw-r--r-- | src/type/check.rs | 12 |
1 files changed, 6 insertions, 6 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::*}, /// }; |