Mercury Bugs - mercury | |||||
View Issue Details | |||||
ID | Project | Category | View Status | Date Submitted | Last Update |
0000378 | mercury | Bug | public | 2015-02-18 01:52 | 2015-02-19 01:42 |
Reporter | mvd23jsdf4 | ||||
---|---|---|---|---|---|
Assigned To | |||||
Priority | normal | Severity | minor | Reproducibility | have not tried |
Status | new | Resolution | open | ||
Platform | x86_64 | OS | Fedora | OS Version | 21 |
Product Version | |||||
Target Version | Fixed in Version | ||||
Summary | 0000378: Cannot access library source files when debugging | ||||
Description | When debugging an application and the code enters a library file, you are unable to view that source. see attached source file. | ||||
Steps To Reproduce | ./configure --prefix=$HOME/.local --disable-most-grades --enable-additional-libgrades=reg.gc.debug,reg.gc.decldebug make PARALLEL=-j2 make PARALLEL=-j2 install mmc --make --debug fib2 mdb ./fib2 [mercuryuser@localhost fib2]$ mdb ./fib2 Melbourne Mercury Debugger, mdb version 14.01.1. Copyright 1998-2014 The University of Melbourne. mdb is free software, covered by the GNU General Public License. There is absolutely no warranty for mdb. 1: 1 1 CALL pred fib2.main/2-0 (det) fib2.m:16 /home/mercuryuser/.local/lib/mercury/mdb/mdb_doc: No such file or directory. mdb> list else fib(N - 1) + fib(N - 2)). > main(!IO) :- io.read_line_as_string(Result, !IO), (if mdb> next 4: 1 1 COND pred fib2.main/2-0 (det) c2;?; fib2.m:19 mdb> list io.read_line_as_string(Result, !IO), (if > Result = ok(String), string.to_int(string.strip(String), N) then mdb> step 5: 3 2 CALL func string.strip/1-0 (det) string.m:6331 (fib2.m:20) mdb> list mdb: cannot find file string.m mdb> | ||||
Tags | No tags attached. | ||||
Relationships | |||||
Attached Files | fib2.m (546) 2015-02-18 01:52 https://bugs.mercurylang.org/file_download.php?file_id=235&type=bug |
Notes | |||||
|
|||||
|
|
Issue History | |||||
Date Modified | Username | Field | Change | ||
---|---|---|---|---|---|
2015-02-18 01:52 | mvd23jsdf4 | New Issue | |||
2015-02-18 01:52 | mvd23jsdf4 | File Added: fib2.m | |||
2015-02-19 01:42 | juliensf | Note Added: 0000814 |