| | | 0000167 | | |
Bug | minor | new | 2010-11-04 | bimap.init could be uo |
| | | 0000166 | | |
Bug | minor | new | 2010-10-27 | inconsistent treatment of module-specific variables |
| | | 0000150 | 1 | |
Bug | minor | resolved (zs) | 2010-09-15 | nit in error msg |
| | | 0000128 | 1 | 1 |
Bug | minor | resolved (zs) | 2010-09-15 | merge_instmapping_delta_2: error merging var 20 |
| | | 0000159 | 1 | 1 |
Bug | minor | resolved (zs) | 2010-09-14 | liveness.m: Unexpected: branches of switch disagree on liveness |
| | | 0000164 | | |
Bug | minor | new | 2010-09-14 | problem with mmake -j32 |
| | | 0000109 | 9 | 2 |
Bug | minor | resolved (zs) | 2010-09-14 | rotd-2009-10-05's library install fails for grade hlc |
| | | 0000154 | 3 | 1 |
Bug | minor | new | 2010-08-25 | compiler abort with debugging enabled |
| | | 0000158 | 1 | 1 |
Bug | minor | resolved (wangp) | 2010-08-19 | char constants do not unify |
| | | 0000137 | 3 | |
Bug | minor | new | 2010-07-21 | failing analysis framework tests |
| | | 0000067 | | 1 |
Bug | minor | resolved (wangp) | 2010-07-15 | mprof doesn't like duplicate names |
| | | 0000142 | 2 | 1 |
Bug | minor | resolved (wangp) | 2010-07-15 | problem updating rtti varmaps on inlining |
| | | 0000155 | 2 | 2 |
Bug | major | new | 2010-07-07 | Mode error with impure code. |
| | | 0000153 | 4 | |
Bug | minor | resolved (juliensf) | 2010-07-06 | toc in pdf user's guide is empty |
| | | 0000152 | | |
Bug | crash | new | 2010-06-08 | Test cases crash the compiler in mmos grades. |
| | | 0000149 | | |
Bug | minor | new | 2010-05-25 | inter-module optimization and abstract exported equivalence types. |
| | | 0000147 | | |
Bug | minor | new | 2010-05-25 | NaN behaviour |
| | | 0000143 | 2 | 1 |
Bug | feature | resolved (juliensf) | 2010-05-20 | ':- initialise' directives not being respected. |
| | | 0000145 | | |
Bug | major | resolved (wangp) | 2010-04-21 | loop invariants broken |
| | | 0000140 | | |
Bug | text | acknowledged | 2010-04-01 | Manual section 10 doesn't mention existential types |
| | | 0000141 | 4 | 2 |
Bug | feature | new | 2010-04-01 | integer has no method for converting to int with wraparound |
| | | 0000139 | | |
Bug | minor | new | 2010-03-23 | If mercury is installed in a directly with a '+' symbol in it's name, then mkinit will not work. |
| | | 0000138 | 1 | |
Bug | text | resolved (juliensf) | 2010-03-16 | Mistake in Language Reference, section 2.3 |
| | | 0000134 | 1 | 1 |
Bug | minor | resolved (zs) | 2010-03-04 | abort in MLDS backend with --no-static-ground-terms |
| | | 0000121 | 1 | |
Bug | major | resolved (juliensf) | 2010-02-27 | parallel grades do not build on Mac OS 10.6 |
| | | 0000133 | | 1 |
Bug | major | resolved (wangp) | 2010-02-15 | Software Error: try_expand.m: Unexpected: find_subparts: unexpected goal form |
| | | 0000020 | 3 | |
Bug | minor | resolved (maclarty) | 2010-02-05 | declarative debugger going up search tree when initial node trusted. |
| | | 0000127 | | |
Bug | minor | resolved (wangp) | 2010-02-05 | implementation defined constants don't work with try goals |
| | | 0000132 | 1 | 1 |
Bug | text | resolved (juliensf) | 2010-02-02 | Typo in make_hlds_warn ("ccur") |
| | | 0000040 | 1 | 1 |
Bug | minor | confirmed | 2010-02-02 | RTTI looks for the name of a solver value return repn. type name |
| | | 0000100 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2010-02-02 | incorrect report that a module is unused |
| | | 0000131 | | |
Bug | minor | new | 2010-01-28 | Compilation fails when the same variable is used in two trace goals but not outside the trace goals. |
| | | 0000096 | 5 | |
Bug | text | resolved (rafe) | 2010-01-27 | some predicates parsing_utils are documented with arguments in an incorrect order. |
| | | 0000126 | | |
Bug | major | resolved (wangp) | 2010-01-25 | unable to build asm_fast.gc.stseg grade under cygwin |
| | | 0000129 | 1 | |
Bug | minor | resolved (wangp) | 2010-01-25 | java grade generates uncompilable code for some uses of typeclasses |
| | | 0000122 | 3 | 1 |
Bug | minor | resolved (mark) | 2010-01-18 | Functional dependency typeclass instance in module with sub-module int0 error |
| | | 0000123 | 1 | 1 |
Bug | minor | resolved (wangp) | 2010-01-12 | typeclass instance clause type mix. |
| | | 0000102 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2009-12-17 | Inconsistent behaviour (error vs. warning) when compiling with --make |
| | | 0000118 | 1 | |
Bug | minor | resolved (juliensf) | 2009-12-16 | table_reset predicates omitted in non-tabling grades |
| | | 0000015 | 8 | |
Bug | major | resolved (juliensf) | 2009-12-11 | wrong variable scoping in `if ( some[X] p(X) ) then q(X) ...' |
| | | 0000077 | 14 | |
Bug | crash | resolved (juliensf) | 2009-12-01 | make install issues with mercury-compiler-rotd-2008-08-14 |
| | | 0000039 | 1 | |
Bug | minor | resolved (wangp) | 2009-11-27 | gcc 4.1.2 on x86-64 miscompiles computed gotos |
| | | 0000078 | 3 | |
Bug | minor | resolved (wangp) | 2009-11-27 | make install fails on Fedora 9 with gcc 4.3 |
| | | 0000066 | 1 | |
Bug | minor | resolved (wangp) | 2009-11-25 | gcc 4.2 incompatibility |
| | | 0000108 | 7 | |
Bug | minor | resolved (wangp) | 2009-11-23 | invalid java path with mercury and mingw |
| | | 0000114 | 2 | 2 |
Bug | minor | acknowledged | 2009-10-30 | rotd-2009-10-05's library install fails for grade hlc.agc |
| | | 0000112 | 4 | |
Bug | feature | resolved (juliensf) | 2009-10-17 | set_* modules inconsistent |
| | | 0000113 | 1 | 1 |
Bug | minor | resolved (zs) | 2009-10-17 | abort during purity checking. |
| | | 0000111 | | 1 |
Bug | minor | new | 2009-10-12 | Throwing exception in tabled predicate causes table entry to remain active |
| | | 0000104 | 2 | |
Bug | minor | feedback | 2009-10-06 | Static linking doesn't properly track dependencies |