You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 7095 Reporter: jura Status: closed (set by @gasche on 2015-12-16T06:08:16Z) Resolution: not a bug Priority: normal Severity: crash Platform: x86_64GNU/Linux3.13.0-66-generic OS: Ubuntu OS Version: 14.04 Version: 4.02.3 Category: typing Tags: suggest_closing
Bug description
The library "otto.0.0.1".
The inferred type for a library function is incorrect. In particular, it allows a user to write a program that type-checks but segfaults.git clone
Steps to reproduce
https://github.com/jrraymond/otto.git
cd otto
git checkout 4a578aa
ocaml setup.ml -configure
ocaml setup.ml -build
ocaml setup.ml -install
cd ../
mkdir temp
cd temp
#paste the example code in bug.ml
ocamlbuild -use-ocamlfind -pkg otto bug.native
./bug.native
Segmentation fault (core dumped)
.
.
.
cd otto
ocaml setup.ml -uninstall
Original bug ID: 7095
Reporter: jura
Status: closed (set by @gasche on 2015-12-16T06:08:16Z)
Resolution: not a bug
Priority: normal
Severity: crash
Platform: x86_64GNU/Linux3.13.0-66-generic
OS: Ubuntu
OS Version: 14.04
Version: 4.02.3
Category: typing
Tags: suggest_closing
Bug description
The library "otto.0.0.1".
The inferred type for a library function is incorrect. In particular, it allows a user to write a program that type-checks but segfaults.git clone
Steps to reproduce
https://github.com/jrraymond/otto.git
cd otto
git checkout 4a578aa
ocaml setup.ml -configure
ocaml setup.ml -build
ocaml setup.ml -install
cd ../
mkdir temp
cd temp
#paste the example code in bug.ml
ocamlbuild -use-ocamlfind -pkg otto bug.native
./bug.native
Segmentation fault (core dumped)
.
.
.
cd otto
ocaml setup.ml -uninstall
File attachments
The text was updated successfully, but these errors were encountered: