diff options
| author | Maxime Dénès | 2015-06-13 00:36:02 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2015-06-15 14:06:21 +0200 |
| commit | c78e8d35d6431fa9119c863c3b58aed1f53ed4a5 (patch) | |
| tree | fc09038bf3ab54daad223db51d585ec8902b7caa /plugins/extraction/ExtrHaskellString.v | |
| parent | 41d63ab4c702457556d2a0680940d04cd4e33179 (diff) | |
Native compiler: do not catch exceptions not related to dynlink.
Was making the study of bugs like #4139 painful.
Now printing a better error message when a compiled file is missing.
Diffstat (limited to 'plugins/extraction/ExtrHaskellString.v')
0 files changed, 0 insertions, 0 deletions