Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
G
geiser
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
    • Locked Files
  • Issues 64
    • Issues 64
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 5
    • Merge Requests 5
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Registry
    • Registry
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • jao
  • geiser
  • Issues
  • #18

Closed
Open
Opened Oct 24, 2013 by jao@jaor
  • Report abuse
  • New issue
Report abuse New issue

REPL for Typed Racket modules

Created by: khinsen

When entering a Typed Racket module, the Geiser REPL seems to remain at the standard Racket level. An illustration:

  1. Create a file "test.rkt" containing
#lang typed/racket
(require math/array)
(define arr
  (build-array #(4 5) (lambda: ([js : Indexes])
                        (match-define (vector j0 j1) js)
                        (+ j0 j1))))
(array+ arr arr)
  1. Load this into the REPL (^U ^C ^Q). The REPL window shows
Welcome to Racket v5.90.0.9.
racket@> ,enter "/Users/hinsen/projects/racket/arrays.rkt"
(array #[#[0 2 4 6 8] #[2 4 6 8 10] #[4 6 8 10 12] #[6 8 10 12 14]])
- : Any
  1. Copy-paste the last expression, (array+ arr arr), directly into the REPL:
racket@arrays.rkt> (array+ arr arr)
stdin::144: Type Checker: The type of array-map cannot be converted to a contract
  in: (typed:array-map + arr arr)
  errortrace...:
  context...:
   temp49
   /Users/hinsen/Development/racket/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:53:4
   /Users/hinsen/Applications/Racket/collects/racket/private/misc.rkt:87:7

The same code works fine in a REPL run from a terminal (racket -I typed/racket).

Related issues

Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
No due date
2
Labels
bug racket
Assign labels
  • View project labels
Reference: jaor/geiser#18