Skip to content

Add typechecking with rbs-inline and Steep#25

Merged
pixelate merged 1 commit into
mainfrom
claude/add-typechecking-wavesync-obrLz
Mar 20, 2026
Merged

Add typechecking with rbs-inline and Steep#25
pixelate merged 1 commit into
mainfrom
claude/add-typechecking-wavesync-obrLz

Conversation

@pixelate
Copy link
Copy Markdown
Owner

  • Add steep and rbs-inline to Gemfile
  • Add # rbs_inline: enabled and #: inline type annotations to all lib files
  • Generate RBS signatures to sig/generated/ via rbs-inline --output lib/
  • Add manual RBS stubs in sig/ for AudioFormat (Data.define), Command
    (class << self attr_accessor), and third-party gems (FFMPEG, TagLib, TTY,
    Rainbow, Psych)
  • Add Steepfile configured with stdlib libraries and audio_format.rb ignored
    (body not checkable due to Data.define DSL)
  • Add .github/workflows/typecheck.yml CI step that generates RBS then runs
    steep check

@pixelate pixelate force-pushed the claude/add-typechecking-wavesync-obrLz branch 3 times, most recently from f6ec9b9 to c97d449 Compare March 17, 2026 08:18
- Add `steep` and `rbs-inline` to Gemfile
- Add `# rbs_inline: enabled` and `#:` inline type annotations to all lib files
- Generate RBS signatures to `sig/generated/` via `rbs-inline --output lib/`
- Add manual RBS stubs in `sig/` for AudioFormat (Data.define), Command
  (class << self attr_accessor), and third-party gems (FFMPEG, TagLib, TTY,
  Rainbow, Psych)
- Add `Steepfile` configured with stdlib libraries and audio_format.rb ignored
  (body not checkable due to Data.define DSL)
- Add `.github/workflows/typecheck.yml` CI step that generates RBS then runs
  `steep check`
@pixelate pixelate force-pushed the claude/add-typechecking-wavesync-obrLz branch from c97d449 to 86f9a2a Compare March 20, 2026 20:30
@pixelate pixelate merged commit 66132ee into main Mar 20, 2026
3 checks passed
@pixelate pixelate deleted the claude/add-typechecking-wavesync-obrLz branch March 20, 2026 20:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants