From 9d3eae9de337aaf3377e6934aba12d78b1442267 Mon Sep 17 00:00:00 2001
From: sewardj <unknown>
Date: Mon, 2 Oct 2000 14:39:57 +0000
Subject: [PATCH] [project @ 2000-10-02 14:39:57 by sewardj] @ModSummary@
wibble.
---
ghc/docs/ghci/ghci.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ghc/docs/ghci/ghci.tex b/ghc/docs/ghci/ghci.tex
index affed53982a6..76ef22058e25 100644
--- a/ghc/docs/ghci/ghci.tex
+++ b/ghc/docs/ghci/ghci.tex
@@ -180,9 +180,9 @@ can be created quickly.
\begin{verbatim}
data ModSummary = ModSummary
ModLocation -- location and kind
- Maybe (String, Fingerprint)
+ (Maybe (String, Fingerprint))
-- source and fingerprint if .hs
- [ModName] -- imports
+ (Maybe [ModName]) -- imports if .hs or .hi
type Fingerprint = ... -- file timestamp, or source checksum?
--
GitLab