aboutsummaryrefslogtreecommitdiff
path: root/test/worksheets/sigtest.sc
diff options
context:
space:
mode:
authorFelix Mulder <felix.mulder@gmail.com>2016-11-01 18:34:29 +0100
committerGuillaume Martres <smarter@ubuntu.com>2016-11-22 01:35:07 +0100
commit6a455fe6da5ff9c741d91279a2dc6fe2fb1b472f (patch)
treefe7729ddb03a84728687d5a3068f520b0bc1c297 /test/worksheets/sigtest.sc
parentb3855424280a821601f126b6b4c6a731b72540ea (diff)
downloaddotty-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.sc34
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