type-expander

Type expanders for typed/racket, which work like match expanders for match

Build status: ok passing tests missing license metadata

Checksum error An error occurred while updating the package checksum.

git-checkout: error getting packfile list
  server respone: HTTP/1.1 301 Moved Permanently
  context...:
   /home/pkgserver/racket/collects/net/git-checkout.rkt:991:0: check-status
   /home/pkgserver/racket/collects/net/git-checkout.rkt:862:0: get-packfile-list
   /home/pkgserver/racket/collects/net/git-checkout.rkt:829:0: read-dumb-objects
   /home/pkgserver/racket/collects/net/git-checkout.rkt:167:11
   /home/pkgserver/racket/collects/net/git-checkout.rkt:55:2: retry-loop

Authors

racket.suzanne.soyλ2f1ee42

Documentation

Tags

typed-racket

License

Last updated

Monday, February 2nd, 2026 6:03:07am (UTC)

Ring

1

Conflicts

None

Dependencies

Most recent build results

Compiled successfully: transcript
Tests succeeded: transcript

Version Exceptions

Version	Source	Checksum
default	https://gitea.suzanne.soy/suzanne.soy/type-expander.git#main	9fbbe96f970562c613101e4c91c54873fed399bc

Last checked

Thursday, February 5th, 2026 12:02:57pm (UTC)

Last edited

Tuesday, March 25th, 2025 2:05:40am (UTC)

Date added

Tuesday, March 25th, 2025 2:05:40am (UTC)

Modules

type-expander/test/lang-test-1.rkt
type-expander/scribblings/deprecated-colon.scrbl
type-expander/dbg.rkt
type-expander/test/base-lang-test-3.rkt
type-expander/contracts-to-types.rkt
type-expander/scribblings/type-expander-implementation.scrbl
type-expander/identifiers.rkt
type-expander/type-expander.hl.rkt
type-expander/utils.rkt
type-expander/expander.rkt
type-expander/lang.rkt
type-expander/base.rkt
type-expander/lang/reader.rkt
type-expander/lang/lang/reader.rkt
type-expander/lang/main.rkt
type-expander/scribblings/contracts-to-types.scrbl
type-expander/test/base-lang-test-1.rkt
type-expander/test/lang-test-3.rkt
type-expander/parameterize-lexical-context.rkt
type-expander/test/lang-test-2.rkt
type-expander/test/type-expander-test.rkt
type-expander/test/test-contracts-to-types.rkt
type-expander/test/base-lang-test-2.rkt
type-expander/base/lang/reader.rkt
type-expander/scribblings/type-expander.scrbl
type-expander/main.rkt
type-expander/test/readme.rkt
type-expander/more-expanders.hl.rkt