% mmc -C liveness_test_case.m -s asm_fast.gc -O5 --intermod-opt
% Uncaught Mercury exception:
% Software Error: predicate `ll_backend.liveness.require_equal'/4: Unexpected: branches of if-then-else disagree on liveness
% First:
% Rest:  Cs_8

:- module liveness_test_case.
:- interface.

:- import_module string.

:- pred normalise_drive_colon(string::in, string::out) is semidet.

:- implementation.

:- import_module char.
:- import_module list.

normalise_drive_colon(S0, S) :-
    string.to_char_list(S0, Cs0),
    Cs0 = [C0, ':'],
    char.to_upper(C0, C),
    C \= C0,
    Cs = [C, ':'],
    string.from_char_list(Cs, S).