1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE GeneralisedNewtypeDeriving #-}
module Language.Haskell.Syntax.Basic where
import Data.Data
import Data.Eq
import Data.Ord
import Data.Bool
import Data.Int (Int)
import GHC.Data.FastString (FastString)
import Control.DeepSeq
{-
************************************************************************
* *
Boxity
* *
************************************************************************
-}
data Boxity
= Boxed
| Unboxed
deriving( Eq, Data )
isBoxed :: Boxity -> Bool
isBoxed Boxed = True
isBoxed Unboxed = False
{-
************************************************************************
* *
Counts and indices
* *
************************************************************************
-}
-- | The width of an unboxed sum
type SumWidth = Int
-- | A *one-index* constructor tag
--
-- Type of the tags associated with each constructor possibility or superclass
-- selector
type ConTag = Int
{-
************************************************************************
* *
Field Labels
* *
************************************************************************
-}
-- | Field labels are just represented as strings;
-- they are not necessarily unique (even within a module)
newtype FieldLabelString = FieldLabelString { field_label:: FastString }
deriving (Data, Eq, NFData)
{-
************************************************************************
* *
Field Labels
* *
************************************************************************
-}
-- | See Note [Roles] in GHC.Core.Coercion
--
-- Order of constructors matters: the Ord instance coincides with the *super*typing
-- relation on roles.
data Role = Nominal | Representational | Phantom
deriving (Eq, Ord, Data)
{-
************************************************************************
* *
Source Strictness and Unpackedness
* *
************************************************************************
-}
-- | Source Strictness
--
-- What strictness annotation the user wrote
data SrcStrictness = SrcLazy -- ^ Lazy, ie '~'
| SrcStrict -- ^ Strict, ie '!'
| NoSrcStrict -- ^ no strictness annotation
deriving (Eq, Data)
-- | Source Unpackedness
--
-- What unpackedness the user requested
data SrcUnpackedness = SrcUnpack -- ^ {-# UNPACK #-} specified
| SrcNoUnpack -- ^ {-# NOUNPACK #-} specified
| NoSrcUnpack -- ^ no unpack pragma
deriving (Eq, Data)
|
