Add CI

Signed-off-by: Filippo Costa <filippo@neysofu.me>
ousialang · Jun 21, 2024 · dcf7782 · dcf7782
1 parent 1dfbd7f
commit dcf7782
Show file tree

Hide file tree

Showing 50 changed files with 1,430 additions and 31 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -0,0 +1,26 @@
+name: CI
+
+on:
+  push:
+    branches: ["main"]
+  pull_request:
+    branches: ["main"]
+
+env:
+  CARGO_TERM_COLOR: always
+  RUSTFLAGS: -D warnings
+  # This is faster for CI: https://github.com/dtolnay/rust-toolchain/issues/26.
+  CARGO_INCREMENTAL: "0"
+
+jobs:
+  check:
+    name: check
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    steps:
+      - uses: actions/checkout@v3
+      - uses: rui314/setup-mold@v1
+      - name: Install Rust
+        run: rustup show && rustup install nightly && rustup component add rustfmt --toolchain nightly-x86_64-unknown-linux-gnu # Nightly is needed for our configuration of cargo fmt
+      - run: cargo check --all-targets --all-features
+      - run: cargo test --all-targets --all-features
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 target/
+a.out
 
 # Rust and Cargo
 **/*.rs.bk

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -0,0 +1,3 @@
+[workspace]
+resolver = "2"
+members = ["crates/*"]
diff --git a/README.md b/README.md
@@ -5,37 +5,6 @@
 		width="30%">
 	</img>
 </p>
-<p align="center">
-    <img
-        src="https://img.shields.io/travis/neysofu/ousia.svg"
-        alt="Travis CI status">
-    </img>
-    <a href="https://github.com/neysofu/ousia/blob/master/LICENSE.txt">
-        <img
-            src="https://img.shields.io/badge/license-BSD-blue.svg"
-            alt="BSD-3 Clause license">
-        </img>
-    </a>
-    <a href="https://github.com/neysofu/ousia/releases">
-        <img
-            src="https://img.shields.io/github/release/neysofu/ousia.svg"
-            alt="Last release">
-        </img>
-    </a>
-    <a href="https://gitter.im/ousialang/Lobby">
-        <img
-            src="https://badges.gitter.im/ousialang/ousia.svg"
-            alt="Gitter chat">
-        </img>
-    </a>
-	<a href="https://gitter.im/ousialang/Lobby">
-        <img
-            src="https://img.shields.io/badge/irc-%23ousia%20on%20Freenode-green.svg"
-            alt="IRC channel on Freenode">
-        </img>
-    </a>
-
-</p>
 
 # Ousia
 

diff --git a/oac/Cargo.lock → crates/oac/Cargo.lock b/oac/Cargo.lock → crates/oac/Cargo.lock
diff --git a/oac/Cargo.toml → crates/oac/Cargo.toml b/oac/Cargo.toml → crates/oac/Cargo.toml
diff --git a/oac/src/main.rs → crates/oac/src/main.rs b/oac/src/main.rs → crates/oac/src/main.rs
diff --git a/oac/src/parser.rs → crates/oac/src/parser.rs b/oac/src/parser.rs → crates/oac/src/parser.rs
diff --git a/oac/src/qbe_backend.rs → crates/oac/src/qbe_backend.rs b/oac/src/qbe_backend.rs → crates/oac/src/qbe_backend.rs
diff --git a/oac/src/resolver.rs → crates/oac/src/resolver.rs b/oac/src/resolver.rs → crates/oac/src/resolver.rs
diff --git a/oac/src/scanner.rs → crates/oac/src/scanner.rs b/oac/src/scanner.rs → crates/oac/src/scanner.rs
diff --git a/oac/src/test_files/hello.oa → crates/oac/src/test_files/hello.oa b/oac/src/test_files/hello.oa → crates/oac/src/test_files/hello.oa
@@ -5,3 +5,10 @@ fun foobar() {
 	bar = 3
 	return bar
 }
+
+type U32 = struct {
+	a: U8,
+	b: U8,
+	c: U8,
+	d: U8,
+}
diff --git a/examples/Color.oa b/examples/Color.oa
@@ -0,0 +1,22 @@
+trait Rgb: $Unit[$Color] = {
+	let r: $Ratio
+	let g: $Ratio
+	let b: $Ratio
+
+  	let as | $CMYK = (
+		$Cmyk ([R1,G1,B1] map (X -> (1-X-K)/(1-K)),K)
+	) where {
+		let (R1, G1, B1) = ($R, $G, $B) map (_/255)
+    	let K = 1 - (($R1, $G1, $B1) max) }
+
+  as $HSL = {
+    let R1,G1,B1 = [R,G,B] map (_/255)
+    set MAX = [R,G,B] max
+    set MIN = [R,G,B] min
+    set H,S,L = (MAX+MIN) / 2
+    if MAX == MIN then {
+      H,S = 0 }
+    else {
+      let DIFF = MAX-MIN }}
+
+	let gray = ($R*0.299 + $G*0.587 + $B*0.114) as $Ratio }
-Original file line number
+Diff line change
@@ Expand Up / @@ -5,3 +5,10 @@ fun foobar() { @@
     	bar = 3
     	return bar
     }
+    type U32 = struct {
+    	a: U8,
+    	b: U8,
+    	c: U8,
+    	d: U8,
+    }