| | | 0000208 | 1 | |
Bug | feature | resolved (juliensf) | 2023-10-08 | add help and version command line options to mslice and mdice |
| | | 0000537 | | |
Feature Request | feature | new | 2021-08-31 | unique file handles |
| | | 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 |
| | | 0000326 | 3 | |
Feature Request | feature | resolved (wangp) | 2016-04-04 | disable rpath |
| | | 0000218 | 2 | |
Bug | feature | new | 2011-09-26 | Feature request: mdb commands for working with common data structures. |
| | | 0000192 | | |
Bug | feature | new | 2011-03-23 | State variable record notation enhancement |
| | | 0000143 | 2 | 1 |
Bug | feature | resolved (juliensf) | 2010-05-20 | ':- initialise' directives not being respected. |
| | | 0000141 | 4 | 2 |
Bug | feature | new | 2010-04-01 | integer has no method for converting to int with wraparound |
| | | 0000112 | 4 | |
Bug | feature | resolved (juliensf) | 2009-10-17 | set_* modules inconsistent |
| | | 0000151 | 2 | |
Bug | trivial | resolved (juliensf) | 2022-10-11 | Incorrect documentation for string.unsafe_set_char |
| | | 0000465 | | |
Bug | trivial | new | 2018-07-27 | link lib error when compiling hello.m |
| | | 0000231 | 1 | 2 |
Bug | trivial | new | 2014-10-09 | No way to specify instantiatedness of char type |
| | | 0000266 | 2 | |
Bug | trivial | assigned (juliensf) | 2012-12-07 | --no-warn-missing-det-decls doesn't exist |
| | | 0000251 | 1 | 1 |
Bug | trivial | resolved (zs) | 2012-01-30 | eqvclass.ensure_equivalence(X, X) causes exception |
| | | 0000241 | 1 | 1 |
Bug | trivial | resolved (juliensf) | 2011-12-04 | require_semidet doesn't parse |
| | | 0000212 | 1 | |
Bug | trivial | resolved (juliensf) | 2011-10-25 | Documentation of --no-warn-undefined-options-variables is actually for --warn-undefined-options-variables |
| | | 0000156 | 1 | 1 |
Bug | text | acknowledged (pbone) | 2018-03-13 | Headers in deep profiler clique report are incorrect. |
| | | 0000236 | 2 | |
Bug | text | new | 2011-11-28 | Documentation for unsorted_aggregate incorrect (trivial) |
| | | 0000215 | 1 | |
Bug | text | resolved (juliensf) | 2011-09-05 | Documentation of assoc_list.filter/4 is missing the TrueList argument |
| | | 0000210 | 1 | |
Bug | text | resolved (juliensf) | 2011-08-19 | Language Reference confuses maybeskel and listskel in "Insts, modes, and mode definitions" |
| | | 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 |
| | | 0000198 | 3 | |
Bug | text | resolved (juliensf) | 2011-05-19 | event is a keyword but not mentioned in documentation |
| | | 0000140 | | |
Bug | text | acknowledged | 2010-04-01 | Manual section 10 doesn't mention existential types |
| | | 0000138 | 1 | |
Bug | text | resolved (juliensf) | 2010-03-16 | Mistake in Language Reference, section 2.3 |
| | | 0000132 | 1 | 1 |
Bug | text | resolved (juliensf) | 2010-02-02 | Typo in make_hlds_warn ("ccur") |
| | | 0000096 | 5 | |
Bug | text | resolved (rafe) | 2010-01-27 | some predicates parsing_utils are documented with arguments in an incorrect order. |
| | | 0000016 | 2 | |
Bug | text | resolved (juliensf) | 2007-10-18 | doc: description of float token wrong |
| | | 0000328 | 3 | |
Bug | tweak | new | 2014-05-01 | dir.foldl2 should be called dir.fold2 |
| | | 0000308 | 3 | |
Feature Request | tweak | closed | 2014-02-21 | --max-error-line-width should allow '0' meaning no-maximum |
| | | 0000285 | 3 | |
Bug | tweak | new | 2013-06-28 | Mode error is misleading |
| | | 0000226 | 15 | |
Bug | tweak | resolved (juliensf) | 2013-01-08 | lazy.read_if_val unsound |
| | | 0000193 | 2 | 1 |
Bug | tweak | confirmed | 2012-07-06 | --introduce-accumulators doesn't recognize "promise all" containing type annotation |
| | | 0000248 | 1 | |
Bug | tweak | resolved (juliensf) | 2012-01-18 | Inconsistent argument ordering of singleton_set |
| | | 0000225 | 5 | 1 |
Bug | tweak | new | 2011-11-04 | Module-level mutable with type "semaphore" causes hlc grade compilation to break. |
| | | 0000195 | 1 | |
Bug | tweak | confirmed | 2011-04-07 | mmc --java ignores -o option |
| | | 0000178 | | |
Bug | tweak | new | 2011-01-12 | browser/browser_test.m does not compile. |
| | | 0000095 | 1 | |
Bug | tweak | resolved (rafe) | 2009-06-16 | svset module descriptions don't match declarations. |
| | | 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 |
| | | 0000569 | 2 | 1 |
Bug | minor | resolved (wangp) | 2023-12-06 | timestamp regression with nested submodules in mmc --make |
| | | 0000566 | 7 | |
Bug | minor | resolved (wangp) | 2023-10-16 | undefined variable warnings with GNU Make 4.4.0.90 |
| | | 0000494 | 2 | |
Bug | minor | resolved (juliensf) | 2023-08-02 | hard_coded/nonascii fails on Windows |
| | | 0000284 | 2 | |
Bug | minor | closed (juliensf) | 2022-10-11 | Diff sample crashes in erlang grade |
| | | 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. |
| | | 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 |