diff options
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::*}, /// }; |