summaryrefslogtreecommitdiff
path: root/src/full/Agda/Syntax/Scope/Base.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Syntax/Scope/Base.hs')
-rw-r--r--src/full/Agda/Syntax/Scope/Base.hs13
1 files changed, 6 insertions, 7 deletions
diff --git a/src/full/Agda/Syntax/Scope/Base.hs b/src/full/Agda/Syntax/Scope/Base.hs
index 34d9e45..184045b 100644
--- a/src/full/Agda/Syntax/Scope/Base.hs
+++ b/src/full/Agda/Syntax/Scope/Base.hs
@@ -1,10 +1,9 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE DeriveDataTypeable #-}
-{-# LANGUAGE GADTs #-}
+{-# LANGUAGE CPP #-}
+{-# LANGUAGE DeriveDataTypeable #-}
+{-# LANGUAGE GADTs #-}
{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE RankNTypes #-}
-{-# LANGUAGE TupleSections #-}
-
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE TupleSections #-}
{-| This module defines the notion of a scope and operations on scopes.
-}
@@ -113,7 +112,7 @@ data LocalVar
-- (List not empty).
deriving (Typeable)
-instance NFData LocalVar
+instance NFData LocalVar where rnf x = seq x ()
instance Eq LocalVar where
(==) = (==) `on` localVar