diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-01 18:34:29 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:07 +0100 |
commit | 6a455fe6da5ff9c741d91279a2dc6fe2fb1b472f (patch) | |
tree | fe7729ddb03a84728687d5a3068f520b0bc1c297 /test/worksheets/sigtest.sc | |
parent | b3855424280a821601f126b6b4c6a731b72540ea (diff) | |
download | dotty-6a455fe6da5ff9c741d91279a2dc6fe2fb1b472f.tar.gz dotty-6a455fe6da5ff9c741d91279a2dc6fe2fb1b472f.tar.bz2 dotty-6a455fe6da5ff9c741d91279a2dc6fe2fb1b472f.zip |
Move (most) unit tests to correct locations
Should still perhaps move `test/dotc/tests.scala` and the others in the
same directory to a better more cohesive location. Would like to delete
the worksheets as well - but maybe they hold sentimental value...
Diffstat (limited to 'test/worksheets/sigtest.sc')
-rw-r--r-- | test/worksheets/sigtest.sc | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/test/worksheets/sigtest.sc b/test/worksheets/sigtest.sc new file mode 100644 index 000000000..ed3793f1c --- /dev/null +++ b/test/worksheets/sigtest.sc @@ -0,0 +1,34 @@ +package test + +import dotty.tools.dotc._ +import core._ +import Decorators._ +import Types._, Symbols._ + +object sigtest extends DottyTest { + println("Welcome to the Scala worksheet") //> Welcome to the Scala worksheet + val int = ctx.requiredClass("scala.Int") //> int : dotty.tools.dotc.core.Symbols.ClassSymbol = class Int + int.signature //> res0: dotty.tools.dotc.core.Denotations.Signature = List() + val intmeth = methType("x")(int.symbolicRef)() //> intmeth : dotty.tools.dotc.core.Types.MethodType = MethodType(List(x), List + //| (TypeRef(ThisType(module class scala),Int)), TypeRef(ThisType(module class s + //| cala),Unit)) + intmeth.signature //> res1: dotty.tools.dotc.core.Denotations.Signature = List(Int) + val arr = defn.ArrayType.appliedTo(int.symbolicRef) + //> arr : dotty.tools.dotc.core.Types.Type = RefinedType(TypeRef(ThisType(modul + //| e class scala),Array), scala$Array$$T, TypeAlias(TypeRef(ThisType(module cla + //| ss scala),Int)) | hash = 1907214242) + val arraymeth = methType("x")(arr)() //> arraymeth : dotty.tools.dotc.core.Types.MethodType = MethodType(List(x), Li + //| st(RefinedType(TypeRef(ThisType(module class scala),Array), scala$Array$$T, + //| TypeAlias(TypeRef(ThisType(module class scala),Int)) | hash = 1907214242)), + //| TypeRef(ThisType(module class scala),Unit)) + arraymeth.signature //> res2: dotty.tools.dotc.core.Denotations.Signature = List(Int[]) + val curriedmeth = methType("x", "y")(defn.IntType, defn.BooleanType)(methType("z")(defn.ArrayType.appliedTo(defn.IntType))()) + //> curriedmeth : dotty.tools.dotc.core.Types.MethodType = MethodType(List(x, y + //| ), List(TypeRef(ThisType(module class scala),Int), TypeRef(ThisType(module c + //| lass scala),Boolean)), MethodType(List(z), List(RefinedType(TypeRef(ThisType + //| (module class scala),Array), scala$Array$$T, TypeAlias(TypeRef(ThisType(modu + //| le class scala),Int)) | hash = 1808140099)), TypeRef(ThisType(module class s + //| cala),Unit))) + curriedmeth.signature //> res3: dotty.tools.dotc.core.Denotations.Signature = List(Int, Boolean, Int[] + //| ) +}
\ No newline at end of file |