1 {-# GHC_PRAGMA INTERFACE VERSION 3 #-}
2 interface ReadPragmas where
3 import BasicLit(BasicLit)
4 import HsCore(UfId, UnfoldingCoreAtom, UnfoldingCoreExpr)
5 import HsPragmas(ClassPragmas, DataPragmas, GenPragmas, InstancePragmas, TypePragmas)
6 import HsTypes(MonoType, PolyType)
7 import LiftMonad(LiftM)
9 import PrefixSyn(RdrTySigPragmas)
10 import ProtoName(ProtoName)
11 import SimplEnv(UnfoldingGuidance)
12 cvt_IdString :: [Char] -> ProtoName
13 {-# GHC_PRAGMA _A_ 1 _U_ 2 _S_ "S" _N_ _N_ #-}
14 rdBasicLit :: [Char] -> LiftM (BasicLit, [Char])
15 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
16 rdClassPragma :: [Char] -> LiftM (ClassPragmas ProtoName, [Char])
17 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
18 rdCoreAtom :: [Char] -> LiftM (UnfoldingCoreAtom ProtoName, [Char])
19 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
20 rdCoreBinder :: [Char] -> LiftM ((ProtoName, PolyType ProtoName), [Char])
21 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
22 rdCoreExpr :: [Char] -> LiftM (UnfoldingCoreExpr ProtoName, [Char])
23 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
24 rdCoreId :: [Char] -> LiftM (UfId ProtoName, [Char])
25 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
26 rdCoreType :: [Char] -> LiftM (PolyType ProtoName, [Char])
27 {-# GHC_PRAGMA _A_ 1 _U_ 2 _S_ "S" _N_ _N_ #-}
28 rdCoreTypeMaybe :: [Char] -> LiftM (Labda (PolyType ProtoName), [Char])
29 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
30 rdDataPragma :: [Char] -> LiftM (DataPragmas ProtoName, [Char])
31 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
32 rdGenPragma :: [Char] -> LiftM (GenPragmas ProtoName, [Char])
33 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
34 rdGuidance :: [Char] -> LiftM (UnfoldingGuidance, [Char])
35 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
36 rdInstPragma :: [Char] -> LiftM (Labda [Char], InstancePragmas ProtoName, [Char])
37 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
38 rdMonoTypeMaybe :: [Char] -> LiftM (Labda (MonoType ProtoName), [Char])
39 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
40 rdTySigPragmas :: [Char] -> LiftM (RdrTySigPragmas, [Char])
41 {-# GHC_PRAGMA _A_ 1 _U_ 2 _S_ "S" _N_ _N_ #-}
42 rdTypePragma :: [Char] -> LiftM (TypePragmas, [Char])
43 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
44 rd_constm :: [Char] -> LiftM ((ProtoName, GenPragmas ProtoName), [Char])
45 {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}