diff -ru hat-2.04-downloaded/src/hattools/Makefile hat-2.04-patched/src/hattools/Makefile --- hat-2.04-downloaded/src/hattools/Makefile 2005-05-04 16:09:24.000000000 +0200 +++ hat-2.04-patched/src/hattools/Makefile 2005-06-23 15:21:47.000000000 +0200 @@ -49,7 +49,7 @@ rm -f $(ALLCOBJS) hmake -realclean -hc=$(HC) -d$(OBJDIR) \ HatObserve HatTrail HatDetect HatStack HatExplore HatCover \ - SrcRefViewer HatAnim BlackHat HatNonterm + SrcRefViewer HatAnim BlackHat HatNonTerm realclean: clean rm -f $(PROGS) $(OBJDIR): diff -ru hat-2.04-downloaded/src/hattrans/Flags.hs hat-2.04-patched/src/hattrans/Flags.hs --- hat-2.04-downloaded/src/hattrans/Flags.hs 2003-07-02 13:17:59.000000000 +0200 +++ hat-2.04-patched/src/hattrans/Flags.hs 2005-06-23 15:23:56.000000000 +0200 @@ -31,7 +31,7 @@ import IO import OsOnly(fixRootDir,fixTypeFile,fixObjectFile ,fixHatAuxFile,fixHatTransFile,fixHatFileBase) -import List(isPrefixOf) +import List(isPrefixOf,isSuffixOf) import Char(isDigit) @@ -115,7 +115,7 @@ , sUnix = fElem True "unix" xs -- ^ Use unix file names - , sUnlit = fElem False "unlit" xs + , sUnlit = fElem (".lhs" `isSuffixOf` realfile) "unlit" xs -- ^ Unliterate the source code , sPrelude = fElem False "prelude" xs -- Keep prelude definitions in interface file