Commit 52d48ba
committed
fix: add Mutex_m RBS type stubs for validation
The rbs-inline tool generates 'include Mutex_m' in the type
signatures for Bayes and LSI classes, but RBS validation fails
because it cannot find the Mutex_m type definition.
Add vendor type stubs with the core mutex methods and their
standard aliases (synchronize, lock, unlock, etc.) to satisfy
both RBS validation and Steep type checking.1 parent f3f0207 commit 52d48ba
1 file changed
+16
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
0 commit comments