issues Search Results · repo:racket/typed-racket language:Racket

Filter by

• • Code... (...)results
  • Issues652 (652)results
  • Pull requests806 (806)results
  • Discussions4 (4)results
  • Commits0 (0)results
  • Packages0 (0)results
  • Wikis0 (0)results

• State

  • Open
  • Closed

• Advanced

  • Owner
  • State
  • Close reason
  • Has linked pull request
  • Author
  • Assignee
  • Mentioned user
  • Mentioned team
  • Commenter
  • Involved user
  • Label
  • Milestone
  • Number of comments
  • Number of interactions
• Advanced search

Issues652 (652)

652 results

 (52 ms)

652 results

inracket/typed-racket (press backspace or delete to remove)

Sort by: Best match

Filter

racket/typed-racket

`thread` provides insufficient expected type info to its thunk argument

Since the change to add keyword arguments to thread (racket/racket#5304), programs like this no longer type check: (thread (lambda () (let loop () ; note no annotation (loop)))) This led ...

• samth
·
• Opened 
  4 days ago
·
• #1464

racket/typed-racket

wrong/unsound type for `path-has-extension?`

This program typechecks, but shouldn t, because x is #true: #lang typed/racket (define x : (U Bytes False) (path-has-extension? a.git .git )) The type of path-has-extension? is currently: (- (U ...

• LiberalArtist
·
• 1
·
• Opened 
  on Jun 22
·
• #1459

racket/typed-racket

Extend Refinement Types to Support Real-Number Constraints

Description: Typed Racket s refinement types (Refine) are currently limited to linear integer constraints (e.g., =, and, or on integer linear combinations). This restriction prevents expressing essential ...

• uyweywe
·
• 6
·
• Opened 
  on Jun 17
·
• #1457

racket/typed-racket

`typed/racket/base/shallow` hangs when recursive types are in a separate module

What version of Racket are you using? v8.15 [cs] What program did you run? #lang typed/racket/base/shallow (displayln start) (module goto racket/base (provide goto label) (define (goto l) (l l)) ...

• NoahStoryM
·
• Opened 
  on May 25
·
• #1453

racket/typed-racket

Documentation: Intersection types

I see no mention of intersection types in the documentation, is this one the only reference? I would love to learn about them?

• ShalokShalom
·
• 2
·
• Opened 
  on May 11
·
• #1451

racket/typed-racket

[Feature Request] Adding `...` Support to `define-type`

While TR provides variadic type constructors like Values, U, and Sequenceof, users cannot define their own using define-type. Currently, define-type treats ... as a normal type argument. For instance, ...

• NoahStoryM
·
• Opened 
  on Apr 20
·
• #1446

racket/typed-racket

[Feature Request] Add `unsafe-cast`

Is your feature request related to a problem? Please describe. Typed Racket uses predicates to refine types, but this approach has limitations since many types cannot have corresponding predicates. This ...

• NoahStoryM
·
• 5
·
• Opened 
  on Apr 17
·
• #1445

racket/typed-racket

Use in-directory in typed racket

What version of Racket are you using? Welcome to Racket v8.16 [cs]. What program did you run? $ racket -l typed/racket -i in-directory - : (- * () ((U False Path-String) (- Path Any)) (Sequenceof ...

• Antigen-1
·
• Opened 
  on Mar 12
·
• #1442

racket/typed-racket

Inconsistent behavior of type `Any` for unannotated programs

#lang typed/racket (define (g x) x) (define x : Number (g 42)) (define y : String (g hello )) TR does not reject the program, even though g has type Any - Any in this case. If we annotate g with Any ...

• capfredf
·
• Opened 
  on Mar 3
·
• #1440

racket/typed-racket

Typed Racket cannot handle compose that use multiple values

What version of Racket are you using? 8.15 What program did you run? #lang typed/racket (require qi) (: add-up (- Number Number Number)) (define (add-up n m) (+ n m)) (: cube (- Number Number)) ...

• OnorioCatenacci
·
• 3
·
• Opened 
  on Jan 21
·
• #1430

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues

ProTip! 

Restrict your search to the title by using the in:title qualifier.

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues

ProTip! 

Press the

/

key to activate the search input again and adjust your query.