@@ -108,21 +108,21 @@ analysis0 a = Analysis { prevAnnotation = a
108
108
109
109
-- | Obtain either uniqueName or source name from an ExpValue variable.
110
110
varName :: Expression (Analysis a ) -> String
111
- varName (ExpValue (Analysis { uniqueName = Just n }) _ (ValVariable {})) = n
112
- varName (ExpValue (Analysis { sourceName = Just n }) _ (ValVariable {})) = n
113
- varName (ExpValue _ _ (ValVariable n)) = n
111
+ varName (ExpValue (Analysis { uniqueName = Just n }) _ (ValVariable {})) = n
112
+ varName (ExpValue (Analysis { sourceName = Just n }) _ (ValVariable {})) = n
113
+ varName (ExpValue _ _ (ValVariable n)) = n
114
114
varName (ExpValue (Analysis { uniqueName = Just n }) _ (ValIntrinsic {})) = n
115
115
varName (ExpValue (Analysis { sourceName = Just n }) _ (ValIntrinsic {})) = n
116
116
varName (ExpValue _ _ (ValIntrinsic n)) = n
117
- varName _ = error " Use of varName on non-variable."
117
+ varName _ = error " Use of varName on non-variable."
118
118
119
119
-- | Obtain the source name from an ExpValue variable.
120
120
srcName :: Expression (Analysis a ) -> String
121
- srcName (ExpValue (Analysis { sourceName = Just n }) _ (ValVariable {})) = n
122
- srcName (ExpValue _ _ (ValVariable n)) = n
121
+ srcName (ExpValue (Analysis { sourceName = Just n }) _ (ValVariable {})) = n
122
+ srcName (ExpValue _ _ (ValVariable n)) = n
123
123
srcName (ExpValue (Analysis { sourceName = Just n }) _ (ValIntrinsic {})) = n
124
124
srcName (ExpValue _ _ (ValIntrinsic n)) = n
125
- srcName _ = error " Use of srcName on non-variable."
125
+ srcName _ = error " Use of srcName on non-variable."
126
126
127
127
-- | Generate an ExpValue variable with its source name == to its uniqueName.
128
128
genVar :: Analysis a -> SrcSpan -> String -> Expression (Analysis a )
0 commit comments