type checker overflows with overly long list of symbols

Open
#146 2 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
35/100
Issue type
Bug
Clarity
Mostly clear
Activity status
Stale
Domain
compilers

Research direction

Start by opening the linked gist and reproducing the freeze with raco setup on its roughly 4,500-symbol list. Then trace the Typed Racket type-checking path for the map symbol->string expression; done means setup completes without freezing while retaining the intended type checking.

Written by the indexing model from the issue text.

Description

This file was causing raco setup ... to freeze. (You’ll have to view the file with word wrap to get the full effect — it’s a list of about 4500 symbols.)

I cured the issue by taking out the (map symbol->string ... on line 6 and changing the type to (Listof Symbol).

Dominant language
Racket
Stars
575
Forks
106
Avg merge
2h 1m
Merged PRs (30d)
2

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from racket/typed-racket

All issues in racket/typed-racket

Similar issues

More Compilers issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.