SourceGraphでの型宣言に対する解析結果（read "False" :: Boolみたいなの）

read "False" :: Bool

とかに対して，SourceGraphで解析するとどうなるかのまとめ．結論としては，Boolの部分は全く解析結果に反映されない．

module Main where

dt = pi/8 :: Float

fromList [
(LocalMod {modName = "Main"},
 PM {moduleName = LocalMod {modName = "Main"},
     imports = fromList [],
     exports = fromList [Ent {inModule = UnknownMod, name = "main", eType = NormalEntity}],
     dataDecls = fromList [], 
     classDecls = fromList [], 
     instDecls = fromList [], 
     topEnts = fromList [Ent {inModule = LocalMod {modName = "Main"},
                              name = "dt",
                              eType = NormalEntity}],
     virtualEnts = fromList [], 
     funcCalls = fromOccurList
       [(FC {fromEntity = Ent {inModule = LocalMod {modName = "Main"},
                               name = "dt",
                               eType = NormalEntity},
             toEntity = Ent {inModule = UnknownMod,
                             name = "/", 
                             eType = NormalEntity},
             callType = NormalCall},
         1),
        (FC {fromEntity = Ent {inModule = LocalMod {modName = "Main"},
                               name = "dt", 
                               eType = NormalEntity},
             toEntity = Ent {inModule = UnknownMod,
                             name = "pi", 
                             eType = NormalEntity},
             callType = NormalCall},
         1)]})]