From 47f7eb1ef690e9aea5fdb1ae80cbcd53e4473303 Mon Sep 17 00:00:00 2001 From: greg Date: Mon, 5 Nov 2018 20:55:03 -0800 Subject: [PATCH] Make prelude be separate file --- schala-lang/language/src/lib.rs | 6 +----- schala-lang/language/src/prelude.schala | 4 ++++ 2 files changed, 5 insertions(+), 5 deletions(-) create mode 100644 schala-lang/language/src/prelude.schala diff --git a/schala-lang/language/src/lib.rs b/schala-lang/language/src/lib.rs index ae71054..9161924 100644 --- a/schala-lang/language/src/lib.rs +++ b/schala-lang/language/src/lib.rs @@ -67,11 +67,7 @@ impl Schala { } pub fn new() -> Schala { - let prelude = r#" -type Option = Some(T) | None -type Color = Red | Green | Blue -type Ord = LT | EQ | GT - "#; + let prelude = include_str!("prelude.schala"); let mut s = Schala::new_blank_env(); s.execute_pipeline(prelude, &EvalOptions::default()); s diff --git a/schala-lang/language/src/prelude.schala b/schala-lang/language/src/prelude.schala new file mode 100644 index 0000000..11188da --- /dev/null +++ b/schala-lang/language/src/prelude.schala @@ -0,0 +1,4 @@ + +type Option = Some(T) | None +type Color = Red | Green | Blue +type Ord = LT | EQ | GT