| | |  | 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 |
| | | | 0000014 | | |
Bug | minor | new | 2007-10-03 | mmc --make install should not touch unmodified files |
| | |  | 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 |
| | | | 0000009 | | 1 |
Bug | minor | new | 2007-10-13 | spurious error message when testing equivalence of equal things |
| | | | 0000019 | 1 | 2 |
Bug | minor | confirmed | 2007-10-16 | foreign type mutables don't work in high-level C grades |
| | | | 0000016 | 2 | |
Bug | text | resolved (juliensf) | 2007-10-18 | doc: description of float token wrong |
| | | | 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 |
| | | | 0000011 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2007-10-22 | instance declarations for unknown types accepted in interface |
| | | | 0000022 | | 1 |
Bug | minor | new | 2007-10-23 | compiler abort with memoing, dead proc. elimination and the hlc backend |
| | | | 0000007 | 1 | 1 |
Bug | minor | feedback | 2007-10-26 | Type ctor module name bug |
| | | | 0000024 | 3 | |
Bug | minor | resolved (juliensf) | 2007-10-31 | Debugger commands inconsistant with help message. |
| | | | 0000021 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2007-11-01 | equivalences for solver types lead to badly typed initialisation predicates |
| | |  | 0000025 | 1 | 1 |
Bug | crash | confirmed | 2007-11-01 | tabling of predicates with type class constraints causes an internal compiler error |
| | | | 0000018 | 7 | 1 |
Bug | minor | resolved (juliensf) | 2007-11-08 | inconsistent treatment of true goals with no outputs. |
| | | | 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 |
| | | | 0000004 | 8 | 1 |
Bug | minor | resolved (juliensf) | 2007-12-09 | change in --runtime-flags should rebuild <main>_init.o |
| | | | 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 |
| | | | 0000034 | | 1 |
Bug | minor | new | 2008-01-03 | confusing error message in lambda function (but good message in predicate version) |
| | | | 0000038 | | |
Bug | minor | new | 2008-01-16 | Compiler aborts in detism analysis with inst any case in negated context |
| | | | 0000037 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2008-01-17 | high-level C backend produces invalid C code |
| | | | 0000030 | 3 | 2 |
Bug | minor | resolved (juliensf) | 2008-01-23 | break promise_equivalent_solutions |
| | | | 0000046 | 1 | |
Bug | minor | resolved (zs) | 2008-02-20 | regression of general/det_complicated_unify in grade asm_fast.gc.profdeep |
| | | | 0000045 | 1 | 2 |
Bug | minor | resolved (zs) | 2008-02-20 | mdb not using format params from .mdbrc |
| | | | 0000044 | 2 | 1 |
Bug | major | resolved (zs) | 2008-02-20 | compiler abort in debug grades |
| | | | 0000047 | 1 | 1 |
Bug | minor | new | 2008-02-25 | mutable dependency problem |
| | | | 0000043 | 1 | 1 |
Bug | minor | resolved (wangp) | 2008-03-05 | intermod unused args analysis and typeclass constraints |
| | | | 0000049 | 3 | 2 |
Bug | minor | new | 2008-03-17 | loop invariant hoisting causes MLDS backend to abort |
| | | | 0000054 | | |
Bug | minor | assigned (mark) | 2008-03-26 | rtti_varmaps not updated by follow_code |
| | | | 0000048 | 6 | 1 |
Bug | minor | resolved (mark) | 2008-03-26 | compiler abort in .decldebug grade |
| | | | 0000033 | 4 | |
Bug | major | assigned (mark) | 2008-03-26 | Compiler abort when generating low level code |
| | | | 0000052 | 4 | 1 |
Bug | minor | resolved (juliensf) | 2008-03-27 | rebuilding a program with a mutable in a different grade causes invalid c to be generated |
| | | | 0000057 | | |
Bug | minor | assigned (mark) | 2008-04-10 | --common-struct inhibits tail call optimisation |
| | | | 0000060 | | 1 |
Bug | minor | new | 2008-04-29 | inconsistent type_infos after type specialisation? |
| | | | 0000056 | 1 | |
Bug | major | resolved (zs) | 2008-05-26 | compiler crashes in decldebug grade |
| | | | 0000055 | 2 | 1 |
Bug | major | confirmed | 2008-06-02 | typeclass instances for e.g. bag(T) no longer work |
| | | | 0000061 | | 2 |
Bug | minor | new | 2008-06-03 | problem with _init suffix in module names |
| | | | 0000062 | | |
Bug | minor | resolved (juliensf) | 2008-06-06 | Compiler crashes at bad end_module declaration. |
| | | | 0000058 | 1 | |
Bug | minor | closed | 2008-06-11 | some bug compiling extras/xml |
| | | | 0000053 | 3 | |
Bug | minor | closed (pbone) | 2008-06-26 | lmc calls mkinit incorrectly in non-ssdb grades. |
| | | | 0000063 | | |
Bug | minor | new | 2008-06-26 | mdprof_cgi gets confused about the webserver's port number. |
| | | | 0000064 | | |
Bug | minor | closed | 2008-06-27 | implementation-defined literals don't work in lambdas |
| | | | 0000069 | 1 | |
Bug | minor | new | 2008-07-23 | Deep profiling tools can have integer overflows. |
| | | | 0000065 | 3 | 2 |
Bug | minor | resolved (wangp) | 2008-08-07 | probable bug in .stseg grades |
| | | | 0000073 | 2 | 3 |
Bug | crash | closed | 2008-08-07 | garbled memory |
| | | | 0000076 | 1 | 1 |
Bug | minor | resolved (wangp) | 2008-08-22 | --make-opt-int incorrectly handles existentially typed methods |
