greg/schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add spaceship operator for getting an ord

Browse Source
This commit is contained in:
greg 2018-08-24 16:29:28 -07:00
parent 8565c7dfb3
commit e125e8b440
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
schala-lang/src/builtin.rs
View File

@ -133,5 +133,6 @@ lazy_static! {
"<=" => (Func(bx!(Const(Nat)), bx!(Func(bx!(Const(Nat)), bx!(Const(Nat))))), (), 20), "<=" => (Func(bx!(Const(Nat)), bx!(Func(bx!(Const(Nat)), bx!(Const(Nat))))), (), 20),
"==" => (Func(bx!(Const(Nat)), bx!(Func(bx!(Const(Nat)), bx!(Const(Nat))))), (), 20), "==" => (Func(bx!(Const(Nat)), bx!(Func(bx!(Const(Nat)), bx!(Const(Nat))))), (), 20),
"=" => (Func(bx!(Const(Nat)), bx!(Func(bx!(Const(Nat)), bx!(Const(Nat))))), (), 20), "=" => (Func(bx!(Const(Nat)), bx!(Func(bx!(Const(Nat)), bx!(Const(Nat))))), (), 20),
"<=>" => (Func(bx!(Const(Nat)), bx!(Func(bx!(Const(Nat)), bx!(Const(Nat))))), (), 20),
}; };
} }

1
schala-lang/src/lib.rs
View File

@ -57,6 +57,7 @@ impl Schala {
let prelude = r#" let prelude = r#"
type Option<T> = Some(T) | None type Option<T> = Some(T) | None
type Color = Red | Green | Blue type Color = Red | Green | Blue
type Ord = LT | EQ | GT
"#; "#;
let mut s = Schala::new_blank_env(); let mut s = Schala::new_blank_env();
s.execute_pipeline(prelude, &EvalOptions::default()); s.execute_pipeline(prelude, &EvalOptions::default());