blob: 816a00d5db6664d7363da361cf60cd4ee56b5e5c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
/* NSC -- new Scala compiler
* Copyright 2005-2010 LAMP/EPFL
* @author Paul Phillips
*/
package scala.tools.nsc
package util
import io.Sources
trait ScalaPrefs {
def codeSources: Sources
def exceptionFormatter: Exceptional.Formatter
}
trait LowPriorityScalaPrefs {
implicit object DefaultScalaPrefs extends ScalaPrefs {
def codeSources = Sources.defaultSources
def exceptionFormatter = Exceptional.Formatter(this)
}
}
object ScalaPrefs extends LowPriorityScalaPrefs {
def apply(implicit prefs: ScalaPrefs): ScalaPrefs = prefs
}
|