1 interface Source_Position where
2 make :: Int -> Int -> Source_Position
4 next_line :: Source_Position -> Source_Position
5 {-# ARITY next_line = 1 #-}
6 shift_column :: Source_Position -> Int -> Source_Position
7 {-# ARITY shift_column = 2 #-}
8 show_pos :: Source_Position -> [Char] -> [Char]
9 {-# ARITY show_pos = 1 #-}
10 start :: Source_Position
11 {-# ARITY start = 0 #-}
12 data Source_Position = Source_Position Int Int
13 instance Text Source_Position
14 {-# ARITY readsPrec = 0 #-}
15 {-# ARITY showsPrec = 2 #-}
16 {-# ARITY readList = 0 #-}
17 {-# ARITY showList = 0 #-}