ilyakooo0/intellij-haskell
1
0
Fork 0
mirror of https://github.com/ilyakooo0/intellij-haskell.git synced 2024-08-17 10:40:44 +03:00
Code Issues Projects Releases Wiki Activity

Be sure ":browse Prelude" always has qualified identifiers

Browse Source
This commit is contained in:
Rik van der Kleij 2019-11-03 13:41:07 +01:00
parent da0c9de46a
commit dd951e98d0
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/main/scala/intellij/haskell/external/repl/StackRepl.scala vendored
View File

@ -85,6 +85,8 @@ abstract class StackRepl(project: Project, componentInfo: Option[StackComponentI
def getComponentName: String = componentInfo.map(_.target).map(t => "project-stack-repl-" + t).getOrElse("global-stack-repl")
def isGlobalRepl: Boolean = componentInfo.isEmpty
private val stdoutResult = new ArrayBuffer[String]
private val stderrResult = new ArrayBuffer[String]
@ -315,7 +317,12 @@ abstract class StackRepl(project: Project, componentInfo: Option[StackComponentI
}
private def createGhciOptionsFile: File = {
val ghciOptionsFile = new File(GlobalInfo.getIntelliJHaskellDirectory, "repl.ghci")
val ghciOptionsFile = if (isGlobalRepl) {
new File(GlobalInfo.getIntelliJHaskellDirectory, "global-repl.ghci")
} else {
new File(GlobalInfo.getIntelliJHaskellDirectory, "repl.ghci")
}
if (!ghciOptionsFile.exists()) {
ghciOptionsFile.createNewFile()
ghciOptionsFile.setWritable(true, true)
@ -324,6 +331,12 @@ abstract class StackRepl(project: Project, componentInfo: Option[StackComponentI
val writer = new BufferedWriter(new FileWriter(ghciOptionsFile))
try {
writer.write(s""":set prompt "$EndOfOutputIndicator\\n"""")
if (isGlobalRepl) {
writer.write("\n")
writer.write(s""":set -XNoImplicitPrelude""")
writer.write("\n")
writer.write(":l") // Force Prelude is not loaded because for :browse qualified identifiers are needed
}
} finally {
writer.close()
}