Try workflows again

felix-lang · Oct 27, 2022 · b4e9993 · b4e9993
1 parent c96adb2
commit b4e9993
Show file tree

Hide file tree

Showing 4 changed files with 493 additions and 102 deletions.
diff --git a/.github/workflows/felix.yml b/.github/workflows/felix.yml
@@ -0,0 +1,9 @@
+name: felix
+run-name: ${{ github.actor }} test
+on: [push]
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - echo "TEST RUN"
+
diff --git a/pdfs/technote-compact-linear-types.pdf b/pdfs/technote-compact-linear-types.pdf
diff --git a/src/packages/grammar.fdoc b/src/packages/grammar.fdoc
@@ -471,7 +471,7 @@ syntax expressions {
 
   // coarray injection
   // (ainj (r:>>4) of (4 *+ int)) 42
-  x[scase_literal_pri] := "ainj"  stypeexpr "of" t[ssum_pri] =># "`(ast_ainj ,_sr ,_2 ,_4)";
+  x[scase_literal_pri] := "ainj" sexpr "of" t[ssum_pri] =># "`(ast_ainj ,_sr ,_2 ,_4)";
 
   spv_name := "case" sname =># "_2";
   spv_name := "`" sname =># "_2";