diff options
Diffstat (limited to 'src/GF/Infra/ReadFiles.hs')
| -rw-r--r-- | src/GF/Infra/ReadFiles.hs | 5 |
1 files changed, 3 insertions, 2 deletions
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 |
