summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Lynagh <ian@well-typed.com>2013-07-27 12:52:10 +0100
committerIan Lynagh <ian@well-typed.com>2013-07-27 13:59:37 +0100
commitf749f065a0856978bfa7dd028276bbc5f9a60750 (patch)
treee5f90242f7c58c2c2d57b6dd26a8dd8273b7fe36
parent75f762c67b6b0e3f9d0823580958e709c1f0d7b1 (diff)
downloadhaskell-f749f065a0856978bfa7dd028276bbc5f9a60750.tar.gz
Whitespace only in basicTypes/Avail.hs
-rw-r--r--compiler/basicTypes/Avail.hs31
1 files changed, 12 insertions, 19 deletions
diff --git a/compiler/basicTypes/Avail.hs b/compiler/basicTypes/Avail.hs
index 758a10412b..afe93ff480 100644
--- a/compiler/basicTypes/Avail.hs
+++ b/compiler/basicTypes/Avail.hs
@@ -2,13 +2,6 @@
-- (c) The University of Glasgow
--
-{-# OPTIONS -fno-warn-tabs #-}
--- The above warning supression flag is a temporary kludge.
--- While working on this module you are encouraged to remove it and
--- detab the module (please do the detabbing in a separate patch). See
--- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#TabsvsSpaces
--- for details
-
module Avail (
Avails,
AvailInfo(..),
@@ -32,24 +25,24 @@ import Util
-- The AvailInfo type
-- | Records what things are "available", i.e. in scope
-data AvailInfo = Avail Name -- ^ An ordinary identifier in scope
- | AvailTC Name
- [Name] -- ^ A type or class in scope. Parameters:
- --
- -- 1) The name of the type or class
- -- 2) The available pieces of type or class.
- --
- -- The AvailTC Invariant:
+data AvailInfo = Avail Name -- ^ An ordinary identifier in scope
+ | AvailTC Name
+ [Name] -- ^ A type or class in scope. Parameters:
+ --
+ -- 1) The name of the type or class
+ -- 2) The available pieces of type or class.
+ --
+ -- The AvailTC Invariant:
-- * If the type or class is itself
- -- to be in scope, it must be
- -- *first* in this list. Thus,
+ -- to be in scope, it must be
+ -- *first* in this list. Thus,
-- typically: @AvailTC Eq [Eq, ==, \/=]@
- deriving( Eq )
+ deriving( Eq )
-- Equality used when deciding if the
-- interface has changed
-- | A collection of 'AvailInfo' - several things that are \"available\"
-type Avails = [AvailInfo]
+type Avails = [AvailInfo]
-- | Compare lexicographically
stableAvailCmp :: AvailInfo -> AvailInfo -> Ordering