2024-04-25 18:04 AEST

Mercury Bugs - All Projects

Word 2000 Word View

Viewing Issues ( 1 - 511 )

  PID # Attachment count CategorySeverityStatusUpdatedSummary
 00005731   Bugminorresolved (zs)2024-02-23mmc --make regression remaking .opt files unnecessarily
 000057211 Bugminorresolved (zs)2024-02-20Code generator abort in debugging grades
 0000571 1 Feature Requestminornew2024-02-09Improve unsatisfiable typeclass constraint errors
 0000570 1 Bugcrashassigned (zs)2023-12-13merge switch after switch bug
 000056921 Bugminorresolved (wangp)2023-12-06timestamp regression with nested submodules in mmc --make
 000056811 Bugmajorresolved (zs)2023-12-05nested sub-modules broken in mmc --make
 000056711 Bugmajorresolved (zs)2023-11-08regression due to merging consecutive switches
 00005667   Bugminorresolved (wangp)2023-10-16undefined variable warnings with GNU Make
 00002081   Bugfeatureresolved (juliensf)2023-10-08add help and version command line options to mslice and mdice
 000056321 Bugcrashresolved (zs)2023-09-04type constructor for equivalence type not found
 00005659   Bugmajorassigned (juliensf)2023-09-04Installed mmake cannot build programs
 00004942   Bugminorresolved (juliensf)2023-08-02hard_coded/nonascii fails on Windows
 00001621   Bugminornew2022-10-11No compiler error for a mode involving an instantation state that doesn't match the argument type.
 00001512   Bugtrivialresolved (juliensf)2022-10-11Incorrect documentation for string.unsafe_set_char
 000056411 Bugminornew2022-09-08unnecessary use_module in .opt files
 000056211 Bugminorresolved (zs)2022-08-18performance regression since rotd-2022-05-01
 000055921 Bugminorresolved (zs)2022-08-03Stack overflow in hlc.gc Mercury 22.01.1 compiler on Windows
 0000561 1 Bugminornew2022-06-22Segmentation fault with GCC 12 (Github issue 0000103)
 00005605   Bugcrashnew2022-05-31asm_fast.gc crashes on aarch64 with gcc 10.2
 00005583   Bugmajorresolved (juliensf)2022-04-22The mprof.1 manpage is currupt
 000055711 Bugminorresolved (zs)2022-04-11Ambiguous type causes compiler error without giving a useful error message for debugging
 00005563   Bugminorresolved (zs)2022-04-07Stage 2 compiler does not build with --intermod-opt -O5 and rotd-2022-04-04
 0000555    Feature Requestminornew2022-04-05do not implicitly import modules imported by ancestor modules
 00005541   Bugminorresolved (juliensf)2022-03-29mmake realclean does not remove .dep_err files
 0000553    Feature Requestminornew2022-03-23mmc --make and GNU make jobserver integration
 00005524   Bugminorresolved (zs)2022-03-17Compiler aborts in deep_profiler directory in Java grade with --intermod-opt
 00005492   Bugminornew2022-03-01Segmentation fault building stage 3 dependencies with GCC 9, -O6 and debug grades
 000054721 Bugminornew2022-02-26Test failure: intermittent failure of valid/foreign_import_module
 000054511 Bugminorresolved (zs)2022-02-22Data constructor named "event" results in invalid optimisation interface
 00005511   Bugminorresolved (zs)2022-02-21Information messages refer to non-existent pragma
 00005483   Bugminorresolved (zs)2022-02-12Stage 2 compiler fails in hlc.gc.pregen -O4 bootcheck
 00000081   Bugminornew2022-02-09code hanging in asm_fast.gc.prof
 000054461 Bugminorresolved (zs)2022-02-07Test failure: valid/static causes compiler abort in grade hlc.gc.tr at -O5 and above
 00005461   Feature Requestminornew2022-02-07make io.system_error public
 00005102   Bugcrashfeedback (zs)2022-01-25compiler crash due to missing type definition
 000049911 Bugminorresolved (zs)2022-01-25unqualified type encountered assertion
 00005301   Feature Requestminorresolved (zs)2022-01-25diagnose inapplicable insts in mode declarations
 000052131 Bugminorresolved (zs)2022-01-25Missing error message about an 'undefined type'; misleading error message instead
 00005411   Bugminorresolved (zs)2022-01-25Standard lib compilation aborts in asm_fast.gc.profdeep.stseg with --intermod-opt -O5
 00005421   Bugminorresolved (zs)2022-01-24Test failure: hard_coded/gh72 causes compiler abort at -O5
 00005431   Bugminorresolved (zs)2022-01-24Test failures: hard_coded/backend_external -- invalid C code at -O6
 0000540    Feature Requestminornew2021-11-08making up for not updating insts
 000053941 Bugminorresolved (zs)2021-10-14placing nondummy var which has no state (LCMC)
 000053811 Bugminorresolved (zs)2021-09-13Compiler does not recognise a chained subtype definition
 0000537    Feature Requestfeaturenew2021-08-31unique file handles
 00005362   Bugminornew2021-06-25--track-flags unreliable when invoked quickly
 0000535    Bugminornew2021-06-05Abort during make install with grade hlc.gc on Windows 10
 0000534    Bugcrashnew2021-05-28Uncaught Mercury exception when using try[] on predicate optimsied away to true?
 00005326   Bugminorresolved (zs)2021-05-13constant_prop_2 failure in low-level C grades
 00005263   Bugminorresolved (wangp)2021-04-28unused imports affected by opt-imported typeclass instances
 00005311   Bugmajornew2021-04-2720.06.1 will not compile in MingW32 2013072200 w/gcc 9.2.0-2: gettimeofday is deprecated
 000052911 Bugminorresolved (zs)2021-02-26higher order inst from existentially quantified data constructors
 000052831 Bugminorresolved (zs)2021-01-30Compiler aborts when constructing invalid inst
 0000527    Bugminornew2021-01-27daio pass and inlining
 000007121 Bugminornew2021-01-09compiler abort when building programs in debugging grades
 000051211 Bugminorresolved (zs)2020-10-29branches of if-then-else disagree on liveness
 0000525    Bugminornew2020-10-29compiler should detect missing included module
 000052471 Bugblockresolved (zs)2020-10-16Installing rotd-2020-10-13 aborts with error
 00005223   Bugminorresolved (zs)2020-10-16Compiler not building in Java grade with rotd-2020-09-29 onwards
 00005081   Bugminorresolved (zs)2020-10-16Type constructors that are also Mercury operators result in invalid .int3 files
 000051521 Bugminorresolved (zs)2020-10-16Library not building in deep profiling grades with rotd-2020-07-26
 00005231   Bugminorresolved (zs)2020-10-13Compiler abort with rotd-2020-10-{11,12}
 00004951   Bugminorresolved (zs)2020-10-06-O<n> options not additive
 00005202   Bugminornew2020-10-02possible GCC ICE when compiling library/int.m in asm_fast.gc.tr.debug.stseg grade with -O1
 00005191   Bugminorresolved (juliensf)2020-10-01extras/graphics/mercury_tcltk library may contain reference to unknown matherr symbol
 000051811 Bugminorresolved (zs)2020-09-17Typo in extras/odbc.m
 0000517 1 Bugminornew2020-09-16extras/mopenssl fails to compile in a par grade with libressl
 00005161   Bugminorresolved (zs)2020-08-09Failure of tests/general/mode_inference_reorder with recent ROTDs.
 000051342 Bugminorresolved (zs)2020-07-29higher-order terms in freebsd bug.
 00005143   Bugminorresolved (zs)2020-07-28asm_fast.gc.profdeep.stseg grade fails to compile with GCC 10
 0000511 1 Bugminorassigned (zs)2020-06-19missing warning with --warn-unused-imports
 0000509    Bugminorassigned (zs)2020-06-16higher_order.m optimizes soon-to-be-dead procedures
 00005024   Feature Requestminorresolved (juliensf)2020-06-09print unsigned numbers
 0000507    Feature Requestminornew2020-05-01detect missing foreign_procs
 0000505    Feature Requestminorassigned (zs)2020-05-01allow reference only to explicitly imported modules
 0000506    Feature Requestminorassigned (zs)2020-05-01--recommend-order
 00005035   Feature Requestminornew2020-04-29unsigned shift amounts
 0000504    Feature Requestminorassigned (zs)2020-04-28make checked shifts builtins
 00004973   Feature Requestminorresolved (zs)2020-04-20make disable_warning forwards compatible
 00004613   Bugminorresolved (wangp)2020-04-20MR_verify_final_engine_sleep_sync assertion failure (parallel conjunction)
 000048052 Bugminorresolved (zs)2020-04-15regression in cse_detection.m
 000049641 Bugminorresolved (zs)2020-04-15Determinism error in 20.01 for code that compiles successfully in 14.01.1
 0000498    Feature Requestminorassigned (zs)2020-04-04handle misalignment of arguments in type errors better.
 00001202   Bugminorresolved (juliensf)2020-02-04bootchecking in reg.gc fails on Mac OS 10.6
 000048411 Feature Requestminorresolved (zs)2020-01-24error message could be more specific
 000049311 Bugminorresolved (zs)2020-01-23MLDS ground terms bug
 00004925   Bugminorresolved (juliensf)2020-01-18make install fails with GCC internal error on Fedora 31
 000048991 Bugminorresolved (wangp)2020-01-15mmc --make gets confused by source files with same name as standard library module
 0000491    Feature Requestminorassigned (zs)2020-01-12implicit imports in interface files
 0000490    Feature Requestminorassigned (zs)2020-01-11when importing A.B, do not require importing A
 00004881   Bugminorresolved (zs)2019-10-28Variable as pred name in predmode decl causes generates incorrect error message
 000048711 Bugminorresolved (zs)2019-10-08Incomplete and confusing error message
 00004861   Bugminorresolved (zs)2019-09-29Partially qualified types in foreign_enum pragmas not working with rotd-2019-09-28
 00004855   Bugminorresolved (zs)2019-09-29Various bits of extras not building with rotd-2019-09-28
 000048311 Bugminorresolved (zs)2019-09-02Spurious warning about unused module import
 0000482    Bugminornew2019-08-25Deep profiler "Restart" menu option doesn't restart the mdprof_cgi server
 000048111 Bugminorresolved (zs)2019-08-20abort in MLDS code generator with --static-ground-terms
 000040152 Bugminorresolved (zs)2019-08-04different module import styles in interface and implementation
 00004792   Bugminorresolved2019-07-07warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE when compiling mercury code
 000047731 Feature Requestminorresolved (zs)2019-04-20Infinite recursion through exception handlers
 000047813   Bugminorresolved (zs)2019-04-18ssdb directory does not build in csharp grade with commit 0d667a7
 000047611 Bugminorresolved (zs)2019-04-08Compiler aborts during typeclass check
 0000475    Feature Requestminorassigned (zs)2019-02-04flatten maybe output args across calls
 00004732   Bugminorresolved (wangp)2018-11-19JS sources should be included for minified files in scripts/
 00004741   Bugmajornew2018-11-18Mercury cannot be installed, compiler crashes
 00004723   Bugminorresolved (zs)2018-11-17Touching a .m file does not rebuild other modules that may depend on C foreign code that is opt-exported from that module
 00004581   Feature Requestminorresolved (zs)2018-10-03optimize unify and compare for packed arguments
 0000471    Bugminornew2018-09-22float rounding
 00004083   Feature Requestminorresolved2018-09-22make_temp and make_temp_directory should not throw exceptions
 00004351   Bugminorresolved (wangp)2018-09-22Old workaround in runtime causes compilation warnings
 00004691   Bugmajorresolved (wangp)2018-09-19mercury-srcdist-rotd-2018-09-11 compile failed on MinGW64 (Win10 64bit)
 00004701   Bugmajorresolved (wangp)2018-09-16mercury-srcdist-rotd-2018-09-11 compile failed on Linux (Ubuntu and Archlinux)
 00004672   Feature Requestminornew2018-09-07compiling with -Wuninitialized or -Wmaybe-uninitialized
 00004682   Bugminorresolved (zs)2018-09-03free argument packed with other argument uses uninitialised variable
 00004641   Bugminorresolved (wangp)2018-08-19MR_fatal_error should not read errno
 0000460    Bugminorresolved (wangp)2018-08-09failure of hard_coded/thread_barrier_test in asm_fast.par.gc
 000042611 Bugminornew2018-08-09Tabling broken on 32-bit Cygwin
 00002812   Bugminorresolved2018-08-08Tabling test case failures
 0000466    Bugminornew2018-07-29Test failures in asm_fast.par.gc.stseg
 0000465    Bugtrivialnew2018-07-27link lib error when compiling hello.m
 00004632   Bugminorresolved (juliensf)2018-07-20build failure on Linux when mono 5 is installed
 0000462 1 Feature Requestminorassigned (zs)2018-06-08packing notag arguments
 000045111 Feature Requestminorassigned (zs)2018-06-08unpack packed args only as necessary in field updates
 00004591   Bugminorresolved (zs)2018-05-07bootcheck applies stage 2 settings to stage 1
 000045711 Bugminorresolved (wangp)2018-04-30abort on construct_statically in var_locn
 0000456    Feature Requestminornew2018-04-26structured concurrency
 000045522 Bugminorresolved (juliensf)2018-04-21intermodule optimisation with fixed sized integer modules
 00004451   Bugminorresolved (wangp)2018-03-19__builtin_bswap16/32 support
 00004539   Bugcrashnew2018-03-16asm_fast does not work with gcc 5.4
 00004336   Bugminoracknowledged (pbone)2018-03-13mmc --make calls programs without full path
 00004061   Bugminoracknowledged (pbone)2018-03-13parallelism in standalone java example aborts
 00003368   Bugminoracknowledged (pbone)2018-03-13java programs do not wait for all threads to finish
 00003352   Bugminoracknowledged (pbone)2018-03-13assertion failure in MR_do_sleep
 000033321 Bugminoracknowledged (pbone)2018-03-13MR_num_idle_engines count goes wrong
 00002952   Bugminoracknowledged (pbone)2018-03-13io.read_line_as_string/3 and CRLF line endings on Windows
 00002741   Bugminoracknowledged (pbone)2018-03-13possibly incorrect purity cast in deep profiler
 00001634   Bugmajoracknowledged (pbone)2018-03-13mdprof_cgi (deep profiler webserver) seems to lock up and leave processes running that should have timed out.
 00001572   Bugminoracknowledged (pbone)2018-03-13mtags uninitialised value warnings
 000015611 Bugtextacknowledged (pbone)2018-03-13Headers in deep profiler clique report are incorrect.
 000045472 Bugminorresolved (wangp)2018-03-13arith_int64 failure
 00004091   Bugminorresolved (wangp)2018-03-09functor_ho_inst failing on 32-bit
 000035943 Bugminornew2018-03-06constrained polymorphic modes
 00004321   Feature Requestminorassigned (zs)2018-02-22pack constructor arguments in same word as primary tag
 000045211 Bugminorresolved (zs)2018-02-22model_det need_bit_vec_check
 00004492   Bugminorresolved (juliensf)2018-02-13Switches on uint64s not working in java grade
 0000450    Bugminornew2018-02-13tests/invalid/sub_c failing when running tests with -j8
 0000448    Bugminorassigned (zs)2018-02-07singleton warning generation ignores variables in quantifications
 0000447    Feature Requestfeatureassigned (zs)2018-02-06direct_arg_switch type representation
 0000446    Feature Requestfeatureassigned (zs)2018-01-30smarter comparisons of structures
 00004442   Bugcrashresolved (wangp)2018-01-12static linking with musl crashes
 00004343   Bugminorresolved (wangp)2018-01-09Alpine Linux / musl libc / x86_64 support
 0000443 1 Bugminornew2017-11-15Segmentation fault in high-level C .par.trseg grades
 0000442    Bugminornew2017-11-13Building compiler with -j4 and --use-mmc-make fails
 000044111 Bugminorassigned (zs)2017-10-18Invalid C code for program in hlc.gc grade
 000041132 Bugmajorresolved (wangp)2017-08-22abstract type not hidden
 0000440    Feature Requestminornew2017-08-10mdb: tab completion for function symbols
 0000439 1 Bugminornew2017-08-06cannot build module which imports empty nested sub-module
 000043711 Bugminorresolved (zs)2017-08-06abort on empty nested sub-module
 0000438 1 Bugminornew2017-08-05partial module qualification of use_module imported entity
 000041011 Bugminorresolved (zs)2017-06-17Syntax error causes compiler abort
 000043621 Bugminorresolved (juliensf)2017-05-03unknown constructor in foreign_enum
 000043141 Bugminorresolved (juliensf)2017-03-06Install fails during make install of java grade in rotd-2017-02-22
 00004301   Bugminorresolved (juliensf)2017-01-29optional underscores in numeric literals
 000042911 Bugminorresolved (zs)2017-01-20cse causes switch to be reported as non-switch
 0000428 1 Bugmajornew2016-10-25standalone_c complains about return value 0 (OK) from main/2.
 0000427    Bugminorassigned (juliensf)2016-10-23Use of long and unsigned long in C runtime code
 00004251   Bugminorresolved (zs)2016-10-10mmc --make loop on wrongly named module
 00004242   Bugminorresolved (wangp)2016-10-07error creating temporary file with --restricted-command-line
 000041882 Bugminorresolved (wangp)2016-10-07io error exceptions not working
 00003465   Bugminorresolved (wangp)2016-10-06non-ANSI functions in header files
 00004221   Bugminornew2016-10-04Intermittent runtime aborts in parallel conjunction tests
 00004044   Bugminorresolved (zs)2016-10-03mmc --rebuild not working
 00003576   Bugminorresolved (juliensf)2016-10-03Parallel conjunction broken on OS X
 00004211   Bugminorassigned (zs)2016-10-02Code generator aborts in parallel conjunction tests
 00003983   Bugminorresolved (juliensf)2016-09-28mercury_compile.exe fails to link on Cygwin64 / MinGW64 with GCC 4.9.X
 00004193   Feature Requestminornew2016-09-21cannot write floats in break point conditions
 000042011 Bugmajorresolved (wangp)2016-09-19try goals lost in .opt files
 0000417    Bugminornew2016-09-06new_arg_ref may return interior pointer
 0000416    Bugcrashnew2016-08-31mutable thread_local java backend missing initialValue()
 000041511 Bugminorresolved (zs)2016-08-30Segmentation fault during mode checking
 00000751   Bugminorresolved (wangp)2016-08-28better treatment of absolute pathnames
 000041431 Bugminorresolved (zs)2016-07-29The switch detection fails to detect this switch
 00001965   Bugminorresolved (juliensf)2016-07-17Binary compatibility checks in C grades don't work.
 000041211 Bugminorresolved (zs)2016-07-17compiler does not report some unused imported modules
 000009132 Bugmajorresolved (juliensf)2016-07-01compiler throws exception in hlc.gc
 000021411 Bugminorresolved (juliensf)2016-06-30confusing type error
 00001841   Bugcrashresolved (juliensf)2016-06-30Unresolved polymorphism in typeclass crashes mmc
 000003611 Bugmajornew2016-06-23another tabling bug with the high-level C backend
 00004071   Bugminorresolved (juliensf)2016-06-22Exception.getMessage can return null
 00003263   Feature Requestfeatureresolved (wangp)2016-04-04disable rpath
 00003732   Bugminornew2016-02-24string.to_float imprecisely specified
 00004055   Bugminorconfirmed2016-02-23Compiler Software Exception in Certain Projects
 00004031   Bugminorassigned (juliensf)2016-02-18Normal termination of a program in the Java grade does not flush stdout
 000040211 Bugminorresolved (zs)2016-01-10state variables not supported in require_complete_switch scope heads
 0000400 1 Bugminornew2015-12-16ROTDs can no longer compile extras/trailed_update
 000038832 Bugminorresolved (juliensf)2015-12-14Inconsistent permissions on library jar files
 000039912 Bugminorassigned (juliensf)2015-12-14race condition on Windows when comparing a file to itself.
 000011531 Bugminorresolved (juliensf)2015-11-30segfault for predicate names containing multibyte utf8 char
 000001021 Bugminorresolved (juliensf)2015-11-29:- pragma source_file ignored for warnings about unused imports in the interface.
 000005011 Bugminorresolved (zs)2015-11-15another compiler abort when using debug grades
 000001711 Bugminorresolved (zs)2015-11-11no error for unknown types in interface if defined in implementation
 000026411 Bugminorresolved (zs)2015-11-02function mode lost without warning
 0000232    Bugminorresolved (pbone)2015-11-02The thread pinning code in the parallel runtime doesn't work on older Linux systems.
 00000861   Bugminorresolved (juliensf)2015-11-02Uncaught mode error leads to crash in codegen.m
 000019153 Bugminorresolved (juliensf)2015-11-02indirect instance implementations ignore special insts
 000018721 Bugminorconfirmed (juliensf)2015-10-31Strange error with disjunctive definitions returning existential typeclass instance
 000011742 Bugminorresolved (juliensf)2015-10-31No error message for false non_empty_list declaration; runtime segfault
 000031841 Bugminorresolved (zs)2015-10-29pragma foreign_type depends on item order
 000027841 Bugminorresolved (zs)2015-10-29Compiler crash from bad state variable use.
 00003973   Bugminorresolved (wangp)2015-10-20Clang fails to deal with -R command line parameter
 0000395    Bugminorresolved (wangp)2015-10-20non tail recursion in lexer.m
 00003961   Bugminorresolved (wangp)2015-10-20non tail recursion in prog_io.m
 00003941   Bugminorresolved (juliensf)2015-10-14Building compiler with --use-mmc-make broken (rotd-2015-09-18)
 00003891   Feature Requestminorresolved (wangp)2015-09-30aligned_pointer foreign type assertion
 000039111 Bugminorresolved (zs)2015-09-18trace conditions lost in .opt files
 00003931   Bugminorresolved (zs)2015-09-18#line directives in .mh cause unnecessary recompilations
 000036311 Bugminorresolved (zs)2015-08-23misleading error message for missing comma in foreign_proc attribute list
 000039211 Bugminorresolved (zs)2015-08-17compiler abort with deforestation
 0000390    Bugminornew2015-08-05MR_ALLOC_ID visibility
 000038521 Bugminorresolved (juliensf)2015-07-22mercury_compile.exe crashes during compilation of large fact table on MinGW/MSYS
 000038111 Bugmajornew2015-07-15Compiler deals poorly with '.' character constants.
 0000339101 Bugmajorresolved (juliensf)2015-07-14mmc --java with Oracle Java 1.8.0 fails on Windows
 00002933   Bugminorresolved (juliensf)2015-07-08asm_fast grades do not work with GCC 4.8
 00003485   Bugminorresolved (juliensf)2015-07-08Failure of tests/general/string_format_special_floats with MSVC
 00002803   Bugminorresolved (juliensf)2015-07-07Parser stack overflow with MSVC
 000038762 Bugmajornew2015-07-07Polymorphism pass miscompiles some try goals.
 00003865   Bugmajorresolved (juliensf)2015-07-01rotd-2015-03-24 and following broken
 00003842   Bugminorresolved (zs)2015-04-02Stage 1 compiler directory fails in hlc.gc grade with syntax errors in optimisation interfaces
 000038312 Bugminorresolved (zs)2015-03-25Program behaviour changes when trie string switches are used
 000038231 Bugcrashresolved (zs)2015-03-16arg-pack-bits optimisation broken with foreign_enums.
 000038011 Bugminorresolved (zs)2015-02-28mercury_string.h not always included in high-level C grades
 0000366    Bugminorresolved (wangp)2015-02-20enable inst_matches_final_bug and ho_default_func_4
 00003771   Bugminorfeedback (juliensf)2015-02-19Debugger doesn't have help installed.
 000037811 Bugminornew2015-02-19Cannot access library source files when debugging
 000037921 Bugminorresolved (juliensf)2015-02-19GCC 4.9.2 Giving Error
 00003764   Bugminorresolved (wangp)2015-02-17base_string_to_int ignores overflow unless base 10
 00003681   Bugminorresolved (zs)2015-02-08Table reset predicates not generated in Erlang grade
 000037521 Bugmajornew2015-01-21io.seek_binary_output(Stream, set, 32, Out3, Out4), % rec1 NOT working
 00003741   Bugcrashassigned (juliensf)2015-01-15rotd-2015-01-13 fails to install with mingw64
 0000372    Bugminornew2015-01-05Finalisers run after main/2 throws an exception.
 000037011 Bugminorresolved (zs)2015-01-03unused module imports and string.format
 000037111 Bugmajorresolved (zs)2014-12-23can't locate string.format.format_signed_int_component_nowidth_noprec/3
 000036922 Bugcrashresolved (zs)2014-12-16Software Error: hlds.pred_table: predicate `hlds.pred_table.lookup_builtin_pred_proc_id'/8: Unexpected: can't locate put/5
 00003671   Bugminorresolved (zs)2014-12-03array binary search predicates use builtin.compare
 00001811   Bugminorresolved (pbone)2014-12-02Feedback framework uses partial instationation which is not well supported.
 0000365    Bugminornew2014-10-20hard_coded/parse test failes in asm_fast.gc.par.stseg with libhwloc
 000023112 Bugtrivialnew2014-10-09No way to specify instantiatedness of char type
 000036411 Bugminorresolved (pbone)2014-10-07Autoparallelisation analysis crashes on nondet disjunctions.
 00002961   Bugminornew2014-10-05ui mode and multiple clauses
 000036111 Bugminorresolved (zs)2014-09-16Compiler abort with loose determinism decl. and pragma loop_check
 000036221 Bugminornew2014-09-16Program cause compiler to abort in mmos grades (but not mmsc)
 00000412   Bugminorresolved (juliensf)2014-09-02unclear error message in case the end_module declaration differs from the :- module description
 000035221 Bugminorassigned (zs)2014-09-01tabled_for_io with Mercury descendants
 00001461   Bugminorassigned (juliensf)2014-09-01inf and Nan
 00003567   Bugcrashnew2014-08-31mmc exception thrown from instmap.m line 600
 000035451 Bugminorresolved (zs)2014-08-30Building mercury_cairo fails in version 14.01
  0000355    Feature Requestminornew2014-08-29it would be nice to be able to defer type errors till runtime
 00003504   Bugminorresolved (wangp)2014-08-25winpthreads support
 0000353    Bugminorassigned (wangp)2014-08-19misuse of tabled_for_io in the standard library
 000035141 Bugminorresolved (zs)2014-08-12abort compiling integer.m with parallel conjunction
 00003491   Bugminornew2014-07-28io stream predicates thread-safe or not
 00003453   Bugminornew2014-07-14name mangling produces very long symbols
 00001255   Bugminorresolved (wangp)2014-07-10thread.spawn should spawn OS thread in low-level C grades
 00000034   Bugminorresolved (wangp)2014-07-10deep profiler bug with unify/compare for tuples
 00003441   Bugminornew2014-07-05Cannot find files when compiling with --debug option
 00003341   Bugmajorresolved (pbone)2014-06-30Low level C parallel grades crash with libc6 > 2.19.x and newer Intel processors
 00003401   Bugminorresolved (wangp)2014-06-25strerror not thread-safe
 0000338    Bugminorresolved (wangp)2014-06-25asm_fast.par.gc programs crash on Windows
 000034251 Bugmajorresolved (juliensf)2014-06-25string.format broken in non-C grades
 00003411   Bugminorresolved (juliensf)2014-06-24MingW32 Build Errors
 0000337    Bugminornew2014-06-20csharp stream problems
 0000330101 Bugminorresolved (zs)2014-05-27slice directory does not build in debugging grade
 000032241 Bugminornew2014-05-15mingw-w64 compiled program crashes
 000032921 Bugcrashresolved (juliensf)2014-05-13Uncaught Mercury exception:
 00003277   Bugminorresolved (juliensf)2014-05-13incorrect binutils used with mingw64
 00003283   Bugtweaknew2014-05-01dir.foldl2 should be called dir.fold2
 000032321 Bugminornew2014-04-03Matching on adts makes and instantiation state subtyping is impossible.
 00003038   Bugminorresolved (juliensf)2014-03-04Installation of java grade fails on Windows 7 / MinGW for 13.05.2-beta-2013-10-31
 000032011 Bugminorfeedback (juliensf)2014-02-21instantiation states and "unused module import" warnings do not interact properly.
 000008911 Bugminorassigned (juliensf)2014-02-21existentially quantified data constructors and inst subtyping do not work together
 000031762 Bugmajorresolved (juliensf)2014-02-10:- pragma memo(findLngCmnSubsqStck/3). WORKING; not sure how to do static Asymptotic analysis
 000031611 Bugmajorresolved (juliensf)2014-02-05Declared `det', inferred `semidet'. --- [H|T] first argument input
 000031523 Bugmajornew2014-02-01Software Error: detected need for minimal model in pred rodcut.r_n/3
 000030291 Bugblockresolved (zs)2014-01-31can't bootcheck in asm_fast.gc.debug.stseg
 000031142 Bugminorassigned (zs)2014-01-28Gathering solutions depends on how predicate is programmed
 000009851 Bugminornew2014-01-28compiler throws exception with --profile-for-implicit-parallelism
 00003074   Bugminorresolved (juliensf)2014-01-10internal compiler error in assign_by_spills during make install of mercury
 000030611 Bugminorconfirmed (juliensf)2014-01-08Java grade and non alphabetic field name
 0000165    Bugminornew2014-01-08java backend generates invalid code for contrived type
 000030111 Bugminorresolved (wangp)2013-10-29incorrect handling of deconstructions in float_reg.m pass
 000029941 Bugminorresolved (wangp)2013-10-29unaligned memory access for unboxed doubles
 000029471 Bugmajorresolved (pbone)2013-09-29GCC 4.6 and 4.7 break asm_fast.par grades
 0000298 2 Bugminornew2013-09-16missing .mh include
 000005111 Bugminorresolved (wangp)2013-09-09abort during liveness detection
 000029721 Bugmajorresolved (wangp)2013-09-04compile-time evaluation of typed_unify changes behaviour
 000029241 Bugmajorresolved (juliensf)2013-07-12'make install' fails on missing dependency (bryant.h) for robdd.m
 0000291    Bugminornew2013-07-02HLDS dumps don't contain clauses unless --dump-hlds-options=x is also given
 00002853   Bugtweaknew2013-06-28Mode error is misleading
 000028832 Bugminorresolved (juliensf)2013-06-24Some mercury binary files are built without respecting LDFLAGS
 00002874   Bugminorresolved (juliensf)2013-06-05configure requires m4
 000025944 Feature Requestminornew2013-06-04Impossible to override /lib dir with /lib64 etc
 00002222   Bugminorresolved (juliensf)2013-05-28mmc can't compile csharp grade without --make under mingw
 00001831   Bugminorresolved (juliensf)2013-05-22--warn-dead-procs should not warn about foreign-exported procs.
 00002621   Bugminornew2013-05-22Mercury doesn't compile on NetBSD
 00001616   Bugmajorassigned (juliensf)2013-05-21Calling io.seen/2 twice in a row can crash the runtime with a segfault.
 00002573   Bugminorresolved (juliensf)2013-05-21require_complete_switch var does not appear in sub-goal
 000026332 Bugcrashresolved (juliensf)2013-05-17Segmentation fault: not enough memory when invoking solutions/2
 0000282    Bugminornew2013-05-06GNU-specific regexps in test filters
 00002531   Feature Requestminorresolved (juliensf)2013-04-12MS C# compiler should be invoked with -nologo
 00002791   Bugminorresolved (juliensf)2013-04-11make install from stage 2 dir does not work with csharp grade
 00002771   Bugmajorresolved (wangp)2013-03-20float bugs on 64-bit if built with pregenerated C sources
 000020382 Bugminorresolved (wangp)2013-03-18Problem with DESTDIR and Darwin
 0000276 2 Bugminornew2013-02-27io.call_system/4 inconsistency between C and Java grades
 00002754   Bugminorresolved (wangp)2013-02-20hidden symbol pthread_atfork
 000022615   Bugtweakresolved (juliensf)2013-01-08lazy.read_if_val unsound
 00002613   Bugmajorresolved (juliensf)2013-01-07building mdbcomp in C# grade attempts to link with non-existant mer_rt.dll
 0000272 1 Bugmajornew2013-01-04The polymorphism pass can generate mode-incorrect code.
 000027031 Bugcrashconfirmed (juliensf)2012-12-31When one uses fact_table, the mercury compiler crashes if there is an error in the fact_table.
 00002662   Bugtrivialassigned (juliensf)2012-12-07--no-warn-missing-det-decls doesn't exist
 000026921 Bugminorresolved (wangp)2012-12-07unicode path handling in dir module
 000026512 Bugminornew2012-12-07long path handling in io module
 0000268    Bugcrashresolved (juliensf)2012-12-04Typo in :- end_module declaration leads to compiler crash.
 000019321 Bugtweakconfirmed2012-07-06--introduce-accumulators doesn't recognize "promise all" containing type annotation
 00002582   Bugmajorresolved (juliensf)2012-06-23csharp grade is broken with rotd-2012-06-19
 0000255123 Bugmajorresolved (juliensf)2012-06-19build fails on OS X 10.4.11 PowerPC
 000025041 Bugminorresolved (wangp)2012-05-10GCC warnings: used but never defined
 00002541   Bugminorresolved (juliensf)2012-03-02HTTP download links for 11.07.1 return 403 forbidden error
 00001741   Bugminorresolved (pbone)2012-02-13documentation for extras/lazy_evaluation is out-of-date
 00002001   Bugminorresolved (juliensf)2012-02-13csharp grade does not install on Cygwin with Mono
 00002522   Bugminorassigned (juliensf)2012-02-13mmc --make doesn't respect the -j flag when building the .cs, .javas or .css target
 000025111 Bugtrivialresolved (zs)2012-01-30eqvclass.ensure_equivalence(X, X) causes exception
 00002481   Bugtweakresolved (juliensf)2012-01-18Inconsistent argument ordering of singleton_set
 0000249    Bugminornew2011-12-14--dump-mlds does not work for non-C grades
 000024611 Bugmajorassigned (zs)2011-12-14HLDS->MLDS code generator abort
 00002421   Bugminorresolved (wangp)2011-12-14filename encoding
 000024541 Bugcrashresolved (juliensf)2011-12-13[Java, 11.07-beta-2011-12-06] crashes with ClassCastException
 0000247    Bugminornew2011-12-12declarative debugger aborts
 000024421 Bugminorfeedback (zs)2011-12-10Re-entering partially memoized multi/nondet predicate causes spurious loop exception
 00002114   Bugminorresolved (wangp)2011-12-09single-precision float grades broken on 64-bit
 000024081 Bugmajorresolved (wangp)2011-12-09float unboxing issue on MinGW
 00002431   Bugminorresolved (juliensf)2011-12-07Memory zone leak on Windows
 00002351   Bugminorresolved (juliensf)2011-12-05java grade does not respect --restricted-command-line
 000023922 Bugminornew2011-12-05Aliasing of partially instantiated structures in solutions.* predicates
 000024111 Bugtrivialresolved (juliensf)2011-12-04require_semidet doesn't parse
 00002342   Bugminorresolved (juliensf)2011-12-03java grade does not compile with Java SE 7
 000023841 Bugcrashresolved (zs)2011-12-01Unexpected: determinism errors when compiling with --constraint-propagation
 00002271   Bugminorresolved (zs)2011-11-28det scope unchecked in lambda expression
 000023711 Bugminorresolved (zs)2011-11-28Strange interaction b/w typeclasses and promise_equivalent_solutions
 00002362   Bugtextnew2011-11-28Documentation for unsorted_aggregate incorrect (trivial)
 00002331   Bugminorresolved (pbone)2011-11-24Parallel run-time system crashes.
 000022911 Bugcrashresolved (wangp)2011-11-24problem with static data on high-level C grades
 000023021 Bugmajorresolved (wangp)2011-11-23submodules inconsistently compiled with direct arg functors
 000022812   Bugmajorresolved (juliensf)2011-11-14library/lexer.c cannot be compiled with MSVC
 0000199    Bugminorresolved (wangp)2011-11-11unboxed floats for high-level code
 000022551 Bugtweaknew2011-11-04Module-level mutable with type "semaphore" causes hlc grade compilation to break.
 00002233   Bugminorresolved (wangp)2011-11-03thread.mvar.init/0 and thread.semaphore.init/1 should be marked impure
 000022432 Bugminornew2011-10-25STM broken without --inline-compound-threshold 10 --loop-invariants
 00002121   Bugtrivialresolved (juliensf)2011-10-25Documentation of --no-warn-undefined-options-variables is actually for --warn-undefined-options-variables
 0000221 1 Bugmajorresolved (maclarty)2011-10-24ho specialization bug
 00000991   Bugminorresolved (juliensf)2011-10-09Incorrect command-line options for Visual Studio
 000022022 Bugminornew2011-10-05Termination analysis produces spurious "termination constant of infinity" errors
 00001722   Bugminorassigned (juliensf)2011-10-05Building library in asm_fast.gc.debug aborts on FreeBSD 8.1
 0000219 2 Bugminorassigned (maclarty)2011-09-26declarative debugger abort
 00002182   Bugfeaturenew2011-09-26Feature request: mdb commands for working with common data structures.
 000021711 Bugmajorresolved (juliensf)2011-09-21Can't compile simple program
 000020751 Bugmajorresolved (zs)2011-09-06tree_bitset.difference bug
 00002161   Bugminorresolved (zs)2011-09-06hlc grade generates empty structs in static data
 00002151   Bugtextresolved (juliensf)2011-09-05Documentation of assoc_list.filter/4 is missing the TrueList argument
 00001731   Bugminorresolved (juliensf)2011-08-19man pages for 10.04.2 contain string "Error reading options file"
 00002101   Bugtextresolved (juliensf)2011-08-19Language Reference confuses maybeskel and listskel in "Insts, modes, and mode definitions"
 00002091   Bugminorresolved (wangp)2011-08-01java grade broken in rotd-2011-07-31
 00002051   Bugtextresolved (juliensf)2011-07-23Documentation of array.foldr2 references non-existent list.foldr2
 00002061   Bugtextresolved (juliensf)2011-07-23User's guide has incorrect short option name for mtc --output-file
 0000204 1 Bugminorresolved (wangp)2011-07-13Generated code seg faults
 00002021   Bugminorresolved (juliensf)2011-07-11Test failures in profdeep grades
 00001361   Bugminorconfirmed2011-07-04hard_coded/impl_def_literal fails with -O5 --intermodule optimization
 0000201    Bugcrashnew2011-06-11tests/par_conj/cosume_wait blocks before exiting.
 00001983   Bugtextresolved (juliensf)2011-05-19event is a keyword but not mentioned in documentation
 000019711 Bugminorresolved (zs)2011-05-16abort in state variable transformation
 000019422 Bugminorconfirmed2011-05-13Optimizations -O4 to -O6 causing wrong answer
 0000188 1 Bugminorresolved (wangp)2011-05-03structure-reuse and intermod-opt breaks type_list_subsumes
 00001951   Bugtweakconfirmed2011-04-07mmc --java ignores -o option
 0000192    Bugfeaturenew2011-03-23State variable record notation enhancement
 000019041 Bugminorresolved (juliensf)2011-03-18solver type constraint_store declaration has trouble unifying imported types
 00001891   Bugminorresolved (juliensf)2011-03-16foreign_enum is not 64-bit safe
 000010311 Bugminorresolved (zs)2011-03-08bug in lcmc transformation
 000018612 Bugminornew2011-02-22abort when --infer-all is enabled
 00001855   Bugmajorconfirmed2011-02-16Cannot make typeclass instance for parameterised equivalence type
 0000182    Bugminornew2011-02-02Segfaults could be reported better.
 00001773   Bugminornew2011-01-19incorrect C# code generated when compiling extras/moose
 00001791   Bugminorresolved (wangp)2011-01-18csharp grade library compilation failure on MinGW / MSYS with MS C# compiler
 0000178    Bugtweaknew2011-01-12browser/browser_test.m does not compile.
 00001761   Bugminorresolved (juliensf)2010-12-20incorrect install names on Mac OS X with mmake
 00001751   Bugminorresolved (juliensf)2010-12-16incorrect foreign_decl pragmas in ODBC binding
 00001192   Bugminorresolved (pbone)2010-12-13par_conj/consume_wait test is failing in low-level C parallel grades.
 00001703   Bugminorresolved (zs)2010-11-30stage 2 ssdb build failure on goliath
 0000169 1 Bugminornew2010-11-15Lambda predicates do not allow references to existing variables in the head
 0000168    Bugminornew2010-11-08prototypes of C functions used in io module not visible
 0000167    Bugminornew2010-11-04bimap.init could be uo
 0000166    Bugminornew2010-10-27inconsistent treatment of module-specific variables
 00001501   Bugminorresolved (zs)2010-09-15nit in error msg
 000012811 Bugminorresolved (zs)2010-09-15merge_instmapping_delta_2: error merging var 20
 000015911 Bugminorresolved (zs)2010-09-14liveness.m: Unexpected: branches of switch disagree on liveness
 0000164    Bugminornew2010-09-14problem with mmake -j32
 000010992 Bugminorresolved (zs)2010-09-14rotd-2009-10-05's library install fails for grade hlc
 000015431 Bugminornew2010-08-25compiler abort with debugging enabled
 000015811 Bugminorresolved (wangp)2010-08-19char constants do not unify
 00001373   Bugminornew2010-07-21failing analysis framework tests
 0000067 1 Bugminorresolved (wangp)2010-07-15mprof doesn't like duplicate names
 000014221 Bugminorresolved (wangp)2010-07-15problem updating rtti varmaps on inlining
 000015522 Bugmajornew2010-07-07Mode error with impure code.
 00001534   Bugminorresolved (juliensf)2010-07-06toc in pdf user's guide is empty
 0000152    Bugcrashnew2010-06-08Test cases crash the compiler in mmos grades.
 0000149    Bugminornew2010-05-25inter-module optimization and abstract exported equivalence types.
 0000147    Bugminornew2010-05-25NaN behaviour
 000014321 Bugfeatureresolved (juliensf)2010-05-20':- initialise' directives not being respected.
 0000145    Bugmajorresolved (wangp)2010-04-21loop invariants broken
 0000140    Bugtextacknowledged2010-04-01Manual section 10 doesn't mention existential types
 000014142 Bugfeaturenew2010-04-01integer has no method for converting to int with wraparound
 0000139    Bugminornew2010-03-23If mercury is installed in a directly with a '+' symbol in it's name, then mkinit will not work.
 00001381   Bugtextresolved (juliensf)2010-03-16Mistake in Language Reference, section 2.3
 000013411 Bugminorresolved (zs)2010-03-04abort in MLDS backend with --no-static-ground-terms
 00001211   Bugmajorresolved (juliensf)2010-02-27parallel grades do not build on Mac OS 10.6
 0000133 1 Bugmajorresolved (wangp)2010-02-15Software Error: try_expand.m: Unexpected: find_subparts: unexpected goal form
 00000203   Bugminorresolved (maclarty)2010-02-05declarative debugger going up search tree when initial node trusted.
 0000127    Bugminorresolved (wangp)2010-02-05implementation defined constants don't work with try goals
 000013211 Bugtextresolved (juliensf)2010-02-02Typo in make_hlds_warn ("ccur")
 000004011 Bugminorconfirmed2010-02-02RTTI looks for the name of a solver value return repn. type name
 000010021 Bugminorresolved (juliensf)2010-02-02incorrect report that a module is unused
 0000131    Bugminornew2010-01-28Compilation fails when the same variable is used in two trace goals but not outside the trace goals.
 00000965   Bugtextresolved (rafe)2010-01-27some predicates parsing_utils are documented with arguments in an incorrect order.
 0000126    Bugmajorresolved (wangp)2010-01-25unable to build asm_fast.gc.stseg grade under cygwin
 00001291   Bugminorresolved (wangp)2010-01-25java grade generates uncompilable code for some uses of typeclasses
 000012231 Bugminorresolved (mark)2010-01-18Functional dependency typeclass instance in module with sub-module int0 error
 000012311 Bugminorresolved (wangp)2010-01-12typeclass instance clause type mix.
 000010221 Bugminorresolved (juliensf)2009-12-17Inconsistent behaviour (error vs. warning) when compiling with --make
 00001181   Bugminorresolved (juliensf)2009-12-16table_reset predicates omitted in non-tabling grades
 00000158   Bugmajorresolved (juliensf)2009-12-11wrong variable scoping in `if ( some[X] p(X) ) then q(X) ...'
 000007714   Bugcrashresolved (juliensf)2009-12-01make install issues with mercury-compiler-rotd-2008-08-14
 00000391   Bugminorresolved (wangp)2009-11-27gcc 4.1.2 on x86-64 miscompiles computed gotos
 00000783   Bugminorresolved (wangp)2009-11-27make install fails on Fedora 9 with gcc 4.3
 00000661   Bugminorresolved (wangp)2009-11-25gcc 4.2 incompatibility
 00001087   Bugminorresolved (wangp)2009-11-23invalid java path with mercury and mingw
 000011422 Bugminoracknowledged2009-10-30rotd-2009-10-05's library install fails for grade hlc.agc
 00001124   Bugfeatureresolved (juliensf)2009-10-17set_* modules inconsistent
 000011311 Bugminorresolved (zs)2009-10-17abort during purity checking.
 0000111 1 Bugminornew2009-10-12Throwing exception in tabled predicate causes table entry to remain active
 00001042   Bugminorfeedback2009-10-06Static linking doesn't properly track dependencies
 00001051   Bugminorresolved (wangp)2009-10-06hl.gc grade is broken
 00001071   Bugminorresolved (wangp)2009-09-24undefined kill function while link mercury compiler under mingw
 000009331 Bugminorresolved (zs)2009-09-22large ground terms optimisation and unique modes
 000010631 Bugmajorresolved (juliensf)2009-09-22Linking with multiple C++ files yields a "duplicate symbol" error
 00001014   Bugmajorresolved (juliensf)2009-07-28Deep profiling of programs compiled against G12 creates currupt Deep.data files.
 00000951   Bugtweakresolved (rafe)2009-06-16svset module descriptions don't match declarations.
 0000097 1 Bugminorresolved (wangp)2009-06-12rotd-2009-06-02 generates invalid Erlang code
 000008311 Bugminorresolved (juliensf)2009-04-06ambiguous names in foreign_export
 000006872 Bugminorresolved (wangp)2009-03-26version_hash_table.delete is buggy
 0000092 1 Bugminornew2009-03-09generated C code contains a block that defines a variable that shadows a headvar in hlc.gc
 0000088    Bugblocknew2008-11-17test_odbc hangs on call to SQLConnect()
 00000873   Bugmajorresolved (zs)2008-11-03Programs compiled in profdeep grade create currupt Deep.data files.
 000004241 Bugminorresolved (wangp)2008-10-22bug with LCMC in hlc grades
 000008541 Bugminornew2008-09-23stage 1 compiler aborts when compiled with -O5 --intermodule-optimization
 00000721   Bugminorresolved (petdr)2008-09-17Erroneous reference to snprintf when compiling mercury_wrapper.c with MSVC
 000007421 Bugcrashconfirmed2008-09-02abstract data types in type classes get garbled on x64
 000008222 Bugmajorresolved (wangp)2008-08-27Functions returning a wrapped dummy type cause invalid c code to be generated in grade hlc.gc
 0000081    Bugminorassigned (juliensf)2008-08-22failure of hard_coded/tl_backjump_test with --intermodule-optimization
 000007611 Bugminorresolved (wangp)2008-08-22--make-opt-int incorrectly handles existentially typed methods
 000006532 Bugminorresolved (wangp)2008-08-07probable bug in .stseg grades
 00000691   Bugminornew2008-07-23Deep profiling tools can have integer overflows.
 0000063    Bugminornew2008-06-26mdprof_cgi gets confused about the webserver's port number.
 0000062    Bugminorresolved (juliensf)2008-06-06Compiler crashes at bad end_module declaration.
 0000061 2 Bugminornew2008-06-03problem with _init suffix in module names
 000005521 Bugmajorconfirmed2008-06-02typeclass instances for e.g. bag(T) no longer work
 00000561   Bugmajorresolved (zs)2008-05-26compiler crashes in decldebug grade
 0000060 1 Bugminornew2008-04-29inconsistent type_infos after type specialisation?
 0000057    Bugminorassigned (mark)2008-04-10--common-struct inhibits tail call optimisation
 000005241 Bugminorresolved (juliensf)2008-03-27rebuilding a program with a mutable in a different grade causes invalid c to be generated
 00000334   Bugmajorassigned (mark)2008-03-26Compiler abort when generating low level code
 000004861 Bugminorresolved (mark)2008-03-26compiler abort in .decldebug grade
 0000054    Bugminorassigned (mark)2008-03-26rtti_varmaps not updated by follow_code
 000004932 Bugminornew2008-03-17loop invariant hoisting causes MLDS backend to abort
 000004311 Bugminorresolved (wangp)2008-03-05intermod unused args analysis and typeclass constraints
 000004711 Bugminornew2008-02-25mutable dependency problem
 000004421 Bugmajorresolved (zs)2008-02-20compiler abort in debug grades
 000004512 Bugminorresolved (zs)2008-02-20mdb not using format params from .mdbrc
 00000461   Bugminorresolved (zs)2008-02-20regression of general/det_complicated_unify in grade asm_fast.gc.profdeep
 000003032 Bugminorresolved (juliensf)2008-01-23break promise_equivalent_solutions
 000003711 Bugminorresolved (juliensf)2008-01-17high-level C backend produces invalid C code
 0000038    Bugminornew2008-01-16Compiler aborts in detism analysis with inst any case in negated context
 0000034 1 Bugminornew2008-01-03confusing error message in lambda function (but good message in predicate version)
 0000032    Bugminornew2007-12-14loop invariant optimization generates invalid HLDS
 000003134 Bugminorresolved (juliensf)2007-12-10modules compilation on 64-bit platform eats too much memory
 000000481 Bugminorresolved (juliensf)2007-12-09change in --runtime-flags should rebuild <main>_init.o
 000002811 Bugmajorresolved (zs)2007-11-19Unexpected: adjust_livevals
 00000272   Bugcrashresolved (juliensf)2007-11-14Type var in instance declaration can cause compiler to crash
 000001871 Bugminorresolved (juliensf)2007-11-08inconsistent treatment of true goals with no outputs.
 000002511 Bugcrashconfirmed2007-11-01tabling of predicates with type class constraints causes an internal compiler error
 000002111 Bugminorresolved (juliensf)2007-11-01equivalences for solver types lead to badly typed initialisation predicates
 00000243   Bugminorresolved (juliensf)2007-10-31Debugger commands inconsistant with help message.
 000000711 Bugminorfeedback2007-10-26Type ctor module name bug
 0000022 1 Bugminornew2007-10-23compiler abort with memoing, dead proc. elimination and the hlc backend
 000001121 Bugminorresolved (juliensf)2007-10-22instance declarations for unknown types accepted in interface
 000000612 Bugminorassigned (zs)2007-10-19compiler abort
 000000511 Bugminorresolved (juliensf)2007-10-19bad error message for state vars
 00000162   Bugtextresolved (juliensf)2007-10-18doc: description of float token wrong
 000001912 Bugminorconfirmed2007-10-16foreign type mutables don't work in high-level C grades
 0000009 1 Bugminornew2007-10-13spurious error message when testing equivalence of equal things
 00000131   Bugminorassigned (juliensf)2007-10-12builtin types inconsistently module qualified
 0000014    Bugminornew2007-10-03mmc --make install should not touch unmodified files
 000000241 Bugminorresolved (petdr)2007-10-03equivalence types in instance declarations
 000000121 Bugminoracknowledged2007-09-25non-instructive error message: 'unused' mode requires explicit lambda expression