Exemplo n.º 1
0
def symbol_info(filename, module_name, symbol_name, cabal = None, no_ghci = False):
    result = None
    if hdevtools.hdevtools_enabled():
        result = hdevtools.hdevtools_info(filename, symbol_name, cabal = cabal)
    if not result and ghcmod.ghcmod_enabled():
        result = ghcmod.ghcmod_info(filename, module_name, symbol_name, cabal = cabal)
    if not result and not filename and not no_ghci:
        result = ghci.ghci_info(module_name, symbol_name, cabal = cabal)
    return result
Exemplo n.º 2
0
def symbol_info(filename, module_name, symbol_name, cabal = None, no_ghci = False):
    result = None
    if hdevtools.hdevtools_enabled():
        result = hdevtools.hdevtools_info(filename, symbol_name, cabal = cabal)
    if not result and ghcmod.ghcmod_enabled():
        result = ghcmod.ghcmod_info(filename, module_name, symbol_name, cabal = cabal)
    if not result and not filename and not no_ghci:
        result = ghci.ghci_info(module_name, symbol_name, cabal = cabal)
    return result
Exemplo n.º 3
0
def symbol_info(filename, module_name, symbol_name, cabal=None):
    result = None
    if common.get_setting_async("enable_hdevtools"):
        result = hdevtools.hdevtools_info(filename, symbol_name, cabal=cabal)
    if not result:
        result = ghcmod.ghcmod_info(filename, module_name, symbol_name, cabal=cabal)
    if not result and filename:
        result = ghci.ghci_info(module_name, symbol_name, cabal=cabal)
    return result