With my latest fix to handling of the `Any` type, the following small program (also at https://gist.github.com/3991023) crashes drracket (I can't provoke the bug with plain racket):
#lang racket/load (module m typed/racket (define: v : Any (exn "" (current-continuation-marks))) (provide v)) (module n racket (require 'm) v) (require 'n) I regularly get segmentation faults, but I've also seen errors complaining that `make-struct-field-accessor` is not getting the correct kind of value, instead getting #<bad-value> or #<module-code> or other assorted unlikely results, like this: make-struct-field-accessor: contract violation expected: (and/c struct-accessor-procedure? (lambda (p) (procedure-arity-includes? p 2))) given: #<variable-code> argument position: 1st other arguments...: 0 There's a stack trace from a segfault at the gist link above. The relevant code is in typed-racket/utils/any-wrap.rkt. -- sam th [email protected] _________________________ Racket Developers list: http://lists.racket-lang.org/dev
