From 94f8d310cba278361333c723ef55816ccb632cbc Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 17 Jun 2004 14:10:06 +0000 Subject: path in file name test in ReadFiles --- src/GF/Infra/ReadFiles.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/GF/Infra/ReadFiles.hs') diff --git a/src/GF/Infra/ReadFiles.hs b/src/GF/Infra/ReadFiles.hs index b1440ee4b..8d835284d 100644 --- a/src/GF/Infra/ReadFiles.hs +++ b/src/GF/Infra/ReadFiles.hs @@ -161,8 +161,9 @@ getImports ps = get [] where let name = fileBody file0 (p,s) <- tryRead name let ((typ,mname),imps) = importsOfFile s - ioeErr $ testErr (mname == name) $ - "module name differs from file name in" +++ name + let namebody = justFileName name + ioeErr $ testErr (mname == namebody) $ + "module name" +++ mname +++ "differs from file name" +++ namebody case imps of _ | elem name (map (snd . fst . fst) ds) -> return ds --- file already read [] -> return $ (((typ,name),[]),p):ds -- cgit v1.2.3