jw
06/30/2017, 10:42 PMeric
06/30/2017, 10:43 PMjw
06/30/2017, 10:43 PMjw
06/30/2017, 10:44 PMeric
06/30/2017, 10:44 PMpniederw
07/03/2017, 11:41 PMpniederw
07/11/2017, 9:25 PMjw
07/11/2017, 9:26 PMpniederw
07/11/2017, 9:29 PMjw
08/11/2017, 11:17 PMjw
08/11/2017, 11:17 PMjw
09/15/2017, 3:58 AMbdawg.io
09/26/2017, 12:37 AM{ "title": 10 }
data class Bar(val title: String)
eric
09/26/2017, 12:40 AMJsonReader.nextString()
will always consume numbers, so you can have BigDecinal and the like.
Uuuuum, I can't think of a way not to do that off the top of my head...eric
09/26/2017, 6:33 PMbdawg.io
09/26/2017, 8:07 PMeric
11/04/2017, 12:11 AMpniederw
11/09/2017, 5:44 AMpniederw
11/09/2017, 5:45 AMimport other.Foo; class Foo : Foo()
jw
11/09/2017, 5:45 AMjw
11/09/2017, 5:45 AMpniederw
11/09/2017, 5:45 AM: other.Foo
would perhaps be easier to understand, but is not required for correctness.jw
11/09/2017, 5:46 AMjw
11/09/2017, 5:46 AMjw
11/09/2017, 5:47 AMpniederw
11/09/2017, 5:47 AMclass Foo : other.Foo() { val x: Foo = Foo() }
jw
11/09/2017, 5:47 AMpniederw
11/09/2017, 5:50 AMpniederw
11/09/2017, 5:50 AMleonhardt
07/07/2023, 5:59 PM