From 065ca49b28e3c39bcbe4f69872302cec2a19850d Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sun, 8 Oct 2017 13:55:25 +0200 Subject: [PATCH] Include filename in LocationResult --- Cloogle.dcl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Cloogle.dcl b/Cloogle.dcl index 697c22b..38d1e88 100644 --- a/Cloogle.dcl +++ b/Cloogle.dcl @@ -201,10 +201,10 @@ from GenEq import generic gEq /** * A location in a Clean library * - * @representation The library, the module, the line in the definition module - * and the line in the implementation module + * @representation The library, the module, the filename, the line in the + * definition module and the line in the implementation module */ -:: LocationResult :== (String, String, Maybe Int, Maybe Int) +:: LocationResult :== (String, String, String, Maybe Int, Maybe Int) /** * A type unifier, represented with strings -- GitLab