| |  | 0000575 | | 1 |
Bug | minor | new | 2024-07-09 | type qualification scope bug |
| | | 0000574 | 1 | 1 |
Bug | minor | new | 2024-05-06 | Higher-order inst gets lost when using combined higher-order type and inst |
| | | 0000573 | 1 | |
Bug | minor | resolved (zs) | 2024-02-23 | mmc --make regression remaking .opt files unnecessarily |
| | | 0000572 | 1 | 1 |
Bug | minor | resolved (zs) | 2024-02-20 | Code generator abort in debugging grades |
| | | 0000571 | | 1 |
Feature Request | minor | new | 2024-02-09 | Improve unsatisfiable typeclass constraint errors |
| | | 0000570 | | 1 |
Bug | crash | assigned (zs) | 2023-12-13 | merge switch after switch bug |
| | | 0000569 | 2 | 1 |
Bug | minor | resolved (wangp) | 2023-12-06 | timestamp regression with nested submodules in mmc --make |
| | | 0000568 | 1 | 1 |
Bug | major | resolved (zs) | 2023-12-05 | nested sub-modules broken in mmc --make |
| | | 0000567 | 1 | 1 |
Bug | major | resolved (zs) | 2023-11-08 | regression due to merging consecutive switches |
| | | 0000566 | 7 | |
Bug | minor | resolved (wangp) | 2023-10-16 | undefined variable warnings with GNU Make 4.4.0.90 |
| | | 0000208 | 1 | |
Bug | feature | resolved (juliensf) | 2023-10-08 | add help and version command line options to mslice and mdice |
| | | 0000563 | 2 | 1 |
Bug | crash | resolved (zs) | 2023-09-04 | type constructor for equivalence type not found |
| | | 0000565 | 9 | |
Bug | major | assigned (juliensf) | 2023-09-04 | Installed mmake cannot build programs |
| | | 0000494 | 2 | |
Bug | minor | resolved (juliensf) | 2023-08-02 | hard_coded/nonascii fails on Windows |
| | | 0000162 | 1 | |
Bug | minor | new | 2022-10-11 | No compiler error for a mode involving an instantation state that doesn't match the argument type. |
| | | 0000151 | 2 | |
Bug | trivial | resolved (juliensf) | 2022-10-11 | Incorrect documentation for string.unsafe_set_char |
| | | 0000564 | 1 | 1 |
Bug | minor | new | 2022-09-08 | unnecessary use_module in .opt files |
| | | 0000562 | 1 | 1 |
Bug | minor | resolved (zs) | 2022-08-18 | performance regression since rotd-2022-05-01 |
| | | 0000559 | 2 | 1 |
Bug | minor | resolved (zs) | 2022-08-03 | Stack overflow in hlc.gc Mercury 22.01.1 compiler on Windows |
| | | 0000561 | | 1 |
Bug | minor | new | 2022-06-22 | Segmentation fault with GCC 12 (Github issue 0000103) |
| | | 0000560 | 5 | |
Bug | crash | new | 2022-05-31 | asm_fast.gc crashes on aarch64 with gcc 10.2 |
| | | 0000558 | 3 | |
Bug | major | resolved (juliensf) | 2022-04-22 | The mprof.1 manpage is currupt |
| | | 0000557 | 1 | 1 |
Bug | minor | resolved (zs) | 2022-04-11 | Ambiguous type causes compiler error without giving a useful error message for debugging |
| | | 0000556 | 3 | |
Bug | minor | resolved (zs) | 2022-04-07 | Stage 2 compiler does not build with --intermod-opt -O5 and rotd-2022-04-04 |
| | | 0000555 | | |
Feature Request | minor | new | 2022-04-05 | do not implicitly import modules imported by ancestor modules |
| | | 0000554 | 1 | |
Bug | minor | resolved (juliensf) | 2022-03-29 | mmake realclean does not remove .dep_err files |
| | | 0000553 | | |
Feature Request | minor | new | 2022-03-23 | mmc --make and GNU make jobserver integration |
| | | 0000552 | 4 | |
Bug | minor | resolved (zs) | 2022-03-17 | Compiler aborts in deep_profiler directory in Java grade with --intermod-opt |
| | | 0000549 | 2 | |
Bug | minor | new | 2022-03-01 | Segmentation fault building stage 3 dependencies with GCC 9, -O6 and debug grades |
| | | 0000547 | 2 | 1 |
Bug | minor | new | 2022-02-26 | Test failure: intermittent failure of valid/foreign_import_module |
| | | 0000545 | 1 | 1 |
Bug | minor | resolved (zs) | 2022-02-22 | Data constructor named "event" results in invalid optimisation interface |
| | | 0000551 | 1 | |
Bug | minor | resolved (zs) | 2022-02-21 | Information messages refer to non-existent pragma |
| | | 0000548 | 3 | |
Bug | minor | resolved (zs) | 2022-02-12 | Stage 2 compiler fails in hlc.gc.pregen -O4 bootcheck |
| | | 0000008 | 1 | |
Bug | minor | new | 2022-02-09 | code hanging in asm_fast.gc.prof |
| | | 0000544 | 6 | 1 |
Bug | minor | resolved (zs) | 2022-02-07 | Test failure: valid/static causes compiler abort in grade hlc.gc.tr at -O5 and above |
| | | 0000546 | 1 | |
Feature Request | minor | new | 2022-02-07 | make io.system_error public |
| | | 0000510 | 2 | |
Bug | crash | feedback (zs) | 2022-01-25 | compiler crash due to missing type definition |
| | | 0000499 | 1 | 1 |
Bug | minor | resolved (zs) | 2022-01-25 | unqualified type encountered assertion |
| | | 0000530 | 1 | |
Feature Request | minor | resolved (zs) | 2022-01-25 | diagnose inapplicable insts in mode declarations |
| | | 0000521 | 3 | 1 |
Bug | minor | resolved (zs) | 2022-01-25 | Missing error message about an 'undefined type'; misleading error message instead |
| | | 0000541 | 1 | |
Bug | minor | resolved (zs) | 2022-01-25 | Standard lib compilation aborts in asm_fast.gc.profdeep.stseg with --intermod-opt -O5 |
| | | 0000542 | 1 | |
Bug | minor | resolved (zs) | 2022-01-24 | Test failure: hard_coded/gh72 causes compiler abort at -O5 |
| | | 0000543 | 1 | |
Bug | minor | resolved (zs) | 2022-01-24 | Test failures: hard_coded/backend_external -- invalid C code at -O6 |
| | | 0000540 | | |
Feature Request | minor | new | 2021-11-08 | making up for not updating insts |
| | | 0000539 | 4 | 1 |
Bug | minor | resolved (zs) | 2021-10-14 | placing nondummy var which has no state (LCMC) |
| |  | 0000538 | 1 | 1 |
Bug | minor | resolved (zs) | 2021-09-13 | Compiler does not recognise a chained subtype definition |
| | | 0000537 | | |
Feature Request | feature | new | 2021-08-31 | unique file handles |
| | | 0000536 | 2 | |
Bug | minor | new | 2021-06-25 | --track-flags unreliable when invoked quickly |
| | | 0000535 | | |
Bug | minor | new | 2021-06-05 | Abort during make install with grade hlc.gc on Windows 10 |
| | | 0000534 | | |
Bug | crash | new | 2021-05-28 | Uncaught Mercury exception when using try[] on predicate optimsied away to true? |
| | | 0000532 | 6 | |
Bug | minor | resolved (zs) | 2021-05-13 | constant_prop_2 failure in low-level C grades |
| | | 0000526 | 3 | |
Bug | minor | resolved (wangp) | 2021-04-28 | unused imports affected by opt-imported typeclass instances |
| | | 0000531 | 1 | |
Bug | major | new | 2021-04-27 | 20.06.1 will not compile in MingW32 2013072200 w/gcc 9.2.0-2: gettimeofday is deprecated |
| | | 0000529 | 1 | 1 |
Bug | minor | resolved (zs) | 2021-02-26 | higher order inst from existentially quantified data constructors |
| | | 0000528 | 3 | 1 |
Bug | minor | resolved (zs) | 2021-01-30 | Compiler aborts when constructing invalid inst |
| | | 0000527 | | |
Bug | minor | new | 2021-01-27 | daio pass and inlining |
| | | 0000071 | 2 | 1 |
Bug | minor | new | 2021-01-09 | compiler abort when building programs in debugging grades |
| | | 0000512 | 1 | 1 |
Bug | minor | resolved (zs) | 2020-10-29 | branches of if-then-else disagree on liveness |
| | | 0000525 | | |
Bug | minor | new | 2020-10-29 | compiler should detect missing included module |
| | | 0000524 | 7 | 1 |
Bug | block | resolved (zs) | 2020-10-16 | Installing rotd-2020-10-13 aborts with error |
| | | 0000522 | 3 | |
Bug | minor | resolved (zs) | 2020-10-16 | Compiler not building in Java grade with rotd-2020-09-29 onwards |
| | | 0000508 | 1 | |
Bug | minor | resolved (zs) | 2020-10-16 | Type constructors that are also Mercury operators result in invalid .int3 files |
| | | 0000515 | 2 | 1 |
Bug | minor | resolved (zs) | 2020-10-16 | Library not building in deep profiling grades with rotd-2020-07-26 |
| | | 0000523 | 1 | |
Bug | minor | resolved (zs) | 2020-10-13 | Compiler abort with rotd-2020-10-{11,12} |
| | | 0000495 | 1 | |
Bug | minor | resolved (zs) | 2020-10-06 | -O<n> options not additive |
| | | 0000520 | 2 | |
Bug | minor | new | 2020-10-02 | possible GCC ICE when compiling library/int.m in asm_fast.gc.tr.debug.stseg grade with -O1 |
| | | 0000519 | 1 | |
Bug | minor | resolved (juliensf) | 2020-10-01 | extras/graphics/mercury_tcltk library may contain reference to unknown matherr symbol |
| | | 0000518 | 1 | 1 |
Bug | minor | resolved (zs) | 2020-09-17 | Typo in extras/odbc.m |
| | | 0000517 | | 1 |
Bug | minor | new | 2020-09-16 | extras/mopenssl fails to compile in a par grade with libressl |
| | | 0000516 | 1 | |
Bug | minor | resolved (zs) | 2020-08-09 | Failure of tests/general/mode_inference_reorder with recent ROTDs. |
| | | 0000513 | 4 | 2 |
Bug | minor | resolved (zs) | 2020-07-29 | higher-order terms in freebsd bug. |
| | | 0000514 | 3 | |
Bug | minor | resolved (zs) | 2020-07-28 | asm_fast.gc.profdeep.stseg grade fails to compile with GCC 10 |
| | | 0000511 | | 1 |
Bug | minor | assigned (zs) | 2020-06-19 | missing warning with --warn-unused-imports |
| | | 0000509 | | |
Bug | minor | assigned (zs) | 2020-06-16 | higher_order.m optimizes soon-to-be-dead procedures |
| | | 0000502 | 4 | |
Feature Request | minor | resolved (juliensf) | 2020-06-09 | print unsigned numbers |
| | | 0000507 | | |
Feature Request | minor | new | 2020-05-01 | detect missing foreign_procs |
| | | 0000505 | | |
Feature Request | minor | assigned (zs) | 2020-05-01 | allow reference only to explicitly imported modules |
| | | 0000506 | | |
Feature Request | minor | assigned (zs) | 2020-05-01 | --recommend-order |
| | | 0000503 | 5 | |
Feature Request | minor | new | 2020-04-29 | unsigned shift amounts |
| | | 0000504 | | |
Feature Request | minor | assigned (zs) | 2020-04-28 | make checked shifts builtins |
| | | 0000497 | 3 | |
Feature Request | minor | resolved (zs) | 2020-04-20 | make disable_warning forwards compatible |
| | | 0000461 | 3 | |
Bug | minor | resolved (wangp) | 2020-04-20 | MR_verify_final_engine_sleep_sync assertion failure (parallel conjunction) |
| | | 0000480 | 5 | 2 |
Bug | minor | resolved (zs) | 2020-04-15 | regression in cse_detection.m |
| | | 0000496 | 4 | 1 |
Bug | minor | resolved (zs) | 2020-04-15 | Determinism error in 20.01 for code that compiles successfully in 14.01.1 |
| | | 0000498 | | |
Feature Request | minor | assigned (zs) | 2020-04-04 | handle misalignment of arguments in type errors better. |
| | | 0000120 | 2 | |
Bug | minor | resolved (juliensf) | 2020-02-04 | bootchecking in reg.gc fails on Mac OS 10.6 |
| | | 0000484 | 1 | 1 |
Feature Request | minor | resolved (zs) | 2020-01-24 | error message could be more specific |
| | | 0000493 | 1 | 1 |
Bug | minor | resolved (zs) | 2020-01-23 | MLDS ground terms bug |
| | | 0000492 | 5 | |
Bug | minor | resolved (juliensf) | 2020-01-18 | make install fails with GCC internal error on Fedora 31 |
| | | 0000489 | 9 | 1 |
Bug | minor | resolved (wangp) | 2020-01-15 | mmc --make gets confused by source files with same name as standard library module |
| | | 0000491 | | |
Feature Request | minor | assigned (zs) | 2020-01-12 | implicit imports in interface files |
| | | 0000490 | | |
Feature Request | minor | assigned (zs) | 2020-01-11 | when importing A.B, do not require importing A |
| | | 0000488 | 1 | |
Bug | minor | resolved (zs) | 2019-10-28 | Variable as pred name in predmode decl causes generates incorrect error message |
| | | 0000487 | 1 | 1 |
Bug | minor | resolved (zs) | 2019-10-08 | Incomplete and confusing error message |
| | | 0000486 | 1 | |
Bug | minor | resolved (zs) | 2019-09-29 | Partially qualified types in foreign_enum pragmas not working with rotd-2019-09-28 |
| | | 0000485 | 5 | |
Bug | minor | resolved (zs) | 2019-09-29 | Various bits of extras not building with rotd-2019-09-28 |
| | | 0000483 | 1 | 1 |
Bug | minor | resolved (zs) | 2019-09-02 | Spurious warning about unused module import |
| | | 0000482 | | |
Bug | minor | new | 2019-08-25 | Deep profiler "Restart" menu option doesn't restart the mdprof_cgi server |
| | | 0000481 | 1 | 1 |
Bug | minor | resolved (zs) | 2019-08-20 | abort in MLDS code generator with --static-ground-terms |
| | | 0000401 | 5 | 2 |
Bug | minor | resolved (zs) | 2019-08-04 | different module import styles in interface and implementation |
| | | 0000479 | 2 | |
Bug | minor | resolved | 2019-07-07 | warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE when compiling mercury code |
| | | 0000477 | 3 | 1 |
Feature Request | minor | resolved (zs) | 2019-04-20 | Infinite recursion through exception handlers |
| | | 0000478 | 13 | |
Bug | minor | resolved (zs) | 2019-04-18 | ssdb directory does not build in csharp grade with commit 0d667a7 |
| | | 0000476 | 1 | 1 |
Bug | minor | resolved (zs) | 2019-04-08 | Compiler aborts during typeclass check |
| | | 0000475 | | |
Feature Request | minor | assigned (zs) | 2019-02-04 | flatten maybe output args across calls |
| | | 0000473 | 2 | |
Bug | minor | resolved (wangp) | 2018-11-19 | JS sources should be included for minified files in scripts/ |
| | | 0000474 | 1 | |
Bug | major | new | 2018-11-18 | Mercury cannot be installed, compiler crashes |
| | | 0000472 | 3 | |
Bug | minor | resolved (zs) | 2018-11-17 | Touching a .m file does not rebuild other modules that may depend on C foreign code that is opt-exported from that module |
| | | 0000458 | 1 | |
Feature Request | minor | resolved (zs) | 2018-10-03 | optimize unify and compare for packed arguments |
| | | 0000471 | | |
Bug | minor | new | 2018-09-22 | float rounding |
| | | 0000408 | 3 | |
Feature Request | minor | resolved | 2018-09-22 | make_temp and make_temp_directory should not throw exceptions |
| | | 0000435 | 1 | |
Bug | minor | resolved (wangp) | 2018-09-22 | Old workaround in runtime causes compilation warnings |
| | | 0000469 | 1 | |
Bug | major | resolved (wangp) | 2018-09-19 | mercury-srcdist-rotd-2018-09-11 compile failed on MinGW64 (Win10 64bit) |
| | | 0000470 | 1 | |
Bug | major | resolved (wangp) | 2018-09-16 | mercury-srcdist-rotd-2018-09-11 compile failed on Linux (Ubuntu and Archlinux) |
| | | 0000467 | 2 | |
Feature Request | minor | new | 2018-09-07 | compiling with -Wuninitialized or -Wmaybe-uninitialized |
| | | 0000468 | 2 | |
Bug | minor | resolved (zs) | 2018-09-03 | free argument packed with other argument uses uninitialised variable |
| | | 0000464 | 1 | |
Bug | minor | resolved (wangp) | 2018-08-19 | MR_fatal_error should not read errno |
| | | 0000460 | | |
Bug | minor | resolved (wangp) | 2018-08-09 | failure of hard_coded/thread_barrier_test in asm_fast.par.gc |
| | | 0000426 | 1 | 1 |
Bug | minor | new | 2018-08-09 | Tabling broken on 32-bit Cygwin |
| | | 0000281 | 2 | |
Bug | minor | resolved | 2018-08-08 | Tabling test case failures |
| | | 0000466 | | |
Bug | minor | new | 2018-07-29 | Test failures in asm_fast.par.gc.stseg |
| | | 0000465 | | |
Bug | trivial | new | 2018-07-27 | link lib error when compiling hello.m |
| | | 0000463 | 2 | |
Bug | minor | resolved (juliensf) | 2018-07-20 | build failure on Linux when mono 5 is installed |
| | | 0000462 | | 1 |
Feature Request | minor | assigned (zs) | 2018-06-08 | packing notag arguments |
| | | 0000451 | 1 | 1 |
Feature Request | minor | assigned (zs) | 2018-06-08 | unpack packed args only as necessary in field updates |
| | | 0000459 | 1 | |
Bug | minor | resolved (zs) | 2018-05-07 | bootcheck applies stage 2 settings to stage 1 |
| | | 0000457 | 1 | 1 |
Bug | minor | resolved (wangp) | 2018-04-30 | abort on construct_statically in var_locn |
| | | 0000456 | | |
Feature Request | minor | new | 2018-04-26 | structured concurrency |
| | | 0000455 | 2 | 2 |
Bug | minor | resolved (juliensf) | 2018-04-21 | intermodule optimisation with fixed sized integer modules |
| | | 0000445 | 1 | |
Bug | minor | resolved (wangp) | 2018-03-19 | __builtin_bswap16/32 support |
| | | 0000453 | 9 | |
Bug | crash | new | 2018-03-16 | asm_fast does not work with gcc 5.4 |
| | | 0000433 | 6 | |
Bug | minor | acknowledged (pbone) | 2018-03-13 | mmc --make calls programs without full path |
| | | 0000406 | 1 | |
Bug | minor | acknowledged (pbone) | 2018-03-13 | parallelism in standalone java example aborts |
| | | 0000336 | 8 | |
Bug | minor | acknowledged (pbone) | 2018-03-13 | java programs do not wait for all threads to finish |
| | | 0000335 | 2 | |
Bug | minor | acknowledged (pbone) | 2018-03-13 | assertion failure in MR_do_sleep |
| | | 0000333 | 2 | 1 |
Bug | minor | acknowledged (pbone) | 2018-03-13 | MR_num_idle_engines count goes wrong |
| | | 0000295 | 2 | |
Bug | minor | acknowledged (pbone) | 2018-03-13 | io.read_line_as_string/3 and CRLF line endings on Windows |
| | | 0000274 | 1 | |
Bug | minor | acknowledged (pbone) | 2018-03-13 | possibly incorrect purity cast in deep profiler |
| | | 0000163 | 4 | |
Bug | major | acknowledged (pbone) | 2018-03-13 | mdprof_cgi (deep profiler webserver) seems to lock up and leave processes running that should have timed out. |
| | | 0000157 | 2 | |
Bug | minor | acknowledged (pbone) | 2018-03-13 | mtags uninitialised value warnings |
| | | 0000156 | 1 | 1 |
Bug | text | acknowledged (pbone) | 2018-03-13 | Headers in deep profiler clique report are incorrect. |
| | | 0000454 | 7 | 2 |
Bug | minor | resolved (wangp) | 2018-03-13 | arith_int64 failure |
| | | 0000409 | 1 | |
Bug | minor | resolved (wangp) | 2018-03-09 | functor_ho_inst failing on 32-bit |
| | | 0000359 | 4 | 3 |
Bug | minor | new | 2018-03-06 | constrained polymorphic modes |
| | | 0000432 | 1 | |
Feature Request | minor | assigned (zs) | 2018-02-22 | pack constructor arguments in same word as primary tag |
| | | 0000452 | 1 | 1 |
Bug | minor | resolved (zs) | 2018-02-22 | model_det need_bit_vec_check |
| | | 0000449 | 2 | |
Bug | minor | resolved (juliensf) | 2018-02-13 | Switches on uint64s not working in java grade |
| | | 0000450 | | |
Bug | minor | new | 2018-02-13 | tests/invalid/sub_c failing when running tests with -j8 |
| | | 0000448 | | |
Bug | minor | assigned (zs) | 2018-02-07 | singleton warning generation ignores variables in quantifications |
| | | 0000447 | | |
Feature Request | feature | assigned (zs) | 2018-02-06 | direct_arg_switch type representation |
| | | 0000446 | | |
Feature Request | feature | assigned (zs) | 2018-01-30 | smarter comparisons of structures |
| | | 0000444 | 2 | |
Bug | crash | resolved (wangp) | 2018-01-12 | static linking with musl crashes |
| | | 0000434 | 3 | |
Bug | minor | resolved (wangp) | 2018-01-09 | Alpine Linux / musl libc / x86_64 support |
| | | 0000443 | | 1 |
Bug | minor | new | 2017-11-15 | Segmentation fault in high-level C .par.trseg grades |
| | | 0000442 | | |
Bug | minor | new | 2017-11-13 | Building compiler with -j4 and --use-mmc-make fails |
| | | 0000441 | 1 | 1 |
Bug | minor | assigned (zs) | 2017-10-18 | Invalid C code for program in hlc.gc grade |
| | | 0000411 | 3 | 2 |
Bug | major | resolved (wangp) | 2017-08-22 | abstract type not hidden |
| | | 0000440 | | |
Feature Request | minor | new | 2017-08-10 | mdb: tab completion for function symbols |
| | | 0000439 | | 1 |
Bug | minor | new | 2017-08-06 | cannot build module which imports empty nested sub-module |
| | | 0000437 | 1 | 1 |
Bug | minor | resolved (zs) | 2017-08-06 | abort on empty nested sub-module |
| | | 0000438 | | 1 |
Bug | minor | new | 2017-08-05 | partial module qualification of use_module imported entity |
| | | 0000410 | 1 | 1 |
Bug | minor | resolved (zs) | 2017-06-17 | Syntax error causes compiler abort |
| | | 0000436 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2017-05-03 | unknown constructor in foreign_enum |
| | | 0000431 | 4 | 1 |
Bug | minor | resolved (juliensf) | 2017-03-06 | Install fails during make install of java grade in rotd-2017-02-22 |
| | | 0000430 | 1 | |
Bug | minor | resolved (juliensf) | 2017-01-29 | optional underscores in numeric literals |
| | | 0000429 | 1 | 1 |
Bug | minor | resolved (zs) | 2017-01-20 | cse causes switch to be reported as non-switch |
| |  | 0000428 | | 1 |
Bug | major | new | 2016-10-25 | standalone_c complains about return value 0 (OK) from main/2. |
| | | 0000427 | | |
Bug | minor | assigned (juliensf) | 2016-10-23 | Use of long and unsigned long in C runtime code |
| | | 0000425 | 1 | |
Bug | minor | resolved (zs) | 2016-10-10 | mmc --make loop on wrongly named module |
| | | 0000424 | 2 | |
Bug | minor | resolved (wangp) | 2016-10-07 | error creating temporary file with --restricted-command-line |
| | | 0000418 | 8 | 2 |
Bug | minor | resolved (wangp) | 2016-10-07 | io error exceptions not working |
| | | 0000346 | 5 | |
Bug | minor | resolved (wangp) | 2016-10-06 | non-ANSI functions in header files |
| | | 0000422 | 1 | |
Bug | minor | new | 2016-10-04 | Intermittent runtime aborts in parallel conjunction tests |
| | | 0000404 | 4 | |
Bug | minor | resolved (zs) | 2016-10-03 | mmc --rebuild not working |
| | | 0000357 | 6 | |
Bug | minor | resolved (juliensf) | 2016-10-03 | Parallel conjunction broken on OS X |
| | | 0000421 | 1 | |
Bug | minor | assigned (zs) | 2016-10-02 | Code generator aborts in parallel conjunction tests |
| | | 0000398 | 3 | |
Bug | minor | resolved (juliensf) | 2016-09-28 | mercury_compile.exe fails to link on Cygwin64 / MinGW64 with GCC 4.9.X |
| | | 0000419 | 3 | |
Feature Request | minor | new | 2016-09-21 | cannot write floats in break point conditions |
| | | 0000420 | 1 | 1 |
Bug | major | resolved (wangp) | 2016-09-19 | try goals lost in .opt files |
| | | 0000417 | | |
Bug | minor | new | 2016-09-06 | new_arg_ref may return interior pointer |
| | | 0000416 | | |
Bug | crash | new | 2016-08-31 | mutable thread_local java backend missing initialValue() |
| | | 0000415 | 1 | 1 |
Bug | minor | resolved (zs) | 2016-08-30 | Segmentation fault during mode checking |
| | | 0000075 | 1 | |
Bug | minor | resolved (wangp) | 2016-08-28 | better treatment of absolute pathnames |
| | | 0000414 | 3 | 1 |
Bug | minor | resolved (zs) | 2016-07-29 | The switch detection fails to detect this switch |
| | | 0000196 | 5 | |
Bug | minor | resolved (juliensf) | 2016-07-17 | Binary compatibility checks in C grades don't work. |
| | | 0000412 | 1 | 1 |
Bug | minor | resolved (zs) | 2016-07-17 | compiler does not report some unused imported modules |
| | | 0000091 | 3 | 2 |
Bug | major | resolved (juliensf) | 2016-07-01 | compiler throws exception in hlc.gc |
| | | 0000214 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2016-06-30 | confusing type error |
| | | 0000184 | 1 | |
Bug | crash | resolved (juliensf) | 2016-06-30 | Unresolved polymorphism in typeclass crashes mmc |
| |  | 0000036 | 1 | 1 |
Bug | major | new | 2016-06-23 | another tabling bug with the high-level C backend |
| | | 0000407 | 1 | |
Bug | minor | resolved (juliensf) | 2016-06-22 | Exception.getMessage can return null |
| | | 0000326 | 3 | |
Feature Request | feature | resolved (wangp) | 2016-04-04 | disable rpath |
| | | 0000373 | 2 | |
Bug | minor | new | 2016-02-24 | string.to_float imprecisely specified |
| | | 0000405 | 5 | |
Bug | minor | confirmed | 2016-02-23 | Compiler Software Exception in Certain Projects |
| | | 0000403 | 1 | |
Bug | minor | assigned (juliensf) | 2016-02-18 | Normal termination of a program in the Java grade does not flush stdout |
| | | 0000402 | 1 | 1 |
Bug | minor | resolved (zs) | 2016-01-10 | state variables not supported in require_complete_switch scope heads |
| | | 0000400 | | 1 |
Bug | minor | new | 2015-12-16 | ROTDs can no longer compile extras/trailed_update |
| | | 0000388 | 3 | 2 |
Bug | minor | resolved (juliensf) | 2015-12-14 | Inconsistent permissions on library jar files |
| | | 0000399 | 1 | 2 |
Bug | minor | assigned (juliensf) | 2015-12-14 | race condition on Windows when comparing a file to itself. |
| | | 0000115 | 3 | 1 |
Bug | minor | resolved (juliensf) | 2015-11-30 | segfault for predicate names containing multibyte utf8 char |
| | | 0000010 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2015-11-29 | :- pragma source_file ignored for warnings about unused imports in the interface. |
| | | 0000050 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-11-15 | another compiler abort when using debug grades |
| | | 0000017 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-11-11 | no error for unknown types in interface if defined in implementation |
| | | 0000264 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-11-02 | function mode lost without warning |
| | | 0000232 | | |
Bug | minor | resolved (pbone) | 2015-11-02 | The thread pinning code in the parallel runtime doesn't work on older Linux systems. |
| | | 0000086 | 1 | |
Bug | minor | resolved (juliensf) | 2015-11-02 | Uncaught mode error leads to crash in codegen.m |
| | | 0000191 | 5 | 3 |
Bug | minor | resolved (juliensf) | 2015-11-02 | indirect instance implementations ignore special insts |
| | | 0000187 | 2 | 1 |
Bug | minor | confirmed (juliensf) | 2015-10-31 | Strange error with disjunctive definitions returning existential typeclass instance |
| | | 0000117 | 4 | 2 |
Bug | minor | resolved (juliensf) | 2015-10-31 | No error message for false non_empty_list declaration; runtime segfault |
| | | 0000318 | 4 | 1 |
Bug | minor | resolved (zs) | 2015-10-29 | pragma foreign_type depends on item order |
| | | 0000278 | 4 | 1 |
Bug | minor | resolved (zs) | 2015-10-29 | Compiler crash from bad state variable use. |
| | | 0000397 | 3 | |
Bug | minor | resolved (wangp) | 2015-10-20 | Clang fails to deal with -R command line parameter |
| | | 0000395 | | |
Bug | minor | resolved (wangp) | 2015-10-20 | non tail recursion in lexer.m |
| | | 0000396 | 1 | |
Bug | minor | resolved (wangp) | 2015-10-20 | non tail recursion in prog_io.m |
| | | 0000394 | 1 | |
Bug | minor | resolved (juliensf) | 2015-10-14 | Building compiler with --use-mmc-make broken (rotd-2015-09-18) |
| | | 0000389 | 1 | |
Feature Request | minor | resolved (wangp) | 2015-09-30 | aligned_pointer foreign type assertion |
| | | 0000391 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-09-18 | trace conditions lost in .opt files |
| | | 0000393 | 1 | |
Bug | minor | resolved (zs) | 2015-09-18 | #line directives in .mh cause unnecessary recompilations |
| | | 0000363 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-08-23 | misleading error message for missing comma in foreign_proc attribute list |
| | | 0000392 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-08-17 | compiler abort with deforestation |
| | | 0000390 | | |
Bug | minor | new | 2015-08-05 | MR_ALLOC_ID visibility |
| | | 0000385 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2015-07-22 | mercury_compile.exe crashes during compilation of large fact table on MinGW/MSYS |
| | | 0000381 | 1 | 1 |
Bug | major | new | 2015-07-15 | Compiler deals poorly with '.' character constants. |
| | | 0000339 | 10 | 1 |
Bug | major | resolved (juliensf) | 2015-07-14 | mmc --java with Oracle Java 1.8.0 fails on Windows |
| | | 0000293 | 3 | |
Bug | minor | resolved (juliensf) | 2015-07-08 | asm_fast grades do not work with GCC 4.8 |
| | | 0000348 | 5 | |
Bug | minor | resolved (juliensf) | 2015-07-08 | Failure of tests/general/string_format_special_floats with MSVC |
| | | 0000280 | 3 | |
Bug | minor | resolved (juliensf) | 2015-07-07 | Parser stack overflow with MSVC |
| | | 0000387 | 6 | 2 |
Bug | major | new | 2015-07-07 | Polymorphism pass miscompiles some try goals. |
| | | 0000386 | 5 | |
Bug | major | resolved (juliensf) | 2015-07-01 | rotd-2015-03-24 and following broken |
| | | 0000384 | 2 | |
Bug | minor | resolved (zs) | 2015-04-02 | Stage 1 compiler directory fails in hlc.gc grade with syntax errors in optimisation interfaces |
| | | 0000383 | 1 | 2 |
Bug | minor | resolved (zs) | 2015-03-25 | Program behaviour changes when trie string switches are used |
| | | 0000382 | 3 | 1 |
Bug | crash | resolved (zs) | 2015-03-16 | arg-pack-bits optimisation broken with foreign_enums. |
| | | 0000380 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-02-28 | mercury_string.h not always included in high-level C grades |
| | | 0000366 | | |
Bug | minor | resolved (wangp) | 2015-02-20 | enable inst_matches_final_bug and ho_default_func_4 |
| | | 0000377 | 1 | |
Bug | minor | feedback (juliensf) | 2015-02-19 | Debugger doesn't have help installed. |
| | | 0000378 | 1 | 1 |
Bug | minor | new | 2015-02-19 | Cannot access library source files when debugging |
| | | 0000379 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2015-02-19 | GCC 4.9.2 Giving Error |
| | | 0000376 | 4 | |
Bug | minor | resolved (wangp) | 2015-02-17 | base_string_to_int ignores overflow unless base 10 |
| | | 0000368 | 1 | |
Bug | minor | resolved (zs) | 2015-02-08 | Table reset predicates not generated in Erlang grade |
| | | 0000375 | 2 | 1 |
Bug | major | new | 2015-01-21 | io.seek_binary_output(Stream, set, 32, Out3, Out4), % rec1 NOT working |
| | | 0000374 | 1 | |
Bug | crash | assigned (juliensf) | 2015-01-15 | rotd-2015-01-13 fails to install with mingw64 |
| | | 0000372 | | |
Bug | minor | new | 2015-01-05 | Finalisers run after main/2 throws an exception. |
| | | 0000370 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-01-03 | unused module imports and string.format |
| | | 0000371 | 1 | 1 |
Bug | major | resolved (zs) | 2014-12-23 | can't locate string.format.format_signed_int_component_nowidth_noprec/3 |
| | | 0000369 | 2 | 2 |
Bug | crash | resolved (zs) | 2014-12-16 | Software Error: hlds.pred_table: predicate `hlds.pred_table.lookup_builtin_pred_proc_id'/8: Unexpected: can't locate put/5 |
| | | 0000367 | 1 | |
Bug | minor | resolved (zs) | 2014-12-03 | array binary search predicates use builtin.compare |
| | | 0000181 | 1 | |
Bug | minor | resolved (pbone) | 2014-12-02 | Feedback framework uses partial instationation which is not well supported. |
| | | 0000365 | | |
Bug | minor | new | 2014-10-20 | hard_coded/parse test failes in asm_fast.gc.par.stseg with libhwloc |
| | | 0000231 | 1 | 2 |
Bug | trivial | new | 2014-10-09 | No way to specify instantiatedness of char type |
| | | 0000364 | 1 | 1 |
Bug | minor | resolved (pbone) | 2014-10-07 | Autoparallelisation analysis crashes on nondet disjunctions. |
| | | 0000296 | 1 | |
Bug | minor | new | 2014-10-05 | ui mode and multiple clauses |
| | | 0000361 | 1 | 1 |
Bug | minor | resolved (zs) | 2014-09-16 | Compiler abort with loose determinism decl. and pragma loop_check |
| | | 0000362 | 2 | 1 |
Bug | minor | new | 2014-09-16 | Program cause compiler to abort in mmos grades (but not mmsc) |
| | | 0000041 | 2 | |
Bug | minor | resolved (juliensf) | 2014-09-02 | unclear error message in case the end_module declaration differs from the :- module description |
| | | 0000352 | 2 | 1 |
Bug | minor | assigned (zs) | 2014-09-01 | tabled_for_io with Mercury descendants |
| | | 0000146 | 1 | |
Bug | minor | assigned (juliensf) | 2014-09-01 | inf and Nan |
| | | 0000356 | 7 | |
Bug | crash | new | 2014-08-31 | mmc exception thrown from instmap.m line 600 |
| | | 0000354 | 5 | 1 |
Bug | minor | resolved (zs) | 2014-08-30 | Building mercury_cairo fails in version 14.01 |
| | | 0000355 | | |
Feature Request | minor | new | 2014-08-29 | it would be nice to be able to defer type errors till runtime |
| | | 0000350 | 4 | |
Bug | minor | resolved (wangp) | 2014-08-25 | winpthreads support |
| | | 0000353 | | |
Bug | minor | assigned (wangp) | 2014-08-19 | misuse of tabled_for_io in the standard library |
| | | 0000351 | 4 | 1 |
Bug | minor | resolved (zs) | 2014-08-12 | abort compiling integer.m with parallel conjunction |
| | | 0000349 | 1 | |
Bug | minor | new | 2014-07-28 | io stream predicates thread-safe or not |
| | | 0000345 | 3 | |
Bug | minor | new | 2014-07-14 | name mangling produces very long symbols |
| | | 0000125 | 5 | |
Bug | minor | resolved (wangp) | 2014-07-10 | thread.spawn should spawn OS thread in low-level C grades |
| | | 0000003 | 4 | |
Bug | minor | resolved (wangp) | 2014-07-10 | deep profiler bug with unify/compare for tuples |
| | | 0000344 | 1 | |
Bug | minor | new | 2014-07-05 | Cannot find files when compiling with --debug option |
| | | 0000334 | 1 | |
Bug | major | resolved (pbone) | 2014-06-30 | Low level C parallel grades crash with libc6 > 2.19.x and newer Intel processors |
| | | 0000340 | 1 | |
Bug | minor | resolved (wangp) | 2014-06-25 | strerror not thread-safe |
| | | 0000338 | | |
Bug | minor | resolved (wangp) | 2014-06-25 | asm_fast.par.gc programs crash on Windows |
| | | 0000342 | 5 | 1 |
Bug | major | resolved (juliensf) | 2014-06-25 | string.format broken in non-C grades |
| | | 0000341 | 1 | |
Bug | minor | resolved (juliensf) | 2014-06-24 | MingW32 Build Errors |
| | | 0000337 | | |
Bug | minor | new | 2014-06-20 | csharp stream problems |
| | | 0000330 | 10 | 1 |
Bug | minor | resolved (zs) | 2014-05-27 | slice directory does not build in debugging grade |
| | | 0000322 | 4 | 1 |
Bug | minor | new | 2014-05-15 | mingw-w64 compiled program crashes |
| | | 0000329 | 2 | 1 |
Bug | crash | resolved (juliensf) | 2014-05-13 | Uncaught Mercury exception: |
| | | 0000327 | 7 | |
Bug | minor | resolved (juliensf) | 2014-05-13 | incorrect binutils used with mingw64 |
| | | 0000328 | 3 | |
Bug | tweak | new | 2014-05-01 | dir.foldl2 should be called dir.fold2 |
| | | 0000323 | 2 | 1 |
Bug | minor | new | 2014-04-03 | Matching on adts makes and instantiation state subtyping is impossible. |
| | | 0000303 | 8 | |
Bug | minor | resolved (juliensf) | 2014-03-04 | Installation of java grade fails on Windows 7 / MinGW for 13.05.2-beta-2013-10-31 |
| | | 0000320 | 1 | 1 |
Bug | minor | feedback (juliensf) | 2014-02-21 | instantiation states and "unused module import" warnings do not interact properly. |
| | | 0000089 | 1 | 1 |
Bug | minor | assigned (juliensf) | 2014-02-21 | existentially quantified data constructors and inst subtyping do not work together |
| | | 0000317 | 6 | 2 |
Bug | major | resolved (juliensf) | 2014-02-10 | :- pragma memo(findLngCmnSubsqStck/3). WORKING; not sure how to do static Asymptotic analysis |
| | | 0000316 | 1 | 1 |
Bug | major | resolved (juliensf) | 2014-02-05 | Declared `det', inferred `semidet'. --- [H|T] first argument input |
| | | 0000315 | 2 | 3 |
Bug | major | new | 2014-02-01 | Software Error: detected need for minimal model in pred rodcut.r_n/3 |
| | | 0000302 | 9 | 1 |
Bug | block | resolved (zs) | 2014-01-31 | can't bootcheck in asm_fast.gc.debug.stseg |
| | | 0000311 | 4 | 2 |
Bug | minor | assigned (zs) | 2014-01-28 | Gathering solutions depends on how predicate is programmed |
| | | 0000098 | 5 | 1 |
Bug | minor | new | 2014-01-28 | compiler throws exception with --profile-for-implicit-parallelism |
| | | 0000307 | 4 | |
Bug | minor | resolved (juliensf) | 2014-01-10 | internal compiler error in assign_by_spills during make install of mercury |
| | | 0000306 | 1 | 1 |
Bug | minor | confirmed (juliensf) | 2014-01-08 | Java grade and non alphabetic field name |
| | | 0000165 | | |
Bug | minor | new | 2014-01-08 | java backend generates invalid code for contrived type |
| | | 0000301 | 1 | 1 |
Bug | minor | resolved (wangp) | 2013-10-29 | incorrect handling of deconstructions in float_reg.m pass |
| | | 0000299 | 4 | 1 |
Bug | minor | resolved (wangp) | 2013-10-29 | unaligned memory access for unboxed doubles |
| | | 0000294 | 7 | 1 |
Bug | major | resolved (pbone) | 2013-09-29 | GCC 4.6 and 4.7 break asm_fast.par grades |
| | | 0000298 | | 2 |
Bug | minor | new | 2013-09-16 | missing .mh include |
| | | 0000051 | 1 | 1 |
Bug | minor | resolved (wangp) | 2013-09-09 | abort during liveness detection |
| | | 0000297 | 2 | 1 |
Bug | major | resolved (wangp) | 2013-09-04 | compile-time evaluation of typed_unify changes behaviour |
| | | 0000292 | 4 | 1 |
Bug | major | resolved (juliensf) | 2013-07-12 | 'make install' fails on missing dependency (bryant.h) for robdd.m |
| | | 0000291 | | |
Bug | minor | new | 2013-07-02 | HLDS dumps don't contain clauses unless --dump-hlds-options=x is also given |
| | | 0000285 | 3 | |
Bug | tweak | new | 2013-06-28 | Mode error is misleading |
| | | 0000288 | 3 | 2 |
Bug | minor | resolved (juliensf) | 2013-06-24 | Some mercury binary files are built without respecting LDFLAGS |
| | | 0000287 | 4 | |
Bug | minor | resolved (juliensf) | 2013-06-05 | configure requires m4 |
| | | 0000259 | 4 | 4 |
Feature Request | minor | new | 2013-06-04 | Impossible to override /lib dir with /lib64 etc |
| | | 0000222 | 2 | |
Bug | minor | resolved (juliensf) | 2013-05-28 | mmc can't compile csharp grade without --make under mingw |
| | | 0000183 | 1 | |
Bug | minor | resolved (juliensf) | 2013-05-22 | --warn-dead-procs should not warn about foreign-exported procs. |
| | | 0000262 | 1 | |
Bug | minor | new | 2013-05-22 | Mercury doesn't compile on NetBSD |
| | | 0000161 | 6 | |
Bug | major | assigned (juliensf) | 2013-05-21 | Calling io.seen/2 twice in a row can crash the runtime with a segfault. |
| | | 0000257 | 3 | |
Bug | minor | resolved (juliensf) | 2013-05-21 | require_complete_switch var does not appear in sub-goal |
| | | 0000263 | 3 | 2 |
Bug | crash | resolved (juliensf) | 2013-05-17 | Segmentation fault: not enough memory when invoking solutions/2 |
| | | 0000282 | | |
Bug | minor | new | 2013-05-06 | GNU-specific regexps in test filters |
| | | 0000253 | 1 | |
Feature Request | minor | resolved (juliensf) | 2013-04-12 | MS C# compiler should be invoked with -nologo |
| | | 0000279 | 1 | |
Bug | minor | resolved (juliensf) | 2013-04-11 | make install from stage 2 dir does not work with csharp grade |
| | | 0000277 | 1 | |
Bug | major | resolved (wangp) | 2013-03-20 | float bugs on 64-bit if built with pregenerated C sources |
| | | 0000203 | 8 | 2 |
Bug | minor | resolved (wangp) | 2013-03-18 | Problem with DESTDIR and Darwin |
| | | 0000276 | | 2 |
Bug | minor | new | 2013-02-27 | io.call_system/4 inconsistency between C and Java grades |
| | | 0000275 | 4 | |
Bug | minor | resolved (wangp) | 2013-02-20 | hidden symbol pthread_atfork |
| | | 0000226 | 15 | |
Bug | tweak | resolved (juliensf) | 2013-01-08 | lazy.read_if_val unsound |
| | | 0000261 | 3 | |
Bug | major | resolved (juliensf) | 2013-01-07 | building mdbcomp in C# grade attempts to link with non-existant mer_rt.dll |
| | | 0000272 | | 1 |
Bug | major | new | 2013-01-04 | The polymorphism pass can generate mode-incorrect code. |
| | | 0000270 | 3 | 1 |
Bug | crash | confirmed (juliensf) | 2012-12-31 | When one uses fact_table, the mercury compiler crashes if there is an error in the fact_table. |
| | | 0000266 | 2 | |
Bug | trivial | assigned (juliensf) | 2012-12-07 | --no-warn-missing-det-decls doesn't exist |
| | | 0000269 | 2 | 1 |
Bug | minor | resolved (wangp) | 2012-12-07 | unicode path handling in dir module |
| | | 0000265 | 1 | 2 |
Bug | minor | new | 2012-12-07 | long path handling in io module |
| | | 0000268 | | |
Bug | crash | resolved (juliensf) | 2012-12-04 | Typo in :- end_module declaration leads to compiler crash. |
| | | 0000193 | 2 | 1 |
Bug | tweak | confirmed | 2012-07-06 | --introduce-accumulators doesn't recognize "promise all" containing type annotation |
| | | 0000258 | 2 | |
Bug | major | resolved (juliensf) | 2012-06-23 | csharp grade is broken with rotd-2012-06-19 |
| | | 0000255 | 12 | 3 |
Bug | major | resolved (juliensf) | 2012-06-19 | build fails on OS X 10.4.11 PowerPC |
| | | 0000250 | 4 | 1 |
Bug | minor | resolved (wangp) | 2012-05-10 | GCC warnings: used but never defined |
| | | 0000254 | 1 | |
Bug | minor | resolved (juliensf) | 2012-03-02 | HTTP download links for 11.07.1 return 403 forbidden error |
| | | 0000174 | 1 | |
Bug | minor | resolved (pbone) | 2012-02-13 | documentation for extras/lazy_evaluation is out-of-date |
| | | 0000200 | 1 | |
Bug | minor | resolved (juliensf) | 2012-02-13 | csharp grade does not install on Cygwin with Mono |
| | | 0000252 | 2 | |
Bug | minor | assigned (juliensf) | 2012-02-13 | mmc --make doesn't respect the -j flag when building the .cs, .javas or .css target |
| | | 0000251 | 1 | 1 |
Bug | trivial | resolved (zs) | 2012-01-30 | eqvclass.ensure_equivalence(X, X) causes exception |
| | | 0000248 | 1 | |
Bug | tweak | resolved (juliensf) | 2012-01-18 | Inconsistent argument ordering of singleton_set |
| | | 0000249 | | |
Bug | minor | new | 2011-12-14 | --dump-mlds does not work for non-C grades |
| | | 0000246 | 1 | 1 |
Bug | major | assigned (zs) | 2011-12-14 | HLDS->MLDS code generator abort |
| | | 0000242 | 1 | |
Bug | minor | resolved (wangp) | 2011-12-14 | filename encoding |
| | | 0000245 | 4 | 1 |
Bug | crash | resolved (juliensf) | 2011-12-13 | [Java, 11.07-beta-2011-12-06] crashes with ClassCastException |
| | | 0000247 | | |
Bug | minor | new | 2011-12-12 | declarative debugger aborts |
| | | 0000244 | 2 | 1 |
Bug | minor | feedback (zs) | 2011-12-10 | Re-entering partially memoized multi/nondet predicate causes spurious loop exception |
| | | 0000211 | 4 | |
Bug | minor | resolved (wangp) | 2011-12-09 | single-precision float grades broken on 64-bit |
| | | 0000240 | 8 | 1 |
Bug | major | resolved (wangp) | 2011-12-09 | float unboxing issue on MinGW |
| | | 0000243 | 1 | |
Bug | minor | resolved (juliensf) | 2011-12-07 | Memory zone leak on Windows |
| | | 0000235 | 1 | |
Bug | minor | resolved (juliensf) | 2011-12-05 | java grade does not respect --restricted-command-line |
| | | 0000239 | 2 | 2 |
Bug | minor | new | 2011-12-05 | Aliasing of partially instantiated structures in solutions.* predicates |
| | | 0000241 | 1 | 1 |
Bug | trivial | resolved (juliensf) | 2011-12-04 | require_semidet doesn't parse |
| | | 0000234 | 2 | |
Bug | minor | resolved (juliensf) | 2011-12-03 | java grade does not compile with Java SE 7 |
| | | 0000238 | 4 | 1 |
Bug | crash | resolved (zs) | 2011-12-01 | Unexpected: determinism errors when compiling with --constraint-propagation |
| | | 0000227 | 1 | |
Bug | minor | resolved (zs) | 2011-11-28 | det scope unchecked in lambda expression |
| | | 0000237 | 1 | 1 |
Bug | minor | resolved (zs) | 2011-11-28 | Strange interaction b/w typeclasses and promise_equivalent_solutions |
| | | 0000236 | 2 | |
Bug | text | new | 2011-11-28 | Documentation for unsorted_aggregate incorrect (trivial) |
| | | 0000233 | 1 | |
Bug | minor | resolved (pbone) | 2011-11-24 | Parallel run-time system crashes. |
| | | 0000229 | 1 | 1 |
Bug | crash | resolved (wangp) | 2011-11-24 | problem with static data on high-level C grades |
| | | 0000230 | 2 | 1 |
Bug | major | resolved (wangp) | 2011-11-23 | submodules inconsistently compiled with direct arg functors |
| | | 0000228 | 12 | |
Bug | major | resolved (juliensf) | 2011-11-14 | library/lexer.c cannot be compiled with MSVC |
| | | 0000199 | | |
Bug | minor | resolved (wangp) | 2011-11-11 | unboxed floats for high-level code |
| | | 0000225 | 5 | 1 |
Bug | tweak | new | 2011-11-04 | Module-level mutable with type "semaphore" causes hlc grade compilation to break. |
| | | 0000223 | 3 | |
Bug | minor | resolved (wangp) | 2011-11-03 | thread.mvar.init/0 and thread.semaphore.init/1 should be marked impure |
| | | 0000224 | 3 | 2 |
Bug | minor | new | 2011-10-25 | STM broken without --inline-compound-threshold 10 --loop-invariants |
| | | 0000212 | 1 | |
Bug | trivial | resolved (juliensf) | 2011-10-25 | Documentation of --no-warn-undefined-options-variables is actually for --warn-undefined-options-variables |
| | | 0000221 | | 1 |
Bug | major | resolved (maclarty) | 2011-10-24 | ho specialization bug |
| | | 0000099 | 1 | |
Bug | minor | resolved (juliensf) | 2011-10-09 | Incorrect command-line options for Visual Studio |
| | | 0000220 | 2 | 2 |
Bug | minor | new | 2011-10-05 | Termination analysis produces spurious "termination constant of infinity" errors |
| | | 0000172 | 2 | |
Bug | minor | assigned (juliensf) | 2011-10-05 | Building library in asm_fast.gc.debug aborts on FreeBSD 8.1 |
| | | 0000219 | | 2 |
Bug | minor | assigned (maclarty) | 2011-09-26 | declarative debugger abort |
| | | 0000218 | 2 | |
Bug | feature | new | 2011-09-26 | Feature request: mdb commands for working with common data structures. |
| | | 0000217 | 1 | 1 |
Bug | major | resolved (juliensf) | 2011-09-21 | Can't compile simple program |
| | | 0000207 | 5 | 1 |
Bug | major | resolved (zs) | 2011-09-06 | tree_bitset.difference bug |
| | | 0000216 | 1 | |
Bug | minor | resolved (zs) | 2011-09-06 | hlc grade generates empty structs in static data |
| | | 0000215 | 1 | |
Bug | text | resolved (juliensf) | 2011-09-05 | Documentation of assoc_list.filter/4 is missing the TrueList argument |
| | | 0000173 | 1 | |
Bug | minor | resolved (juliensf) | 2011-08-19 | man pages for 10.04.2 contain string "Error reading options file" |
| | | 0000210 | 1 | |
Bug | text | resolved (juliensf) | 2011-08-19 | Language Reference confuses maybeskel and listskel in "Insts, modes, and mode definitions" |
| | | 0000209 | 1 | |
Bug | minor | resolved (wangp) | 2011-08-01 | java grade broken in rotd-2011-07-31 |
| | | 0000205 | 1 | |
Bug | text | resolved (juliensf) | 2011-07-23 | Documentation of array.foldr2 references non-existent list.foldr2 |
| | | 0000206 | 1 | |
Bug | text | resolved (juliensf) | 2011-07-23 | User's guide has incorrect short option name for mtc --output-file |
| | | 0000204 | | 1 |
Bug | minor | resolved (wangp) | 2011-07-13 | Generated code seg faults |
| | | 0000202 | 1 | |
Bug | minor | resolved (juliensf) | 2011-07-11 | Test failures in profdeep grades |
| | | 0000136 | 1 | |
Bug | minor | confirmed | 2011-07-04 | hard_coded/impl_def_literal fails with -O5 --intermodule optimization |
| | | 0000201 | | |
Bug | crash | new | 2011-06-11 | tests/par_conj/cosume_wait blocks before exiting. |
| | | 0000198 | 3 | |
Bug | text | resolved (juliensf) | 2011-05-19 | event is a keyword but not mentioned in documentation |
| | | 0000197 | 1 | 1 |
Bug | minor | resolved (zs) | 2011-05-16 | abort in state variable transformation |
| | | 0000194 | 2 | 2 |
Bug | minor | confirmed | 2011-05-13 | Optimizations -O4 to -O6 causing wrong answer |
| | | 0000188 | | 1 |
Bug | minor | resolved (wangp) | 2011-05-03 | structure-reuse and intermod-opt breaks type_list_subsumes |
| | | 0000195 | 1 | |
Bug | tweak | confirmed | 2011-04-07 | mmc --java ignores -o option |
| | | 0000192 | | |
Bug | feature | new | 2011-03-23 | State variable record notation enhancement |
| | | 0000190 | 4 | 1 |
Bug | minor | resolved (juliensf) | 2011-03-18 | solver type constraint_store declaration has trouble unifying imported types |
| | | 0000189 | 1 | |
Bug | minor | resolved (juliensf) | 2011-03-16 | foreign_enum is not 64-bit safe |
| | | 0000103 | 1 | 1 |
Bug | minor | resolved (zs) | 2011-03-08 | bug in lcmc transformation |
| | | 0000186 | 1 | 2 |
Bug | minor | new | 2011-02-22 | abort when --infer-all is enabled |
| | | 0000185 | 5 | |
Bug | major | confirmed | 2011-02-16 | Cannot make typeclass instance for parameterised equivalence type |
| | | 0000182 | | |
Bug | minor | new | 2011-02-02 | Segfaults could be reported better. |
| | | 0000177 | 3 | |
Bug | minor | new | 2011-01-19 | incorrect C# code generated when compiling extras/moose |
| | | 0000179 | 1 | |
Bug | minor | resolved (wangp) | 2011-01-18 | csharp grade library compilation failure on MinGW / MSYS with MS C# compiler |
| | | 0000178 | | |
Bug | tweak | new | 2011-01-12 | browser/browser_test.m does not compile. |
| | | 0000176 | 1 | |
Bug | minor | resolved (juliensf) | 2010-12-20 | incorrect install names on Mac OS X with mmake |
| | | 0000175 | 1 | |
Bug | minor | resolved (juliensf) | 2010-12-16 | incorrect foreign_decl pragmas in ODBC binding |
| | | 0000119 | 2 | |
Bug | minor | resolved (pbone) | 2010-12-13 | par_conj/consume_wait test is failing in low-level C parallel grades. |
| | | 0000170 | 3 | |
Bug | minor | resolved (zs) | 2010-11-30 | stage 2 ssdb build failure on goliath |
| | | 0000169 | | 1 |
Bug | minor | new | 2010-11-15 | Lambda predicates do not allow references to existing variables in the head |
| | | 0000168 | | |
Bug | minor | new | 2010-11-08 | prototypes of C functions used in io module not visible |
| | | 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 |
| | | 0000105 | 1 | |
Bug | minor | resolved (wangp) | 2009-10-06 | hl.gc grade is broken |
| | | 0000107 | 1 | |
Bug | minor | resolved (wangp) | 2009-09-24 | undefined kill function while link mercury compiler under mingw |
| | | 0000093 | 3 | 1 |
Bug | minor | resolved (zs) | 2009-09-22 | large ground terms optimisation and unique modes |
| | | 0000106 | 3 | 1 |
Bug | major | resolved (juliensf) | 2009-09-22 | Linking with multiple C++ files yields a "duplicate symbol" error |
| | | 0000101 | 4 | |
Bug | major | resolved (juliensf) | 2009-07-28 | Deep profiling of programs compiled against G12 creates currupt Deep.data files. |
| | | 0000095 | 1 | |
Bug | tweak | resolved (rafe) | 2009-06-16 | svset module descriptions don't match declarations. |
| | | 0000097 | | 1 |
Bug | minor | resolved (wangp) | 2009-06-12 | rotd-2009-06-02 generates invalid Erlang code |
| | | 0000083 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2009-04-06 | ambiguous names in foreign_export |
| | | 0000068 | 7 | 2 |
Bug | minor | resolved (wangp) | 2009-03-26 | version_hash_table.delete is buggy |
| | | 0000092 | | 1 |
Bug | minor | new | 2009-03-09 | generated C code contains a block that defines a variable that shadows a headvar in hlc.gc |
| | | 0000088 | | |
Bug | block | new | 2008-11-17 | test_odbc hangs on call to SQLConnect() |
| | | 0000087 | 3 | |
Bug | major | resolved (zs) | 2008-11-03 | Programs compiled in profdeep grade create currupt Deep.data files. |
| | | 0000042 | 4 | 1 |
Bug | minor | resolved (wangp) | 2008-10-22 | bug with LCMC in hlc grades |
| | | 0000085 | 4 | 1 |
Bug | minor | new | 2008-09-23 | stage 1 compiler aborts when compiled with -O5 --intermodule-optimization |
| | | 0000072 | 1 | |
Bug | minor | resolved (petdr) | 2008-09-17 | Erroneous reference to snprintf when compiling mercury_wrapper.c with MSVC |
| | | 0000074 | 2 | 1 |
Bug | crash | confirmed | 2008-09-02 | abstract data types in type classes get garbled on x64 |
| | | 0000082 | 2 | 2 |
Bug | major | resolved (wangp) | 2008-08-27 | Functions returning a wrapped dummy type cause invalid c code to be generated in grade hlc.gc |
| | | 0000081 | | |
Bug | minor | assigned (juliensf) | 2008-08-22 | failure of hard_coded/tl_backjump_test with --intermodule-optimization |
| | | 0000076 | 1 | 1 |
Bug | minor | resolved (wangp) | 2008-08-22 | --make-opt-int incorrectly handles existentially typed methods |
| | | 0000065 | 3 | 2 |
Bug | minor | resolved (wangp) | 2008-08-07 | probable bug in .stseg grades |
| | | 0000069 | 1 | |
Bug | minor | new | 2008-07-23 | Deep profiling tools can have integer overflows. |
| | | 0000063 | | |
Bug | minor | new | 2008-06-26 | mdprof_cgi gets confused about the webserver's port number. |
| | | 0000062 | | |
Bug | minor | resolved (juliensf) | 2008-06-06 | Compiler crashes at bad end_module declaration. |
| | | 0000061 | | 2 |
Bug | minor | new | 2008-06-03 | problem with _init suffix in module names |
| | | 0000055 | 2 | 1 |
Bug | major | confirmed | 2008-06-02 | typeclass instances for e.g. bag(T) no longer work |
| | | 0000056 | 1 | |
Bug | major | resolved (zs) | 2008-05-26 | compiler crashes in decldebug grade |
| | | 0000060 | | 1 |
Bug | minor | new | 2008-04-29 | inconsistent type_infos after type specialisation? |
| | | 0000057 | | |
Bug | minor | assigned (mark) | 2008-04-10 | --common-struct inhibits tail call optimisation |
| | | 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 |
| | | 0000033 | 4 | |
Bug | major | assigned (mark) | 2008-03-26 | Compiler abort when generating low level code |
| | | 0000048 | 6 | 1 |
Bug | minor | resolved (mark) | 2008-03-26 | compiler abort in .decldebug grade |
| | | 0000054 | | |
Bug | minor | assigned (mark) | 2008-03-26 | rtti_varmaps not updated by follow_code |
| | | 0000049 | 3 | 2 |
Bug | minor | new | 2008-03-17 | loop invariant hoisting causes MLDS backend to abort |
| | | 0000043 | 1 | 1 |
Bug | minor | resolved (wangp) | 2008-03-05 | intermod unused args analysis and typeclass constraints |
| | | 0000047 | 1 | 1 |
Bug | minor | new | 2008-02-25 | mutable dependency problem |
| | | 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 |
| | | 0000030 | 3 | 2 |
Bug | minor | resolved (juliensf) | 2008-01-23 | break promise_equivalent_solutions |
| | | 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 |
| | | 0000034 | | 1 |
Bug | minor | new | 2008-01-03 | confusing error message in lambda function (but good message in predicate version) |
| | | 0000032 | | |
Bug | minor | new | 2007-12-14 | loop invariant optimization generates invalid HLDS |
| | | 0000031 | 3 | 4 |
Bug | minor | resolved (juliensf) | 2007-12-10 | modules compilation on 64-bit platform eats too much memory |
| | | 0000004 | 8 | 1 |
Bug | minor | resolved (juliensf) | 2007-12-09 | change in --runtime-flags should rebuild <main>_init.o |
| | | 0000028 | 1 | 1 |
Bug | major | resolved (zs) | 2007-11-19 | Unexpected: adjust_livevals |
| | | 0000027 | 2 | |
Bug | crash | resolved (juliensf) | 2007-11-14 | Type var in instance declaration can cause compiler to crash |
| | | 0000018 | 7 | 1 |
Bug | minor | resolved (juliensf) | 2007-11-08 | inconsistent treatment of true goals with no outputs. |
| | | 0000025 | 1 | 1 |
Bug | crash | confirmed | 2007-11-01 | tabling of predicates with type class constraints causes an internal compiler error |
| | | 0000021 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2007-11-01 | equivalences for solver types lead to badly typed initialisation predicates |
| | | 0000024 | 3 | |
Bug | minor | resolved (juliensf) | 2007-10-31 | Debugger commands inconsistant with help message. |
| | | 0000007 | 1 | 1 |
Bug | minor | feedback | 2007-10-26 | Type ctor module name bug |
| | | 0000022 | | 1 |
Bug | minor | new | 2007-10-23 | compiler abort with memoing, dead proc. elimination and the hlc backend |
| | | 0000011 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2007-10-22 | instance declarations for unknown types accepted in interface |
| | | 0000006 | 1 | 2 |
Bug | minor | assigned (zs) | 2007-10-19 | compiler abort |
| | | 0000005 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2007-10-19 | bad error message for state vars |
| | | 0000016 | 2 | |
Bug | text | resolved (juliensf) | 2007-10-18 | doc: description of float token wrong |
| | | 0000019 | 1 | 2 |
Bug | minor | confirmed | 2007-10-16 | foreign type mutables don't work in high-level C grades |
| | | 0000009 | | 1 |
Bug | minor | new | 2007-10-13 | spurious error message when testing equivalence of equal things |
| | | 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 |
| | | 0000002 | 4 | 1 |
Bug | minor | resolved (petdr) | 2007-10-03 | equivalence types in instance declarations |
| | | 0000001 | 2 | 1 |
Bug | minor | acknowledged | 2007-09-25 | non-instructive error message: 'unused' mode requires explicit lambda expression |
