mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
e99ee372cd
Estimated hours taken: 0.1 Branches: main Fix compilation of extras/error. extras/error/error.m: Rename the type error.line/0 to error.line_number/0 since the former now conflicts with the recently added standard library type string.line/0.
Copyright (C) 2003 The University of Melbourne Error is a Mercury implementation of the most useful subset of the old Unix utility "error". It handles error messages of the format produced by the Mercury compiler and gcc.