Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Segfault on Racket v6.2 #4

Closed
bennn opened this issue Oct 11, 2015 · 7 comments
Closed

Segfault on Racket v6.2 #4

bennn opened this issue Oct 11, 2015 · 7 comments

Comments

@bennn
Copy link
Contributor

bennn commented Oct 11, 2015

This program causes a segfault for me on Racket v6.2. Any idea what's happening here?

#lang racket/base

(module+ siggy
  (require (only-in math/matrix vector*->matrix))
  (vector*->matrix '#()))

Here's my segfault

SIGSEGV MAPERR si_code 1 fault on addr 0x7ffed7232d98
zsh: abort (core dumped)  raco6.2 make foo.rkt
@soegaard
Copy link
Member

Maybe something submodule or Typed Racket - related?

Without the module+ I get the correct error:

vector_->matrix: contract violation
expected: nested vectors with rectangular shape and at least one matrix
element
given: '#()
context...:
/Applications/Racket
v6.2/share/pkgs/math-lib/math/private/matrix/matrix-conversion.rkt:167:0:
vector_->matrix
/Users/soegaard/Downloads/testing.rkt: [running body]
/Applications/Racket v6.2/collects/racket/private/misc.rkt:87:7

2015-10-11 9:30 GMT+02:00 Benjamin Greenman notifications@github.com:

This program causes a segfault for me on Racket v6.2. Any idea what's
happening here?

#lang racket/base

(module+ siggy
(require (only-in math/matrix vector_->matrix))
(vector_->matrix '#()))

Here's my segfault

SIGSEGV MAPERR si_code 1 fault on addr 0x7ffed7232d98
zsh: abort (core dumped) raco6.2 make foo.rkt


Reply to this email directly or view it on GitHub
#4.

Jens Axel Søgaard

@samth
Copy link
Member

samth commented Oct 11, 2015

What does it do on head?

@samth
Copy link
Member

samth commented Oct 11, 2015

To answer my own question, it works correctly on HEAD.

@bennn
Copy link
Contributor Author

bennn commented Oct 11, 2015

Yes, head and Racket 6.1 work fine for me.

The only-in is also necessary! But I'm not sure if another function besides vector*->matrix could trigger the bug.

@samth
Copy link
Member

samth commented Oct 12, 2015

Is there a reason not to close this?

@bennn
Copy link
Contributor Author

bennn commented Oct 12, 2015

No, there's not strong reason to keep this open.

But I would really like to know what happened, and whether the source of the problem is covered by a regression test.

@samth
Copy link
Member

samth commented Jan 13, 2016

I'm closing this -- feel free to use git bisect to try to find what happened.

@samth samth closed this as completed Jan 13, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants