Closed
Description
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
Labels
No labels