Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
383 commits
Select commit Hold shift + click to select a range
4d85f37
Lower a non-byte list of flags
biuld Sep 26, 2026
c99c8c3
Note flags and string-field list elements in the ABI-08 records
biuld Sep 26, 2026
e928b4b
Lower a non-byte list of resource handles as a parameter
biuld Sep 26, 2026
dc8dc22
Note handle list parameters in the ABI-08 records
biuld Sep 26, 2026
12ec1c5
Map aggregate WIT forms to existing library types (DEC-13)
biuld Sep 26, 2026
853f7f3
Map WIT tuples to closed records (DEC-13)
biuld Sep 26, 2026
2e0bc63
Carry qualified type names through THIR and Core
biuld Sep 26, 2026
7dd0c4e
Classify WIT option, result, and variant aggregates (DEC-13)
biuld Sep 27, 2026
7473fda
Lower WIT result, option, and variant aggregates
biuld Sep 27, 2026
c8a19c9
Lower nested aggregate payloads recursively
biuld Sep 27, 2026
991af3f
Lower 64-bit and floating scalar aggregate payloads
biuld Sep 27, 2026
e1d0295
Lower flags and non-byte list aggregate payloads
biuld Sep 27, 2026
1f632b6
Carry mapped aggregates through indirect parameter records
biuld Sep 27, 2026
88e85c8
Recurse aggregate payloads through record fields and list elements
biuld Sep 27, 2026
e582764
Allocate a large aggregate return area through cabi_realloc
biuld Sep 27, 2026
4bf423d
Model resource ownership as explicit library drops (DEC-14)
biuld Sep 27, 2026
8f6c20e
Introduce a compositional canonical ABI type model
biuld Sep 27, 2026
b3af3af
Drive the WIT ABI from one canonical type
biuld Sep 27, 2026
2b9a0ea
Support the remaining aggregate and list WIT shapes
biuld Sep 27, 2026
6aa21e4
Enable the full WASI surface and wrap it in the standard library
biuld Sep 27, 2026
656554d
Wrap the WASI filesystem and sockets services
biuld Sep 27, 2026
30c9f47
Project the ABI guest half from the resolved type instance
biuld Sep 27, 2026
85a83c8
Map a unit-success result to Either instead of trapping
biuld Sep 27, 2026
53f3f5b
Map result errors to Left and consolidate the WASI library
biuld Sep 28, 2026
d329eea
Lower do notation to bind, discard, and let
biuld Sep 28, 2026
1b2c734
Represent function arrows as applications on the type spine
biuld Sep 29, 2026
c4a3f20
Represent primitives as constructors on the type spine
biuld Sep 29, 2026
9fd3891
Represent records and rows on the type spine
biuld Sep 29, 2026
46db5d0
Lower where clauses and order local binding groups
biuld Sep 29, 2026
19b079a
Adapt a locally generalized binding at its concrete use
biuld Sep 29, 2026
f4a259b
Derive erased function adaptation from types, not a value-id table
biuld Sep 29, 2026
8a9a8c1
Elaborate single-parameter classes and direct instances
biuld Sep 29, 2026
0d0ee0b
Extend class elaboration to multi-parameter classes, contexts, and su…
biuld Sep 30, 2026
e3e471b
Implement functional dependencies
biuld Sep 30, 2026
22163d8
Select instances declared in imported modules
biuld Sep 30, 2026
0d3ff3a
fix(backend): preserve template shapes across polymorphic boundaries
biuld Sep 30, 2026
88361c1
feat(frontend): implement ordered instance chains
biuld Sep 30, 2026
cf3c34a
feat(frontend): implement roles and checked coercions
biuld Sep 30, 2026
08c0f92
docs: fix backend design and checklist links
biuld Sep 30, 2026
4844a48
feat(frontend): add deriving and advanced coercion rules
biuld Sep 30, 2026
5c7890e
feat(frontend): check nested rank-N quantifiers through erasure
biuld Oct 1, 2026
d926701
feat(backend): lower Effect to a one-parameter closure
biuld Oct 1, 2026
369f8b9
feat(backend): reject a malformed effect closure before encoding
biuld Oct 1, 2026
ef4b39d
Merge pull request #72 from biuld/issue/wit-abi-resolved-type-lowering
biuld Oct 1, 2026
f05c0ae
docs: record measured suite progress and the phased delivery plan
biuld Oct 1, 2026
3429248
Merge pull request #102 from biuld/docs/roadmap-phases
biuld Oct 1, 2026
1b9d501
docs: record how the delivery phases are tracked on GitHub
biuld Oct 1, 2026
9833ddc
Merge pull request #103 from biuld/docs/tracking-conventions
biuld Oct 1, 2026
7433e2a
docs: record the roadmap project board
biuld Oct 1, 2026
d8b7d3f
Merge pull request #104 from biuld/docs/roadmap-project
biuld Oct 1, 2026
b3cdced
docs: refresh README status and AGENTS.md project iteration
biuld Oct 1, 2026
8e20955
Merge pull request #105 from biuld/docs/readme-agents-refresh
biuld Oct 1, 2026
fb65774
Match official parse behavior and store strings as canonical UTF-8 (#…
biuld Oct 1, 2026
bd15b1c
feat(harness): add the L6/M7 compile-and-run scoreboard (#107)
biuld Oct 1, 2026
8bcfc65
feat(harness): resolve each corpus case the way the compiler loads a …
biuld Oct 1, 2026
8b01ae7
docs: split the authoring guide out of AGENTS.md and replan the README
biuld Oct 1, 2026
fc1d8a7
Merge pull request #108 from biuld/harness/scoreboard-module-path
biuld Oct 1, 2026
ad694a8
Merge pull request #109 from biuld/docs/authoring-guide
biuld Oct 1, 2026
d0350a5
feat(typecheck): map the official errorCodes and add a lenient type c…
biuld Oct 2, 2026
184fa64
Merge pull request #110 from biuld/issue/typecheck-error-codes
biuld Oct 2, 2026
29720d2
feat(frontend): check the expression ascription against its written type
biuld Oct 2, 2026
ff9d953
Merge pull request #111 from biuld/issue/ascription
biuld Oct 2, 2026
4557e9d
Implement virtual Prim interfaces and unary minus
biuld Oct 2, 2026
4265bda
Implement guarded equations and multi-scrutinee cases (#88)
biuld Oct 2, 2026
35c055e
Record guarded coverage evidence revision
biuld Oct 2, 2026
a90c095
Implement fixity-aware operator lowering
biuld Oct 2, 2026
b1391e9
Merge pull request #114 from biuld/issue/86-operator-aliases
biuld Oct 2, 2026
46349a7
fix(frontend): preserve guard and case semantics
biuld Oct 2, 2026
bc1a82f
Merge branch 'master' of https://github.com/biuld/purescript-rs into …
biuld Oct 2, 2026
3fb22f2
Fix primitive identities and inferred exports
biuld Oct 2, 2026
dec8adf
fix(frontend): preserve guard fallthrough invariants
biuld Oct 2, 2026
7df3073
Merge master into issue-89-prim-hierarchy-unary-minus
biuld Oct 2, 2026
4d7af6e
Preserve opaque heads in type operators
biuld Oct 2, 2026
8e875f7
Merge pull request #112 from biuld/issue-89-prim-hierarchy-unary-minus
biuld Oct 2, 2026
ec209c8
Merge master into issue-88-guards
biuld Oct 2, 2026
bc2482f
Merge pull request #113 from biuld/issue-88-guards
biuld Oct 2, 2026
ec67dc8
Implement source pattern lowering and matrix support
biuld Oct 2, 2026
3e8f5e5
Merge pull request #115 from biuld/feat/phase2-patterns-85
biuld Oct 2, 2026
8e701d7
Verify guarded Boolean case coverage diagnostics
biuld Oct 2, 2026
f862857
Merge pull request #116 from biuld/fix/phase2-guard-coverage-88
biuld Oct 2, 2026
6623f75
Attribute every program diagnostic to a named origin
biuld Oct 2, 2026
a764ed2
Resolve instance declarations and instance signatures
biuld Oct 2, 2026
882d786
Merge pull request #117 from biuld/feat/phase2-instance-resolution-90
biuld Oct 2, 2026
bc7938b
Check instance heads against their class kind scheme
biuld Oct 2, 2026
fa024ce
Reject a type wildcard in an instance head
biuld Oct 2, 2026
403bb7d
Record the Prim.Row owner and what the kind work still needs
biuld Oct 2, 2026
7b63741
Merge pull request #119 from biuld/feat/phase2-wildcards-rows-polykin…
biuld Oct 2, 2026
35e2fce
Give Prim a type-system owner and fix the seams it exposed
biuld Oct 2, 2026
3e41d43
Replace one Code bullet with a set of iteration principles
biuld Oct 2, 2026
415516f
Declare Prim.Boolean.True and .False at the Boolean kind
biuld Oct 2, 2026
5d829c8
Give Prim.RowList.Nil the official forall k. RowList k kind
biuld Oct 2, 2026
2ebd53e
Declare the official phantom roles on the Prim registry
biuld Oct 2, 2026
ddb47a0
Put type-level literals on the shared type spine
biuld Oct 2, 2026
b1ed61e
Give record and general rows one construction and one normalizer
biuld Oct 2, 2026
de1109d
Record what the shared spine now reaches
biuld Oct 2, 2026
7275170
Pin one Prim identity across qualification and re-export
biuld Oct 2, 2026
e44ecba
Give Prim.undefined an identity, a type, and an honest boundary
biuld Oct 2, 2026
c38a022
State the invalid row shape's range in the normalizer's contract
biuld Oct 2, 2026
770fc42
Give kinds one primitive table and one program-level environment
biuld Oct 2, 2026
8823b7d
Merge p5/registry: give the Prim registry its official declarations
biuld Oct 2, 2026
4cc8623
Merge p5/spine: put type-level literals and rows on the shared spine
biuld Oct 2, 2026
4218282
Split inference state into three owners with one snapshot
Oct 3, 2026
0b364a0
Store superclass edges as type templates
biuld Oct 3, 2026
30a2819
Check the kind of a binding through the one kind solver
Oct 3, 2026
c58d17e
Enter the nested level for a class method's dictionary field too
Oct 3, 2026
1e89d70
Name the binding rule after the algorithm the design states
Oct 3, 2026
6934c08
Name the renamed binding rule in the design's implementation notes
Oct 3, 2026
bca9345
Accept the kind heads in a type position
biuld Oct 3, 2026
e991e12
Merge p5/w2state: one kind state, three state owners, one snapshot
biuld Oct 3, 2026
92d531a
Merge p5/w2decl: superclass edges as templates, and the kind heads
biuld Oct 3, 2026
2eadd99
Quantify a declaration's own signature binders in its scheme
Oct 3, 2026
9296976
One dispatch site: the Prim rule table, and Coercible through it
Oct 3, 2026
5c181b7
Generalize a signatureless declaration over its residual constraints
Oct 3, 2026
7032517
Merge p5/w3frame: one dispatch site and the four-outcome rule table
biuld Oct 3, 2026
a75d8c7
Pin the residual-constraint cases against purs and record what landed
Oct 3, 2026
cb4b088
Merge p5/w3gen: generalize a declaration's residual constraints
biuld Oct 3, 2026
f57c763
Decide Prim.Int.Add, Mul, and ToString through the shared substitution
biuld Oct 3, 2026
7942a2a
Merge p5/w4int2: the type-level integer relations
biuld Oct 3, 2026
742729b
Decide Prim.Symbol.Append and Prim.Symbol.Cons in the rule table
Oct 3, 2026
4a6634f
Merge p5/w4sym2: the type-level symbol relations
biuld Oct 3, 2026
1f81b43
Decide Prim.Symbol.Compare and Prim.Int.Compare in the rule table
biuld Oct 3, 2026
8ff72ad
Merge p5/w5cmp: the two ordering relations
biuld Oct 3, 2026
803c95d
Record that L4 agreement is by code, and correct the CompareInt list
biuld Oct 3, 2026
85703c2
Decide Prim.Row.Cons, Prim.Row.Nub, and Prim.RowList.RowToList
biuld Oct 3, 2026
22003d7
Merge p5/w5row3: the three easy row relations, and unify bare rows
biuld Oct 3, 2026
477ac89
Unify a rule's decided arguments in the framework, not in the rule
Oct 3, 2026
14fe12a
Merge p5/w5row3: the three easy row relations, and unify bare rows
biuld Oct 3, 2026
9b1bc95
Merge p5/gate: the framework checks a rule's decision, not the rule
biuld Oct 3, 2026
84ca77f
Correct three stale statements of which relations have rules
biuld Oct 3, 2026
8773830
Complete primitive row deferral and report interfaces
biuld Oct 3, 2026
4fb6f65
Align the design documents with the implemented type-system state
biuld Oct 3, 2026
4ad14fb
Merge pull request #121 from biuld/design/type-system-prim-and-shared…
biuld Oct 3, 2026
e9b0780
Correct the kind-application claim to the node, not the language
biuld Oct 3, 2026
44ad313
Lower visible type application and negative type-level integers
biuld Oct 3, 2026
4fc3e94
Merge pull request #122 from biuld/feat/p2-visible-type-application-a…
biuld Oct 3, 2026
5106925
Correct the first-stage blocker decomposition and close out Phase 2
biuld Oct 3, 2026
c687f72
Merge pull request #125 from biuld/fix/phase2-closeout-measurement
biuld Oct 3, 2026
851f50c
Land Effect and Effect.Console, dropping 259 blocked files
biuld Oct 3, 2026
0aacd23
Merge pull request #126 from biuld/feat/stdlib-effect-console
biuld Oct 3, 2026
b8a7f81
Land the unit value and Test.Assert's assertion surface
biuld Oct 3, 2026
31dd648
Correct three statements the unit/Test.Assert measurement left stale
biuld Oct 3, 2026
ffd0e82
Merge pull request #127 from biuld/feat/ph3-unit-and-test-assert
biuld Oct 3, 2026
21bf564
Convert a partial application's remaining parameters to the declarati…
biuld Oct 3, 2026
94a3426
Require an exported operator alias's target only when it is declared …
biuld Oct 3, 2026
fe41b3c
Land Data.Function and the $/# application operators
biuld Oct 3, 2026
e43b9cc
Merge pull request #128 from biuld/feat/ph3-data-function-dollar
biuld Oct 3, 2026
69dbe3f
Record #94's measured corpus count in the Phase 3 row
biuld Oct 3, 2026
fc9e6e6
Merge pull request #129 from biuld/docs/phase3-corpus-cases
biuld Oct 3, 2026
8620334
Land Data.Semigroup and the <> operator
biuld Oct 3, 2026
7e0d8d6
Merge pull request #130 from biuld/feat/ph3-data-semigroup
biuld Oct 3, 2026
9c3d222
Add D-15: compiler built-ins and the intrinsic registry
biuld Oct 3, 2026
dbf420a
Merge pull request #132 from biuld/docs/d15-intrinsic-registry
biuld Oct 3, 2026
8b00b4c
Land the D-15 intrinsic registry and its consumers
biuld Oct 3, 2026
2f3c583
Route every intrinsic through one Core IntrinsicCall
biuld Oct 3, 2026
e1f0783
Remove the old intrinsic nodes and the Core scalar enums
biuld Oct 3, 2026
b324b97
Record that the D-15 registry and IntrinsicCall have landed
biuld Oct 3, 2026
e3d06d9
Move the comparison and semiring operators into library classes
biuld Oct 3, 2026
d4bff9e
Merge pull request #133 from biuld/feat/d15-intrinsic-layer
biuld Oct 3, 2026
b8a105e
Land Data.Tuple as the closed record { _1, _2 }
biuld Oct 3, 2026
c315fa5
Land Data.Show and the show method
biuld Oct 3, 2026
dc6905e
Land Data.Monoid and Data.Foldable
biuld Oct 3, 2026
b41e9d8
Put `mod foldable` where rustfmt wants it
biuld Oct 4, 2026
0f8212c
Merge branch 'feat/ph3-data-show' into feat/ph3-data-foldable
biuld Oct 4, 2026
5aead70
List Data.Show in the trusted-order loader test
biuld Oct 4, 2026
5149bd1
Merge branch 'feat/ph3-data-foldable' into stdlib/data-tuple
biuld Oct 4, 2026
2cd0b74
Merge branch 'feat/ph3-data-show' into feat/ph3-data-foldable
biuld Oct 4, 2026
9682949
Merge branch 'feat/ph3-data-foldable' into stdlib/data-tuple
biuld Oct 4, 2026
bd47a2a
Merge pull request #134 from biuld/feat/ph3-data-show
biuld Oct 4, 2026
dd61be0
Merge pull request #135 from biuld/feat/ph3-data-foldable
biuld Oct 4, 2026
64c0df9
Merge pull request #136 from biuld/stdlib/data-tuple
biuld Oct 4, 2026
c5e37fe
Add Effect.Console.logShow over the library Show
biuld Oct 4, 2026
acc8060
Merge pull request #138 from biuld/stdlib/effect-console-log-show
biuld Oct 4, 2026
8c4952a
Lower Effect Unit command entries through the existing closure
biuld Oct 4, 2026
357b339
Keep quantified effect wrappers and import diagnostics on their source
biuld Oct 4, 2026
179823e
Merge pull request #140 from biuld/fix/effect-command-entry
biuld Oct 4, 2026
7d8bb1e
State the effect wrapper declaration without a rank-1 special case
biuld Oct 4, 2026
1e284f5
Merge pull request #141 from biuld/docs/effect-entry-evidence
biuld Oct 4, 2026
2d1b440
Add Data.Functor and re-export map from Prelude
biuld Oct 4, 2026
24610fb
Merge pull request #142 from biuld/stdlib/data-functor
biuld Oct 4, 2026
f20443c
Vendor the v0.15.16 core libraries into the standard library
biuld Oct 4, 2026
a027576
Integrate trusted PureScript core libraries
biuld Oct 4, 2026
51916fd
Add compile diagnosis tooling and iteration workflow
biuld Oct 4, 2026
8d8eb09
Add backend compile pass trace model
biuld Oct 4, 2026
ea3ec9d
Add diagnose trace manifest and replay support
biuld Oct 4, 2026
285d421
Ignore bound quantifiers when testing record layout dependence
biuld Oct 4, 2026
23ea09f
Add optional CC and WAT dumps to the Wasmtime test helper
biuld Oct 4, 2026
8a804f1
Skip compiler-provided modules when loading the vendored library
biuld Oct 5, 2026
d141454
Restore the workspace test suite after vendored-library slicing
biuld Oct 5, 2026
8d1f863
Transport abstract constructor protocols through checked instantiation
biuld Oct 5, 2026
dc1e3d9
Record the L6/M7 move from abstract constructor transport
biuld Oct 5, 2026
e1b4865
Support under-application of indirect callees
biuld Oct 5, 2026
431e328
Establish the unified RuntimeRep and layout model (DEC-17)
biuld Oct 5, 2026
a2d07da
Carry checked evidence and policies through a Core-to-CC side table
biuld Oct 5, 2026
8829461
Provide Unsafe.Coerce.unsafeCoerce as a compiler primitive
biuld Oct 5, 2026
152c40d
Make the effect token an opaque state token
biuld Oct 5, 2026
9d65052
Present the checked type relation as one entry with a variance
biuld Oct 5, 2026
02f2d13
Apply the official applied-variable rule to structural Eq and Ord
biuld Oct 5, 2026
90c3c8f
Instantiate a bare class method's local constraints at its use
biuld Oct 5, 2026
8d7f2f9
Implement deriving with one identity registry, usage analysis, and al…
biuld Oct 5, 2026
3d66c0f
Complete deriving usage mapping and runtime acceptance
biuld Oct 5, 2026
e1a52e9
Reuse the wrapped dictionary for derive newtype
biuld Oct 5, 2026
69df6a1
Lower record wildcards and backticked sections in source order
biuld Oct 5, 2026
c2ebbe2
Represent an applied foreign type as an erased reference.
biuld Oct 6, 2026
b96eaab
Lower an immediate underscore in if to a lambda parameter.
biuld Oct 6, 2026
a4e51e3
Expand local synonyms before checking an exported value.
biuld Oct 6, 2026
40b821e
Parse a qualified name in backticks as one operator.
biuld Oct 6, 2026
0b3f39f
Apply extra arguments to an expanded type synonym.
biuld Oct 6, 2026
de86bed
Parse hexadecimal integer literals as signed 32-bit Int.
biuld Oct 6, 2026
6cedfbd
Generalize local let constraints that one binding determines.
biuld Oct 6, 2026
9a8c0b0
Keep outer locals polymorphic in guarded fallthrough.
biuld Oct 6, 2026
0c95c61
Lock an integer seed for a where-bound unfold stepper.
biuld Oct 6, 2026
07e73fc
Match lexical dictionaries without choosing wanted types
biuld Oct 6, 2026
f6a022b
Provide equality ordering and display for library tuples
biuld Oct 6, 2026
8e5de56
Preserve quantified source types at coercion boundaries
biuld Oct 6, 2026
8406ab6
Scope quantified variables throughout checked binding implementations
biuld Oct 6, 2026
930d970
Preserve rank-N scrutinees across equation matching and guard fallthr…
biuld Oct 6, 2026
8c1b94c
Register compiler interfaces and synthesize checked Symbol dictionaries
biuld Oct 6, 2026
fe79b2b
Clean up compiler and test lint across all targets
biuld Oct 6, 2026
705663a
Restore official stdlib sources and preserve library foreign contracts
biuld Oct 6, 2026
2b0fde8
Implement checked scalar stdlib bindings with official behavior evidence
biuld Oct 6, 2026
7d1a4bd
Consume independent psrs-stdlib package and separate conformance tooling
biuld Oct 6, 2026
3fab4f8
Implement polymorphic array application with checked callback invocation
biuld Oct 6, 2026
fd9fc6e
Consume library-owned Node conformance tools and remove compiler copies
biuld Oct 6, 2026
e982a46
Implement stdlib array algorithms over checked storage primitives
biuld Oct 6, 2026
f1aeac4
Consume library array extend and update the stdlib lock
biuld Oct 6, 2026
3951505
Consume library ST computations and update the stdlib lock
biuld Oct 6, 2026
c2738d5
Track the evidence-free stdlib revision and stop tracking diagnosis s…
biuld Oct 6, 2026
94142a8
Describe conformance evidence as local and untracked
biuld Oct 6, 2026
bb7368d
Consume library uncurried functions and update the stdlib lock
biuld Oct 6, 2026
80d151e
Consume library array operations and update the stdlib lock
biuld Oct 6, 2026
4d090d7
Land library reachability, local row instantiation and aggregate prot…
biuld Oct 6, 2026
3d2b0fb
Report ScopeConflict for a duplicated import qualifier
biuld Oct 6, 2026
c24741d
Move module roots into mod.rs for the source-layout rule
biuld Oct 6, 2026
11db175
Adjust tests to the migrated standard library
biuld Oct 6, 2026
e34d607
Preserve canonical aggregate protocols across WIT variant payloads
biuld Oct 6, 2026
b49877f
Keep local bindings monomorphic through declaration ambiguity checks
biuld Oct 6, 2026
358f031
Check bare row arguments through the shared instantiation relation
biuld Oct 6, 2026
f43fbcb
Land unified target linking for the formatter slice
biuld Oct 6, 2026
7d6a9d1
Enforce the target policy and model generated-helper roots
biuld Oct 6, 2026
7ac8423
Measure the runtime stack bound and check artifact reproducibility
biuld Oct 6, 2026
707225c
Broaden the compiler-side Show boundary evidence
biuld Oct 6, 2026
3ef2b15
Compose pinned guest interfaces through checked target plans
biuld Oct 6, 2026
7f93266
Verify target linking through source composition and locked Show
biuld Oct 7, 2026
138da4e
Resolve shared qualified imports by canonical declaration identity
biuld Oct 7, 2026
cdeefed
Avoid unused guard continuations and pin checked Bounded values
biuld Oct 7, 2026
4aa5b51
Terminate recursive product coverage and record stdlib acceptance
biuld Oct 7, 2026
502930d
Pin scalar String slicing with projected FFI and runtime evidence
biuld Oct 7, 2026
fafda68
Guard deep expression walks and consume intrinsic spines
biuld Oct 7, 2026
559695c
Pin scalar String character indexing and conversion
biuld Oct 7, 2026
dab23d7
Pin strict Int parsing and corrected quotient ownership
biuld Oct 7, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
24 changes: 24 additions & 0 deletions .github/workflows/required-wasmtime.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
name: Required Wasmtime execution

on:
push:
pull_request:

jobs:
execution:
runs-on: ubuntu-latest
env:
PSRS_REQUIRE_WASMTIME: "1"
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
- name: Install pinned Wasmtime
run: |
curl --fail --silent --show-error --location \
https://github.com/bytecodealliance/wasmtime/releases/download/v48.0.2/wasmtime-v48.0.2-x86_64-linux.tar.xz \
--output "$RUNNER_TEMP/wasmtime.tar.xz"
tar -xJf "$RUNNER_TEMP/wasmtime.tar.xz" -C "$RUNNER_TEMP"
echo "$RUNNER_TEMP/wasmtime-v48.0.2-x86_64-linux" >> "$GITHUB_PATH"
- run: wasmtime --version
- run: cargo fmt --all --check
- run: cargo test --workspace
9 changes: 9 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,2 +1,11 @@
/target
.psc-ide-port
.DS_Store
node_modules/
dist/

# Raw diagnosis snapshots are local, machine-specific and regenerable.
diagnose.json

__pycache__/
*.egg-info/
267 changes: 252 additions & 15 deletions AGENTS.md

Large diffs are not rendered by default.

Loading
Loading