    --  The Compiler Toolkit: configuration switches
    --
    --  Author : Manuel M. T. Chakravarty
    --  Created: 3 October 95
    --
    --  Version $Revision: 1.1.1.1 $ from $Date: 2004/11/13 16:42:45 $
    --
    --  Copyright (c) [1995...1999] Manuel M. T. Chakravarty
    --
    --  This library is free software; you can redistribute it and/or
    --  modify it under the terms of the GNU Library General Public
    --  License as published by the Free Software Foundation; either
    --  version 2 of the License, or (at your option) any later version.
    --
    --  This library is distributed in the hope that it will be useful,
    --  but WITHOUT ANY WARRANTY; without even the implied warranty of
    --  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
    --  Library General Public License for more details.
    --
    --- DESCRIPTION ---------------------------------------------------------------
    --
    --  This modules is used to configure the toolkit.
    --
    --- DOCU ----------------------------------------------------------------------
    --
    --  language: Haskell 98
    --
    --  * Must not import any other module.
    --
    --- TODO ----------------------------------------------------------------------
    --

    module Config (-- limits
                   --
                   errorLimit,
                   --
                   -- debugging
                   --
                   assertEnabled)
    where

    -- compilation aborts with a fatal error, when the given number of errors
    -- has been raised (warnings do not count)
    --
    errorLimit :: Int
    errorLimit :: Int
    errorLimit  = Int
    20

    -- specifies whether the internal consistency checks with `assert' should be
    -- made
    --
    assertEnabled :: Bool
    assertEnabled :: Bool
    assertEnabled  = Bool
    True