Searched refs:lookupVarInfo (Results 1 – 1 of 1) sorted by relevance
671 lookupVarInfo :: TmState -> Id -> VarInfo673 lookupVarInfo (TmSt env _) x = fromMaybe (emptyVarInfo x) (lookupSDIE env x) function716 = initPossibleMatches ty_st (lookupVarInfo ts x)767 | VI _ pos neg _ <- lookupVarInfo ts x807 Just (Indirect y) -> vi_neg (lookupVarInfo ts y)817 lookupSolution delta x = case vi_pos (lookupVarInfo (delta_tm_st delta) x) of