diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-08-30 19:23:56 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-08-30 19:23:56 +0200 |
| commit | 172887fb577526de92b0653b5d3153114f8ce02a (patch) | |
| tree | f9c1e1b6cd3448b3444954d3d90c5bcbb344bfb9 | |
| parent | 33d66f27f9eb3658d366fee71f0d0a0c5748a0e3 (diff) | |
Style
| -rw-r--r-- | src/AST.hs | 1 | ||||
| -rw-r--r-- | src/AST/Weaken.hs | 10 |
2 files changed, 5 insertions, 6 deletions
@@ -16,7 +16,6 @@ module AST (module AST, module AST.Weaken) where import Data.Functor.Const - import Data.Kind (Type) import Data.Int diff --git a/src/AST/Weaken.hs b/src/AST/Weaken.hs index d992404..432b687 100644 --- a/src/AST/Weaken.hs +++ b/src/AST/Weaken.hs @@ -1,13 +1,13 @@ -{-# LANGUAGE TypeOperators #-} -{-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE DataKinds #-} +{-# LANGUAGE EmptyCase #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE ScopedTypeVariables #-} -{-# LANGUAGE TypeFamilies #-} -{-# LANGUAGE TypeApplications #-} +{-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE StandaloneKindSignatures #-} -{-# LANGUAGE EmptyCase #-} +{-# LANGUAGE TypeApplications #-} +{-# LANGUAGE TypeFamilies #-} +{-# LANGUAGE TypeOperators #-} -- The reason why this is a separate module with "little" in it: {-# LANGUAGE AllowAmbiguousTypes #-} |