Initial Fuel HLL

.gitignore

@@ -1,6 +1,7 @@
 # Generated by Cargo
 # will have compiled files and executables
-/target/
+**/*/target/
+target
 
 # Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
 # More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html

Cargo.toml

@@ -1,9 +1,3 @@
-[package]
-name = "hll"
-version = "0.1.0"
-authors = ["Alex <alex.hansen@fuel.sh>"]
-edition = "2018"
+[workspace]
 
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
-[dependencies]
+members = ["parser", "forc"]

example_project/fuel_project/Forc.toml

@@ -0,0 +1,8 @@
+[project]
+author  = "Alex Hansen"
+license = "MIT"
+name = "Fuel example project"
+
+
+[dependencies]
+std = { path = "../../stdlib" }

example_project/fuel_project/src/main.fm

@@ -0,0 +1,82 @@
+script{
+  // Count to 5 and return the number 5.
+  /*
+  fn foo() -> u32 {
+    let mut x = 0;
+    let mut y = 1;
+    while x < 5 {
+      x = x + 1;
+      y = y + 1;
+      x = x - 1;
+      x = x + 1;
+    }
+
+    5u32
+  }
+  */
+
+  enum MyEnum {
+    Variant1: u32,
+    Variant2: ()
+  }
+
+  fn test() {
+    let x: MyEnum = MyEnum::Variant1(6 + 2);
+    let y = MyEnum::Variant2;
+    return;
+  }
+
+
+  trait MyTrait {
+    fn to_implement(a: self) -> Self;
+  }
+
+  impl MyTrait for MyEnum {
+    fn to_implement(a: MyEnum) -> Self {
+      a 
+    }
+  }
+
+  struct MyStruct {
+    field_1: u32,
+    field_2: u32
+  }
+
+  pub fn main() -> bool {
+  let a = 5;
+  let z: byte = 0b01010101;
+  let x: byte32 = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;
+  let mut b = 5 + a;
+  while b < 100 {
+    b = b + 1;
+  }
+  let a = MyStruct {
+    field_1: 5u32,
+    field_2: 2u32,
+  };
+
+    //let a = a.field_1 + 2;
+    while false { let z = 0; }
+
+    /*
+    let z = MyEnum::Variant2;
+    let z = MyEnum::Variant1(10u32);
+    if true {
+      let z = z.to_implement();
+      return true;
+    } else {
+      let a = 5;
+    };
+    */
+
+    true
+  }
+
+/*
+  fn bar() {
+    let x = 5;
+    let y = x;
+    let z = y;
+  }
+*/
+}

example_project/fuel_project/src/old_main.fm

@@ -0,0 +1,61 @@
+script {
+  struct Fuel {
+    john: u64,
+    nick: u64,
+  }
+
+  impl Fuel {
+    fn fuel_add(self, other: Self) -> Self {
+      Fuel {
+        john: self.john + other.john,
+        nick: self.nick + other.nick,
+      }
+    }
+  }
+
+  fn foo(a: u64) -> u64 {
+    let st =  Fuel { john: a, nick: a, };
+    st.john
+  }
+
+  fn main() -> u64 {
+    let z = Fuel {
+      john: 10,
+      nick: 11u64,
+    };
+    let x = Fuel {
+      john: 10,
+      nick: 11u64,
+    };
+
+//    return if true { foo(5u64) };
+    return z.john;
+//    x.fuel_add(z); TODO fix this code block return type in control flow analysis
+// to recreate that scenario, remove the implicit return
+    5u64
+  }
+
+
+
+
+    /*
+
+    if x < 5 {
+      return true;
+    }
+    else {
+      return 5;
+    };
+    fn main() {
+      let a = 6 + 2;
+      a.a_function(10);
+
+    }
+    impl ExampleTrait for u64 {
+      fn a_function(a: u64) -> u64 {
+        a
+      }
+    }
+    */
+
+}

forc/Cargo.toml

@@ -0,0 +1,18 @@
+[package]
+name    = "forc"
+version = "0.1.0"
+authors = ["Alex Hansen <alex.hansen@fuel.sh>"]
+edition = "2018"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+parser      = { path = "../parser" }
+structopt   = "0.3"
+source-span = "2.2"
+termcolor   = "1.1"
+line-col    = "0.2"
+toml        = "0.5"
+serde       = { version = "1.0", features = ["derive"] }
+whoami      = "1.1"
+pest        = "2.1"