[m-rev.] for review: announce a bunch of bug fixes

[Julien Fischer]

Hi Peter,

On Mon, 6 Jan 2020, Peter Wang wrote:

> On Mon, 6 Jan 2020 16:11:14 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
>> -* We have fixed a long-standing bug causing crashes in deep profiling
>> -  grades, related to unify/compare for tuples. [Mantis bug #3]
>> -
>>   * We have fixed some bugs with constrained polymorphic modes.
>>
>>   * The compiler now reports an error for binary/octal/hexadecimal integer
>>     literals that cannot be represented in the compiler's native `int` type.
>>
>> +* [Mantis bug #3]. We have fixed a long-standing bug causing crashes in
>> +  deep profiling grades, related to unify/compare for tuples.
>> +
>
> I prefer the bug number at the end, with no full stop after the closing
> bracket.

The problem with that is that its more likely to end up with weird
looking line breaks in the HTML version (i.e. in the middle of the
reference to the bug).

...

>> +* [Mantis bug #318]. We no longer erroneously report an error if a
>> +  `foreign_type` pragma precedes the `:- type` declaration to which it applies.
>> +
>> +* [Mantis bug #388]. We have fixed a bug where JAR files were being installed
>> +  with incorrect permissions.
>> +
>> +* [Mantis bug #391]. We have fixed a bug where the conditions on `trace` goals
>> +  were being discarded when inlined across module boundaries.
>> +
>> +* [Mantis bug #402]. The current state of a state variable can now by used in
>> +  the head of a `require_complete_switch` scope.
>
> be used

Fixed.

>> +* [Mantis bug #415]. We have fixed a bug that cause the compiler to go into
>> +  an infinite loop when pretty printing recursive insts for use in error
>> +  messages.
>
> that caused

Fixed.

>> +
>> +* [Mantis bug #420]. We have fixed a bug where `try` goals that were inlined
>> +  across module boundaries would ignore exceptions instead of catching them.
>> +
>> +* [Mantis bug #436]. We have fixed a bug where the compiler would silently
>> +  allow a `foreign_enum` pragma to contain a constructor not belonging to the
>> +  type that is the subject of the pragma.
>> +
>> +* [Mantis bug #437]. We have fixed a bug that caused an abort if an empty
>> +  submodule was encountered.
>
> caused the compiler to abort

Done.

>> @@ -1116,6 +1156,12 @@ Portability improvements
>>
>>     See README.AIX for further details.
>>
>> +* [Mantis bug #357]. We now use the `libdispatch` implementation of semaphores
>> +  on OS X as the POSIX one was a non-functional stub.
>> +
>> +* [Mantis bug #463]. We now allow the use of the Microsoft C# compiler
>> +  (i.e. Roslyn) in POSIX environments.
>
> support the use

Done.

Julien.