View difference between Paste ID: <a href="/H9Eic8Sd">H9Eic8Sd</a> and <a href="/egHhFfp0">egHhFfp0</a>

import
1		import
2		language
3		.
4		{
5		existentials
6		,
7		higherKinds
8		,
9		implicitConversions
10		}
11		object
12		Hello
13		extends
14		App
15		{
16		trait
17		Arg
18		[
19		+
20		A
21		]
22		<:
23		Any
24		{
25		self
26		:
27		Run
28		.
29		type
30		=>
31		type
32		Q
33		[
34		+
35		A
36		]
37		<:
38		A
39		}
40		object
41		Run
42		extends
43		Arg
44		[
45		Arg
46		[
47		Hello
48		.
49		type
50		]
51		#
52		Q
53		[
54		this
55		.
56		type
57		]
58		]
59		implicit
60		def
61		convert
62		(
63		a
64		:
65		Any
66		)
67		:
68		Nothing
69		=
70		a
71		.
72		asInstanceOf
73		implicit
74		val
75		put
76		=
77		(
78		a
79		:
80		Any
81		with
82		Arg
83		[
84		_
85		]
86		#
87		Q
88		[
89		String
90		]
91		)
92		=>
93		println(
94		a
95		)
96		implicit
97		val
98		hello
99		:
100		Any
101		with
102		Arg
103		[
104		_
105		]
106		#
107		Q
108		[
109		String
110		]
111		=
112		"hello world"
113		.
114		asInstanceOf
115		[
116		Any
117		with
118		Arg
119		[
120		_
121		]
122		#
123		Q
124		[
125		String
126		]
127		]
128		implicit
129		def
130		run
131		(
132		implicit
133		f
134		:
135		Any
136		with
137		Arg
138		[
139		_
140		]
141		#
142		Q
143		[
144		String
145		]
146		=>
147		Unit
148		,
149		a
150		:
151		Any
152		with
153		Arg
154		[
155		_
156		]
157		#
158		Q
159		[
160		String
161		]
162		)
163		:
164	-	Run.type
164	+
165		.
166		type
167		=
168		{
169		f(
170		a
171		)
172		Run
173		}
174		implicitly
175		[
176		Run
177		.
178		type
179		]
180		}