elect
06/12/2019, 1:03 PMsksk
06/12/2019, 7:14 PMsksk
06/12/2019, 7:14 PMthomasnield
06/14/2019, 11:34 PMelect
06/15/2019, 3:09 PMDavide Giuseppe Farella
06/18/2019, 11:02 AMMarc Knaup
06/19/2019, 3:08 PMjosephivie
06/19/2019, 6:24 PMitnoles
06/20/2019, 2:28 AMDavide Giuseppe Farella
06/21/2019, 9:42 AMSuppress
annotation?
I.e. @PublicAPI
instead of use Suppress("MemberVisibilityCanBePrivate") // Public API
elect
06/24/2019, 11:06 AMJoan Colmenero
06/24/2019, 3:52 PMJoan Colmenero
06/24/2019, 4:41 PMpavel
06/25/2019, 2:51 PMGauthierPLM
06/28/2019, 6:02 AMFudge
07/02/2019, 8:03 AMhallvard
07/02/2019, 8:17 AMNoClassDefFoundError: org/jline/reader/LineReaderBuilder
. This is on kotlin 1.3.40 / Java 12. Any clues, anyone?tmg
07/02/2019, 4:49 PMAdam Hurwitz
07/02/2019, 5:42 PMoshai
07/08/2019, 12:16 PMthomasnield
07/08/2019, 9:12 PMMarc Knaup
07/10/2019, 8:00 PMthomasnield
07/11/2019, 12:48 AMvpriscan
07/12/2019, 4:59 PMrobstoll
07/18/2019, 4:27 AMrellenberger
07/19/2019, 1:54 AMelect
07/19/2019, 1:00 PMRuckus
07/19/2019, 8:47 PMFudge
07/20/2019, 8:56 PMFudge
07/22/2019, 9:11 AMError in contract description: only references to parameters are allowed in contract description
Will this restriction be lifted sometime in the future?Fudge
07/22/2019, 9:11 AMError in contract description: only references to parameters are allowed in contract description
Will this restriction be lifted sometime in the future?louiscad
07/22/2019, 9:13 AMFudge
07/22/2019, 9:13 AMclass PuzzlePiece {
val puzzleIn: Puzzle? = null
}
class Puzzle
fun PuzzlePiece.isInPuzzle(): Boolean {
contract {
returns(true) implies (this@isInPuzzle.puzzleIn != null)
}
return this.puzzleIn != null
}
this@isInPuzzle.puzzleIn
is not allowedif(isInPuzzle())
is more readable than
if(puzzleIn != null)
louiscad
07/22/2019, 5:29 PM