From f839c0ee233b5208fbdf50ab4e9f4d064403b63c Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Mon, 14 Oct 2024 10:04:48 +0000 Subject: [PATCH] Laltools.Common: remove "<" for Source_Location_Range Langkit_Support.Slocs now provides this operator. (cherry picked from commit 948a517a226674067acd4c7e1260122e0981c856) --- src/laltools-common.adb | 13 ------------- src/laltools-common.ads | 6 ------ 2 files changed, 19 deletions(-) diff --git a/src/laltools-common.adb b/src/laltools-common.adb index 5a33f438..91cd2ef6 100644 --- a/src/laltools-common.adb +++ b/src/laltools-common.adb @@ -44,19 +44,6 @@ package body Laltools.Common is Message : String := ""); -- Log an exception in the given traces, with an optional message. - --------- - -- "<" -- - --------- - - function "<" (Left, Right : Source_Location_Range) return Boolean is - begin - if Left.Start_Line = Right.Start_Line then - return Left.Start_Column < Right.Start_Column; - end if; - - return Left.Start_Line < Right.Start_Line; - end "<"; - ------------------------ -- Append_If_Not_Null -- ------------------------ diff --git a/src/laltools-common.ads b/src/laltools-common.ads index d0693f65..c8b89902 100644 --- a/src/laltools-common.ads +++ b/src/laltools-common.ads @@ -56,12 +56,6 @@ package Laltools.Common is -- If Left.Text = Right.Text then Full_Sloc_Image will sort first by -- file and then by Sloc (first by line and then by column). - function "<" - (Left, Right : Source_Location_Range) - return Boolean; - -- Checks if L is < than R, first based on the line number and then on - -- the column number - function "<" (Left, Right : Base_Id) return Boolean is (Left.Text < Right.Text or else Left.Sloc_Range < Right.Sloc_Range);