Searched refs:argsIdeOptions (Results 1 – 8 of 8) sorted by relevance
159 , argsIdeOptions :: Config -> Action IdeGhcSession -> IdeOptions function177 , argsIdeOptions = const defaultIdeOptions function249 let def_options = argsIdeOptions config sessionLoader301 let def_options = argsIdeOptions argsDefaultHlsConfig sessionLoader352 let def_options = argsIdeOptions argsDefaultHlsConfig sessionLoader
172 argsIdeOptions = \config sessionLoader -> function173 … let ideOptions = (argsIdeOptions def config sessionLoader) {optTesting = IdeTesting True}
74 ,Main.argsIdeOptions = \config sessionLoader ->
109 , Main.argsIdeOptions = \_config sessionLoader ->