aboutsummaryrefslogtreecommitdiff
path: root/src/type/check.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/type/check.rs')
-rw-r--r--src/type/check.rs12
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::*},
/// };