| | | 0000001 | 2 | 1 |
Bug | minor | acknowledged | 2007-09-25 | non-instructive error message: 'unused' mode requires explicit lambda expression |
| | | 0000002 | 4 | 1 |
Bug | minor | resolved (petdr) | 2007-10-03 | equivalence types in instance declarations |
| | | 0000003 | 4 | |
Bug | minor | resolved (wangp) | 2014-07-10 | deep profiler bug with unify/compare for tuples |
| | | 0000004 | 8 | 1 |
Bug | minor | resolved (juliensf) | 2007-12-09 | change in --runtime-flags should rebuild <main>_init.o |
| | | 0000005 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2007-10-19 | bad error message for state vars |
| | | 0000006 | 1 | 2 |
Bug | minor | assigned (zs) | 2007-10-19 | compiler abort |
| | | 0000007 | 1 | 1 |
Bug | minor | feedback | 2007-10-26 | Type ctor module name bug |
| | | 0000008 | 1 | |
Bug | minor | new | 2022-02-09 | code hanging in asm_fast.gc.prof |
| | | 0000009 | | 1 |
Bug | minor | new | 2007-10-13 | spurious error message when testing equivalence of equal things |
| | | 0000010 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2015-11-29 | :- pragma source_file ignored for warnings about unused imports in the interface. |
| | | 0000011 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2007-10-22 | instance declarations for unknown types accepted in interface |
| | | 0000012 | 2 | |
Bug | minor | closed | 2007-10-05 | ./configure doesn't correctly identify that my compiler is not recent enough |
| | | 0000013 | 1 | |
Bug | minor | assigned (juliensf) | 2007-10-12 | builtin types inconsistently module qualified |
| | | 0000014 | | |
Bug | minor | new | 2007-10-03 | mmc --make install should not touch unmodified files |
| | | 0000015 | 8 | |
Bug | major | resolved (juliensf) | 2009-12-11 | wrong variable scoping in `if ( some[X] p(X) ) then q(X) ...' |
| | | 0000016 | 2 | |
Bug | text | resolved (juliensf) | 2007-10-18 | doc: description of float token wrong |
| | | 0000017 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-11-11 | no error for unknown types in interface if defined in implementation |
| | | 0000018 | 7 | 1 |
Bug | minor | resolved (juliensf) | 2007-11-08 | inconsistent treatment of true goals with no outputs. |
| | | 0000019 | 1 | 2 |
Bug | minor | confirmed | 2007-10-16 | foreign type mutables don't work in high-level C grades |
| | | 0000020 | 3 | |
Bug | minor | resolved (maclarty) | 2010-02-05 | declarative debugger going up search tree when initial node trusted. |
| | | 0000021 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2007-11-01 | equivalences for solver types lead to badly typed initialisation predicates |
| | | 0000022 | | 1 |
Bug | minor | new | 2007-10-23 | compiler abort with memoing, dead proc. elimination and the hlc backend |
| | | 0000023 | 1 | 1 |
Bug | crash | closed (zs) | 2009-11-05 | attempt to print tabling statistics causes a Mercury program to crash |
| | | 0000024 | 3 | |
Bug | minor | resolved (juliensf) | 2007-10-31 | Debugger commands inconsistant with help message. |
| | | 0000025 | 1 | 1 |
Bug | crash | confirmed | 2007-11-01 | tabling of predicates with type class constraints causes an internal compiler error |
| | | 0000026 | 6 | 2 |
Bug | minor | closed | 2008-09-03 | problem with inst for abstract type |
| | | 0000027 | 2 | |
Bug | crash | resolved (juliensf) | 2007-11-14 | Type var in instance declaration can cause compiler to crash |
| | | 0000028 | 1 | 1 |
Bug | major | resolved (zs) | 2007-11-19 | Unexpected: adjust_livevals |
| | | 0000029 | 1 | 1 |
Bug | crash | closed (zs) | 2009-11-05 | mdb list throws exception when file has an absolute path |
| | | 0000030 | 3 | 2 |
Bug | minor | resolved (juliensf) | 2008-01-23 | break promise_equivalent_solutions |
| | | 0000031 | 3 | 4 |
Bug | minor | resolved (juliensf) | 2007-12-10 | modules compilation on 64-bit platform eats too much memory |
| | | 0000032 | | |
Bug | minor | new | 2007-12-14 | loop invariant optimization generates invalid HLDS |
| | | 0000033 | 4 | |
Bug | major | assigned (mark) | 2008-03-26 | Compiler abort when generating low level code |
| | | 0000034 | | 1 |
Bug | minor | new | 2008-01-03 | confusing error message in lambda function (but good message in predicate version) |
| | | 0000035 | 1 | 1 |
Bug | minor | closed (wangp) | 2009-08-19 | unsatisfied typeclass constraints error message mentions *satisfied* constraints |
| | | 0000036 | 1 | 1 |
Bug | major | new | 2016-06-23 | another tabling bug with the high-level C backend |
| | | 0000037 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2008-01-17 | high-level C backend produces invalid C code |
| | | 0000038 | | |
Bug | minor | new | 2008-01-16 | Compiler aborts in detism analysis with inst any case in negated context |
| | | 0000039 | 1 | |
Bug | minor | resolved (wangp) | 2009-11-27 | gcc 4.1.2 on x86-64 miscompiles computed gotos |
| | | 0000040 | 1 | 1 |
Bug | minor | confirmed | 2010-02-02 | RTTI looks for the name of a solver value return repn. type name |
| | | 0000041 | 2 | |
Bug | minor | resolved (juliensf) | 2014-09-02 | unclear error message in case the end_module declaration differs from the :- module description |
| | | 0000042 | 4 | 1 |
Bug | minor | resolved (wangp) | 2008-10-22 | bug with LCMC in hlc grades |
| | | 0000043 | 1 | 1 |
Bug | minor | resolved (wangp) | 2008-03-05 | intermod unused args analysis and typeclass constraints |
| | | 0000044 | 2 | 1 |
Bug | major | resolved (zs) | 2008-02-20 | compiler abort in debug grades |
| | | 0000045 | 1 | 2 |
Bug | minor | resolved (zs) | 2008-02-20 | mdb not using format params from .mdbrc |
| | | 0000046 | 1 | |
Bug | minor | resolved (zs) | 2008-02-20 | regression of general/det_complicated_unify in grade asm_fast.gc.profdeep |
| | | 0000047 | 1 | 1 |
Bug | minor | new | 2008-02-25 | mutable dependency problem |
| | | 0000048 | 6 | 1 |
Bug | minor | resolved (mark) | 2008-03-26 | compiler abort in .decldebug grade |
| | | 0000049 | 3 | 2 |
Bug | minor | new | 2008-03-17 | loop invariant hoisting causes MLDS backend to abort |
| | | 0000050 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-11-15 | another compiler abort when using debug grades |