 Svetlana Isakova
|
b162a65e85
|
Changed the way the constraints are written in tests
SUBTYPE T Int -> T <: Int
|
2015-07-13 21:57:59 +03:00 |
|
|
Svetlana Isakova
|
722a49767a
|
Rename: TypeConstructorMismatch -> ParameterConstraintError
|
2015-07-10 15:05:12 +03:00 |
|
|
Svetlana Isakova
|
4701310852
|
Removed unnecessary check to prevent infinite recursion in incorporation
|
2015-07-10 15:05:11 +03:00 |
|
|
Svetlana Isakova
|
fc69cf1b5e
|
Added more tests on incorporation
|
2015-07-10 15:05:09 +03:00 |
|
|
Svetlana Isakova
|
4c1eedce3b
|
Added tests for incorporation with nullable type parameter
|
2015-07-10 15:05:09 +03:00 |
|
|
Svetlana Isakova
|
89e16ecbcc
|
Don't generate constraint if a type variable was substituted twice
to prevent infinite recursion
|
2015-07-10 15:05:06 +03:00 |
|
|
Svetlana Isakova
|
3b85ac90ba
|
Check initial constraints in constraint system status
|
2015-07-10 15:05:06 +03:00 |
|
|
Svetlana Isakova
|
db8085c399
|
Incorporation tests
|
2015-07-10 15:05:05 +03:00 |
|
|
Svetlana Isakova
|
1463ff7258
|
Updated constraint system tests
|
2015-07-10 15:05:04 +03:00 |
|
|
Svetlana Isakova
|
82acce4767
|
Separate input and result data in constraint system test
input file: *.constraints
result file: *.bounds
|
2015-07-10 15:05:03 +03:00 |
|
|
Svetlana Isakova
|
0fdfb6b5db
|
Render short names in constraint system tests
|
2015-07-10 15:05:02 +03:00 |
|
|
Svetlana Isakova
|
5717148bd4
|
Changed test data
Added an extra blank line to rendered constraint system
|
2015-07-10 15:05:02 +03:00 |
|
|
Svetlana Isakova
|
918087f475
|
Don't render constraint positions in tests
for constraint system, it's always SPECIAL anyway
|
2015-07-10 15:05:02 +03:00 |
|
|
Svetlana Isakova
|
070dba69fa
|
Don't add a constraint T <: DONT_CARE from upper bounds
|
2014-12-12 23:08:27 +03:00 |
|
|
Svetlana Isakova
|
1fb713342b
|
Capture types only on the top level
|
2014-12-12 23:08:27 +03:00 |
|
|
Svetlana Isakova
|
a2fa38a7f9
|
Rewritten ConstraintPosition to Kotlin
Added ConstraintPositionKind
(to be able to use enum constants from Java code)
|
2014-12-12 23:08:26 +03:00 |
|
|
Alexander Udalov
|
f7b6457139
|
Replace "jet" package name with "kotlin" in testData
|
2014-03-02 19:55:26 +04:00 |
|
|
Svetlana Isakova
|
9832676701
|
generate constraint system tests
more tests added
|
2014-02-12 12:48:13 +04:00 |
|