Skip to content

broke support for structs require'd from typed modules #6

Closed
@mxork

Description

@mxork

Source file:

#lang racket

(require struct-define)

(module typed typed/racket
  (provide (all-defined-out))
  (struct A ((x : Integer))))
(require 'typed)
(struct-define A (A 2))
(displayln x)

Works on package version:

struct-define    6f109ba648ab5cc7c5fe59f98786af4516e368be    (catalog "struct-define" "https://github.com/jeapostrophe/struct-define.git")

After updating to package version:

struct-define    a07a78d5d05b6d3aa393d93495e8c29625b05bf5    (catalog "struct-define""https://github.com/jeapostrophe/struct-define.git")

Fails with:

struct-field-info-list: contract violation
  expected: struct-field-info?
  given: #<procedure:struct-info+type+self-ctor-wrapper>
  compilation context...:
   /home/dan/structdef.rkt
  context...:
   .../private/parse.rkt:900:19: success
   /usr/local/racket-8.1.0.5/collects/syntax/wrap-modbeg.rkt:46:4
   /usr/local/racket-8.1.0.5/collects/compiler/private/cm-minimal.rkt:612:0: compile-zo*
   /usr/local/racket-8.1.0.5/collects/compiler/private/cm-minimal.rkt:410:15
   /usr/local/racket-8.1.0.5/collects/compiler/private/cm-minimal.rkt:399:12: build
   /usr/local/racket-8.1.0.5/collects/compiler/private/cm-minimal.rkt:375:0: maybe-compile-zo
   /usr/local/racket-8.1.0.5/collects/compiler/private/cm-minimal.rkt:209:0: compile-root
   /usr/local/racket-8.1.0.5/collects/compiler/private/cm-minimal.rkt:105:4
   /usr/local/racket-8.1.0.5/share/pkgs/compiler-lib/compiler/commands/make.rkt:69:0
   body of "/usr/local/racket-8.1.0.5/share/pkgs/compiler-lib/compiler/commands/make.rkt"
   /usr/local/racket-8.1.0.5/collects/raco/raco.rkt:41:0
   body of "/usr/local/racket-8.1.0.5/collects/raco/raco.rkt"
   body of "/usr/local/racket-8.1.0.5/collects/raco/main.rkt"

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions