GitHub / racket/typed-racket issues and pull requests
#1437 - [for] Support `#:do` and `#:splice`
Pull Request -
State: closed - Opened by NoahStoryM 5 months ago
- 1 comment
#1436 - Bump actions/upload-artifact from 4.4.3 to 4.6.1
Pull Request -
State: open - Opened by dependabot[bot] 5 months ago
Labels: dependencies
#1435 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 5 months ago
#1434 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 6 months ago
#1433 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 6 months ago
#1432 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 6 months ago
#1431 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 6 months ago
#1430 - Typed Racket cannot handle compose that use multiple values
Issue -
State: open - Opened by OnorioCatenacci 6 months ago
- 3 comments
#1429 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 6 months ago
#1428 - Fix types of `asin` and `acos`.
Pull Request -
State: open - Opened by samth 6 months ago
- 1 comment
#1427 - Bump actions/upload-artifact from 4.4.3 to 4.6.0
Pull Request -
State: closed - Opened by dependabot[bot] 7 months ago
- 1 comment
Labels: dependencies
#1426 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 7 months ago
#1425 - Provide typed version fxpopcount functions
Pull Request -
State: open - Opened by cocodery 7 months ago
#1424 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 7 months ago
#1423 - acos unsound in TR
Issue -
State: open - Opened by jbclements 7 months ago
- 2 comments
#1422 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 7 months ago
#1421 - Bump actions/upload-artifact from 4.4.3 to 4.5.0
Pull Request -
State: closed - Opened by dependabot[bot] 7 months ago
- 1 comment
Labels: dependencies
#1420 - `identifier-binding-symbol: contract violation` after `raco demod`
Issue -
State: open - Opened by benknoble 7 months ago
- 2 comments
#1419 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 7 months ago
#1418 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 8 months ago
- 1 comment
#1417 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 8 months ago
- 1 comment
#1416 - Automated Resyntax fixes
Pull Request -
State: open - Opened by resyntax-ci[bot] 8 months ago
#1415 - Correspondence between location/c and Location in typed/racket
Issue -
State: closed - Opened by joergen7 8 months ago
- 1 comment
#1414 - Fix correspondence between location/c and Location in typed/racket
Pull Request -
State: closed - Opened by joergen7 8 months ago
- 1 comment
#1413 - Rackunit reports success even when all tests fail
Issue -
State: open - Opened by stevecheckoway 8 months ago
#1412 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 8 months ago
- 1 comment
#1411 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 9 months ago
- 1 comment
#1410 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 9 months ago
- 1 comment
#1409 - `Values` handling in non-function contexts causes errors
Issue -
State: open - Opened by NoahStoryM 9 months ago
#1408 - `Procedure` not always recognized as supertype of all function types
Issue -
State: closed - Opened by NoahStoryM 9 months ago
- 1 comment
#1407 - doc: clarify that `(Sequenceof)` is valid
Pull Request -
State: closed - Opened by NoahStoryM 9 months ago
#1406 - Bump actions/checkout from 4.2.1 to 4.2.2
Pull Request -
State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies
#1405 - Bump jackfirth/create-resyntax-pull-request from 0.4.1 to 0.4.2
Pull Request -
State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies
#1404 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 9 months ago
- 1 comment
#1403 - Bump actions/upload-artifact from 4.4.0 to 4.4.3
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies
#1402 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 10 months ago
- 3 comments
#1401 - Bump actions/checkout from 3.0.2 to 4.2.1
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies
#1400 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 10 months ago
#1399 - Use custom action for Resyntax Autofixer and bump up the limits
Pull Request -
State: closed - Opened by jackfirth 10 months ago
#1398 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 10 months ago
- 2 comments
#1397 - Bump actions/checkout from 3.0.2 to 4.2.0
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#1396 - Incorrect expansion of `pair?` assertion in polymorphic function operating on a `List A ...`
Issue -
State: open - Opened by EricKalkman 10 months ago
- 1 comment
#1395 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 10 months ago
- 1 comment
#1394 - Bump actions/github-script from 6.4.1 to 7.0.1
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#1393 - Bump actions/checkout from 3.0.2 to 4.1.7
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#1392 - Bump Bogdanp/setup-racket from 1.9.1 to 1.11
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies
#1391 - Automated Resyntax fixes
Pull Request -
State: closed - Opened by resyntax-ci[bot] 10 months ago
- 1 comment
#1390 - Add Resyntax Autofixer workflow
Pull Request -
State: closed - Opened by jackfirth 10 months ago
#1389 - Bump actions/upload-artifact from 4.3.3 to 4.4.0
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies
#1388 - Cast `Procedure` to specific arrow type can't remember the arity
Issue -
State: closed - Opened by dannypsnl 11 months ago
- 1 comment
#1387 - `abort/cc` under a `call/prompt` cannot be invoked normally
Issue -
State: open - Opened by dannypsnl 11 months ago
- 2 comments
#1386 - Bump actions/upload-artifact from 4.3.3 to 4.3.6
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies
#1385 - Bump actions/upload-artifact from 4.3.3 to 4.3.5
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies
#1384 - “Detached” type declarations with `->*` not equivalent to “inline” in `lambda`
Issue -
State: open - Opened by LiberalArtist 12 months ago
#1383 - Bump actions/upload-artifact from 4.3.3 to 4.3.4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#1382 - Fix type-checking list elements
Pull Request -
State: closed - Opened by cloudrac3r about 1 year ago
- 2 comments
#1381 - Fix bugs in floating point optimizations.
Pull Request -
State: open - Opened by samth about 1 year ago
#1380 - Handle keyword variants of file operations.
Pull Request -
State: closed - Opened by samth about 1 year ago
#1379 - Since Racket 8.1, some nested lists pass type-checking even when they are invalid
Issue -
State: closed - Opened by cloudrac3r about 1 year ago
- 1 comment
#1378 - `require/typed` duplicates effects from expanding `m`; docs unclear
Issue -
State: open - Opened by LiberalArtist about 1 year ago
- 1 comment
#1377 - doc: guide, show lambda return-type annotation and explain ann for ca…
Pull Request -
State: closed - Opened by bennn about 1 year ago
#1376 - Can't use #:property to seal a Typed Racket structs
Issue -
State: open - Opened by shawnw about 1 year ago
#1375 - treelists not supported in Typed Racket
Issue -
State: open - Opened by shawnw about 1 year ago
#1374 - Unicode lambda
Pull Request -
State: closed - Opened by NoahStoryM about 1 year ago
- 4 comments
#1373 - Add Unicode Aliases for `U` and `->*`.
Pull Request -
State: closed - Opened by NoahStoryM about 1 year ago
- 2 comments
#1372 - TR fails to typecheck when using optional arg and inline type specs
Issue -
State: open - Opened by jbclements about 1 year ago
#1371 - Bump actions/upload-artifact from 4.3.1 to 4.3.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#1370 - `require/typed` yields "unused require" warnings
Issue -
State: open - Opened by bjornkihlberg over 1 year ago
#1369 - Bump actions/upload-artifact from 4.3.1 to 4.3.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#1368 - Bump Bogdanp/setup-racket from 1.9.1 to 1.11
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#1367 - Pass correct argument syntax for keyword applications.
Pull Request -
State: closed - Opened by samth over 1 year ago
#1366 - `require/typed/provide` not providing constructors
Issue -
State: open - Opened by LiberalArtist over 1 year ago
#1365 - type mismatch when using `Float`s with `for/sum`
Issue -
State: closed - Opened by citrusmunch over 1 year ago
- 2 comments
#1364 - base-env: add support for hash patterns in match
Pull Request -
State: closed - Opened by sorawee over 1 year ago
- 3 comments
#1363 - The new hash match pattern doesn't work in Typed Racket
Issue -
State: closed - Opened by shawnw over 1 year ago
#1362 - Bump actions/upload-artifact from 4.3.0 to 4.3.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#1361 - `struct`'s `#:methods` missing in Typed Racket
Issue -
State: open - Opened by xiaoyu2006 over 1 year ago
- 3 comments
#1360 - TR unsound with keyword args
Issue -
State: closed - Opened by jbclements over 1 year ago
- 2 comments
#1359 - Bump actions/upload-artifact from 4.2.0 to 4.3.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#1358 - any-wrap: do best effort to preserve identity
Pull Request -
State: closed - Opened by sorawee over 1 year ago
- 10 comments
#1357 - `check-eq? (hasheq) (hasheq)` fails
Issue -
State: closed - Opened by philnguyen over 1 year ago
- 4 comments
#1356 - Bump actions/upload-artifact from 4.1.0 to 4.2.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#1355 - Bump actions/upload-artifact from 4.0.0 to 4.1.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#1354 - apply < doesn't accept a non-empty list
Issue -
State: open - Opened by sorawee over 1 year ago
#1353 - Update Fred's email address to receive DrDr report
Pull Request -
State: closed - Opened by capfredf over 1 year ago
#1352 - Weird Error Message from `require/typed`
Issue -
State: open - Opened by rvs314 over 1 year ago
#1351 - Repair optimizer log tests for racket/racket#4845.
Pull Request -
State: closed - Opened by samth over 1 year ago
#1350 - Bump actions/upload-artifact from 3.1.3 to 4.0.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#1349 - Generalize for/list handling a bit.
Pull Request -
State: closed - Opened by samth over 1 year ago
#1348 - typo in parse-type.rkt
Pull Request -
State: closed - Opened by t0mpr1c3 over 1 year ago
- 1 comment
#1347 - Bump actions/github-script from 6.4.1 to 7.0.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#1346 - Constructors in `typed/web-server/http` not provided
Issue -
State: closed - Opened by t0mpr1c3 over 1 year ago
- 4 comments
#1345 - [Docs] Add section on custom propositions
Pull Request -
State: closed - Opened by micahcantor over 1 year ago
- 3 comments
#1344 - Bump actions/upload-artifact from 3.1.0 to 3.1.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#1343 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#1342 - Bump actions/github-script from 6.1.0 to 6.4.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#1341 - doc: add no_contract flag to index
Pull Request -
State: closed - Opened by bennn over 1 year ago
- 3 comments
#1340 - [Docs] Rename Opt to Maybe in guide
Pull Request -
State: closed - Opened by micahcantor over 1 year ago
- 5 comments
#1339 - add type for `prgexp-matcher` used internally in `match`
Pull Request -
State: closed - Opened by usaoc almost 2 years ago
- 2 comments
#1338 - add types for new check procedures in `for`
Pull Request -
State: closed - Opened by usaoc almost 2 years ago