[mercury-users] Minor det_univ_to_type bug

[Nicholas Nethercote]

Hi,

If det_univ_to_type aborts, the message looks like this:

   dzn-basics: det_univ_to_type: conversion failed\n	Univ Type: univ.univ\n	Object Type: fd.fdvar

The relevant code is in univ.m:

det_univ_to_type(Univ, X) :-
     ( type_to_univ(X0, Univ) ->
         X = X0
     ;
         UnivTypeName = type_name(univ_type(Univ)),
         ObjectTypeName = type_name(type_of(X)),
         string.append_list(["det_univ_to_type: conversion failed\\n",
             "\tUniv Type: ", UnivTypeName,
             "\\n\tObject Type: ", ObjectTypeName], ErrorString),
         error(ErrorString)
     ).

For some reason the newlines have a double-backslash at the front, they 
should only have a single backslash.

Nick
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------