Added functionality to deal with function applications.

- Added Applications class to represent applications
- Added Constraint class to represent type constraints
- Added TyperState class to represent typer state
- Added Diagnostic class to buffer errors and warnings
- Added Inferencing class that contains some common functionality for type inferencing (this one's still rudimentary).

- Added extractor for FunctionType in Definitions
- Added desugaring of default parameters to default getters in Desugar
- Added flags to deal with default parameters
- Added substitutions that replace bound parameters

1 files changed, 1 insertions, 1 deletions

diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala
index dc3956fca..01d267aec 100644
--- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala
+++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala
@@ -79,7 +79,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
           val tycon = tp.unrefine
           val cls = tycon.typeSymbol
           if (cls.typeParams.length == args.length) {
-            if (cls == defn.RepeatedParamClass) return toTextLocal(args.head) ~ "*"
+            if (tycon.isRepeatedParam) return toTextLocal(args.head) ~ "*"
             if (cls == defn.ByNameParamClass) return "=> " ~ toText(args.head)
             if (defn.FunctionClasses contains cls) return toTextFunction(args)
             if (defn.TupleClasses contains cls) return toTextTuple(args)