vegowotenks/scalie
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix[core]: remove redundant imports

Browse source
This commit is contained in:
vegowotenks 2025-08-15 12:37:34 +02:00
parent 36ae4dd5e0
commit b7e579dc20
2 changed files with 2 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/Language/Scalie/Core/Provenance/SourceLocation.hs
View file

@ -1,9 +1,6 @@
{-# LANGUAGE Safe #-} {-# LANGUAGE Safe #-}
module Language.Scalie.Core.Provenance.SourceLocation (SourceLocation(..)) where module Language.Scalie.Core.Provenance.SourceLocation (SourceLocation(..)) where
import Data.Kind (Type) import Data.Kind (Type)
import Text.Show (Show)
import Text.Read (Read)
import Data.Eq (Eq)
type SourceLocation :: Type type SourceLocation :: Type
data SourceLocation data SourceLocation

6
src/Language/Scalie/Domain/Type.hs
View file

@ -3,11 +3,9 @@
module Language.Scalie.Domain.Type (Type(..)) where module Language.Scalie.Domain.Type (Type(..)) where
import Data.Kind qualified import Data.Kind qualified
import Text.Show (Show)
import Text.Read (Read)
import Data.Eq (Eq)
import Test.QuickCheck (Arbitrary (arbitrary), Gen, oneof) import Test.QuickCheck (Arbitrary (arbitrary), Gen, oneof)
import Control.Applicative (Applicative(pure))
-- | The type of an expression in Scalie, not to be confused with the 'Type' provided by GHC
type Type :: Data.Kind.Type type Type :: Data.Kind.Type
data Type data Type