- Mail original -
> De: "John Rose" <john.r.r...@oracle.com>
> À: "Rémi Forax" <fo...@univ-mlv.fr>
> Cc: valhalla-spec-experts@openjdk.java.net
> Envoyé: Samedi 1 Avril 2017 01:06:07
> Objet: Re: Value Type on stack in the interpreter
> O
> De: "John Rose" <john.r.r...@oracle.com>
> À: "Rémi Forax" <fo...@univ-mlv.fr>
> Cc: "Valhalla Expert Group Observers"
> <valhalla-spec-observ...@openjdk.java.net>,
> valhalla-spec-experts@openjdk.java.net
> Envoyé: Mercredi 21 J
> De: "John Rose" <john.r.r...@oracle.com>
> À: "Rémi Forax" <fo...@univ-mlv.fr>
> Cc: "Karen Kinnear" <karen.kinn...@oracle.com>,
> valhalla-spec-experts@openjdk.java.net
> Envoyé: Mercredi 14 Juin 2017 23:55:23
> Objet: Re: What
- Mail original -
> De: "daniel smith" <daniel.sm...@oracle.com>
> À: "Remi Forax" <fo...@univ-mlv.fr>
> Cc: "valhalla-spec-experts" <valhalla-spec-experts@openjdk.java.net>
> Envoyé: Mercredi 22 Novembre 2017 16:32:36
>
Hi Dan,
> De: "daniel smith" <daniel.sm...@oracle.com>
> À: "Remi Forax" <fo...@univ-mlv.fr>
> Cc: "valhalla-spec-experts" <valhalla-spec-experts@openjdk.java.net>
> Envoyé: Mercredi 22 Novembre 2017 18:24:22
> Objet: Re: Design
- Mail original -
> De: "John Rose" <john.r.r...@oracle.com>
> À: "Remi Forax" <fo...@univ-mlv.fr>
> Cc: "valhalla-spec-experts" <valhalla-spec-experts@openjdk.java.net>
> Envoyé: Lundi 20 Novembre 2017 00:06:20
> Objet:
> De: "John Rose" <john.r.r...@oracle.com>
> À: "Remi Forax" <fo...@univ-mlv.fr>
> Cc: "Brian Goetz" <brian.go...@oracle.com>, "valhalla-spec-experts"
> <valhalla-spec-experts@openjdk.java.net>
> Envoyé: Mardi 15 M
> De: "John Rose" <john.r.r...@oracle.com>
> À: "Remi Forax" <fo...@univ-mlv.fr>
> Cc: "Brian Goetz" <brian.go...@oracle.com>, "valhalla-spec-experts"
> <valhalla-spec-experts@openjdk.java.net>
> Envoyé: Mardi 15 Ma
> De: "daniel smith" <daniel.sm...@oracle.com>
> À: "Remi Forax" <fo...@univ-mlv.fr>
> Cc: "John Rose" <john.r.r...@oracle.com>, "valhalla-spec-experts"
> <valhalla-spec-experts@openjdk.java.net>
> Envoyé: Jeudi 10 Ma
> De: "John Rose" <john.r.r...@oracle.com>
> À: "Remi Forax" <fo...@univ-mlv.fr>
> Cc: "Brian Goetz" <brian.go...@oracle.com>, "valhalla-spec-experts"
> <valhalla-spec-experts@openjdk.java.net>
> Envoyé: Mardi 15 M
-
> De: "Brian Goetz"
> À: "Remi Forax" , "valhalla-spec-experts"
>
> Cc: "mandy chung"
> Envoyé: Jeudi 21 Juin 2018 22:53:57
> Objet: Re: toString/equals/hashCode implemented using method handles
>> As discussed during our
- Mail original -
> De: "Daniel Heidinga"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Jeudi 2 Août 2018 17:12:45
> Objet: Re: value based class vs nullable value type
>>Hi all,
>>just to write my current state of
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 30 Août 2018 23:51:43
> Objet: Re: Nullable ValueType, Generics and other vexations
> The emotional types (T? and T!) are tempting her
of the
interface making the attribute ValueTypes in an interface useless. I don't know
if it's a good idea or not ?
Rémi
- Mail original -
> De: "John Rose"
> À: "Remi Forax" , "Tobi Ajila"
> Cc: "valhalla-spec-experts"
> Envoyé:
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mardi 8 Janvier 2019 18:44:11
> Objet: Re: Finding the spirit of L-World
> On 1/8/2019 11:20 AM, [ mailto:fo...@univ-mlv.fr | fo...@univ-mlv.fr ] wrote:
>>> R
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mardi 8 Janvier 2019 14:03:18
> Objet: Re: Finding the spirit of L-World
>> Introducing a ValObject as super or having the ACC_VA
the constructor is not accessible to the attacker
so a serializable value class is a security liability ?
And a component wise test is also prone to timing attacks, you can guess the
value of the fields far faster than checking all combinations.
Rémi
- Mail original -
> De: "Brian Goetz&
- Mail original -
> De: "John Rose"
> À: "Brian Goetz"
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Lundi 25 Février 2019 21:37:00
> Objet: Re: The substituability test is breaking the encapsulation
> On Feb
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax" , "John Rose"
> Cc: "valhalla-spec-experts"
> Envoyé: Jeudi 21 Février 2019 14:37:31
> Objet: Re: acmp again !
>> Again pick your poison.
>
> The phrase
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax" , "John Rose"
> Cc: "valhalla-spec-experts"
> Envoyé: Jeudi 21 Février 2019 02:48:09
> Objet: Re: acmp again !
>>
>> It doesn't match my experience, currently
You mean the double comparison use doubleToLongBits, in that case,
value record Box(double value);
new Box(0.0) == new Box(-1 * 0.0) // false
which is not better.
Rémi
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax" , "John Rose"
>
- Mail original -
> De: "John Rose"
> À: "Brian Goetz"
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 21 Février 2019 04:25:27
> Objet: Re: acmp again !
> On Feb 20, 2019, at 5:48 PM, Brian Goetz wrote:
>
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Mercredi 20 Février 2019 21:52:01
> Objet: Re: acmp again !
> Yes, it's a tempting direction. John and I both walked that road, in
> th
- Mail original -
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 21 Février 2019 00:03:34
> Objet: Re: acmp again !
> On Feb 20, 2019, at 1:55 PM, fo...@un
-
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 11 Mars 2019 23:53:14
> Objet: Re: The gift that keeps on giving
> Well, consider this value:
>
> value class X {
>int x;
>
>publi
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mardi 12 Mars 2019 00:39:46
> Objet: Re: The gift that keeps on giving
> Heh, because by " I’m working on a story here, but for now, let’s just put
> this
&
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Karen Kinnear" , "valhalla-spec-experts"
>
> Envoyé: Mercredi 30 Janvier 2019 00:29:01
> Objet: Re: Valhalla EG notes Jan 16, 2019
> On Jan 29, 2019, at 11:10 AM, Remi Forax < [ mailto:
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Karen Kinnear" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 31 Janvier 2019 19:03:13
> Objet: Re: An example of substituability test that is recursive
> On Jan 31, 2019, at 3:19 AM,
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Karen Kinnear" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 31 Janvier 2019 20:43:33
> Objet: Re: An example of substituability test that is recursive
> On Jan 31, 2019, at 10:41 AM, [ mailt
> De: "Karen Kinnear"
> À: "Remi Forax"
> Cc: "John Rose" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 31 Janvier 2019 21:36:09
> Objet: Re: An example of substituability test that is recursive
> Option #1 was what I was suggesting
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Karen Kinnear" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 31 Janvier 2019 19:05:33
> Objet: Re: An example of substituability test that is recursive
> On Jan 31, 2019, at 6:34
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "Karen Kinnear" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 31 Janvier 2019 17:56:47
> Objet: Re: An example of substituability test that is recursive
> Curren
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 8 Avril 2019 16:24:21
> Objet: Re: Updated VM-bridges document
>> The other thing is that Forwarding bridge should not use an adapter but a
>> bootst
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 8 Avril 2019 20:39:03
> Objet: Re: Updated VM-bridges document
> OK, I see what you’re getting at now. Yes, this is one of the implementation
> possibili
It's not bikeshedding, hence the "if you prefer ...",
it's trying to explain that it's a typing issue and not a runtime class issue.
Rémi
- Mail original -
> De: "John Rose"
> À: "Remi Forax" , "Maurizio Cimadamore"
>
> Cc: "B
> De: "Maurizio Cimadamore"
> À: "Brian Goetz" , "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 15 Avril 2019 22:23:25
> Objet: Re: RefObject and ValObject
> Maybe (Remi correct me if I'm wrong), the problem Remi w
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "Maurizio Cimadamore" ,
> "valhalla-spec-experts"
> Envoyé: Lundi 15 Avril 2019 22:39:43
> Objet: Re: RefObject and ValObject
>> 1) any codes that has inference
>> var list = List
> De: "Maurizio Cimadamore"
> À: "Brian Goetz" , "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 15 Avril 2019 22:53:49
> Objet: Re: RefObject and ValObject
> I think we should be ok inference-wise, except of
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "Maurizio Cimadamore" ,
> "valhalla-spec-experts"
> Envoyé: Lundi 15 Avril 2019 22:46:08
> Objet: Re: RefObject and ValObject
>> yes !
>> all generics will suddenly accept
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 15 Avril 2019 23:23:57
> Objet: Re: RefObject and ValObject
>> V <: V? by value set inclusion; V? is the type obtained by adjoining `null`
>
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "Maurizio Cimadamore" ,
> "valhalla-spec-experts"
> Envoyé: Lundi 15 Avril 2019 20:00:52
> Objet: Re: RefObject and ValObject
>> It's not a minor change, and all code that uses a type pa
- Mail original -
> De: "daniel smith"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Vendredi 14 Juin 2019 18:56:40
> Objet: Re: Draft LW2 spec
>> On Jun 14, 2019, at 2:54 AM, Remi Forax wrote:
>>
>> Hi
- Mail original -
> De: "Brian Goetz"
> À: "Maurizio Cimadamore"
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 9 Mai 2019 20:30:02
> Objet: Re: It's not safe until it's in the coffer
> Another thing
- Mail original -
> De: "Maurizio Cimadamore"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Jeudi 9 Mai 2019 19:54:17
> Objet: Re: It's not safe until it's in the coffer
> On 09/05/2019 13:35, fo...@univ-mlv.fr wrot
- Mail original -
> De: "Maurizio Cimadamore"
> À: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 9 Mai 2019 12:00:12
> Objet: Re: It's not safe until it's in the coffer
> Another oddity, that I find hard to explain away:
&
- Mail original -
> De: "Brian Goetz"
> À: "Maurizio Cimadamore"
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Mercredi 1 Mai 2019 15:13:06
> Objet: Re: Is V? what we need ?
> But, this is Q-world thinking. In
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mercredi 1 Mai 2019 15:24:42
> Objet: Re: Is V? what we need ?
>> a box is a necessary evil, everybody want to write an ArrayList but we
>> are
>>
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "Maurizio Cimadamore" ,
> "valhalla-spec-experts"
>
> Envoyé: Mercredi 1 Mai 2019 16:12:05
> Objet: Re: Is V? what we need ?
>>> Boxes are not a good
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mercredi 1 Mai 2019 15:03:42
> Objet: Re: Is V? what we need ?
>> we need V?
>> - to represent the L variation of a Q
- Mail original -
> De: "John Rose"
> À: "Brian Goetz"
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 2 Mai 2019 00:55:19
> Objet: Re: Is V? what we need ?
> On May 1, 2019, at 7:50 AM, Brian Goetz wrote:
&
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 29 Avril 2019 21:51:22
> Objet: Re: Nullable types and inference
>> The first case is a corner case and for generics, it works until
- Mail original -
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Envoyé: Vendredi 19 Avril 2019 02:42:45
> Objet: Re: Valhalla EG notes April 10, 2019
> On Apr 18, 2019, at 5:09
- Mail original -
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Envoyé: Vendredi 19 Avril 2019 01:30:44
> Objet: Re: Valhalla EG notes April 10, 2019
> On Apr 18, 2019, at 3:33 PM, Rem
- Mail original -
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 2 Mai 2019 04:17:54
> Objet: Re: Is V? what we need ?
> It looks like we're getting somewhere; t
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mardi 9 Avril 2019 15:39:19
> Objet: Re: Updated VM-bridges document
>>> OK, I see what you’re getting at now. Yes, this is one of the implementation
>>&g
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 12 Août 2019 19:37:41
> Objet: Re: Equality for values -- new analysis, same conclusion
>> I think we should take a step b
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 12 Août 2019 21:47:00
> Objet: Re: Equality for values -- new analysis, same conclusion
>> and here we disagree,
>> first, you
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 5 Août 2019 04:15:16
> Objet: Re: Collapsing the requirements
> I’m not really following the concern you’re having.
> Let’s divide into two cases:
> -
- Mail original -
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Envoyé: Lundi 5 Août 2019 23:47:48
> Objet: Re: Collapsing the requirements
> On Aug 5, 2019, at 4:08 AM, fo...@
- Mail original -
> De: "Maurizio Cimadamore"
> À: "Brian Goetz" , "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Lundi 9 Décembre 2019 15:45:19
> Objet: Re: IdentityObject and InlineObject
> On 06/12/2019 22:28, Bri
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Vendredi 6 Décembre 2019 22:37:35
> Objet: Re: IdentityObject and InlineObject
>> You see it as painful, i see it as a feature, it means
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Vendredi 6 Décembre 2019 22:59:07
> Objet: Re: IdentityObject and InlineObject
>> Currently something typed Object represent eith
- Mail original -
> De: "John Rose"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mercredi 15 Janvier 2020 02:18:07
> Objet: Re: atomicity for value types
> On Jan 14, 2020, at 4:52 PM, Remi Forax wrote:
>>
>> I
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 9 Avril 2020 23:07:10
> Objet: Re: null checks vs. class resolution, and translation strategy for
> casts
> On Apr 9, 2020, at
- Mail original -
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Envoyé: Jeudi 9 Avril 2020 23:56:45
> Objet: Re: null checks vs. class resolution, and translation strategy for
>
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Envoyé: Samedi 11 Avril 2020 07:43:28
> Objet: Re: null checks vs. class resolution, and translation strategy for
> casts
> On Apr 10,
- Mail original -
> De: "John Rose"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Samedi 7 Mars 2020 22:52:12
> Objet: Re: for review: 8236522: "always atomic" modifier for inline classes
> to enforce
- Mail original -
> De: "daniel smith"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mardi 27 Octobre 2020 21:36:21
> Objet: Re: Source code analysis: calls to wrapper class constructors
>> On Oct 27, 2020,
- Mail original -
> De: "daniel smith"
> À: "Remi Forax" , "John Rose"
> Cc: "valhalla-spec-experts"
> Envoyé: Mercredi 28 Octobre 2020 16:49:49
> Objet: Re: Source code analysis: calls to wrapper class constructors
>&g
Blindly is perhaps a word too strong, let say we have to come with a plan, a
good plan,
and i fail to see how it can work with only the current bridge mechanism we
have.
Rémi
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "Tobi Ajila" , "valha
- Mail original -
> De: "daniel smith"
> À: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Envoyé: Vendredi 19 Juin 2020 21:27:12
> Objet: Re: Evolving the wrapper classes
>> On Jun 19, 2020, at 12:54 PM
- Mail original -
> De: "daniel smith"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mercredi 2 Décembre 2020 16:35:06
> Objet: Re: Using a Condy instead of a Constant_Utf8
>> On Dec 2, 2020, at 3:53 AM, Remi Forax wrote:
> De: "John Rose"
> À: "daniel smith"
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Mercredi 16 Décembre 2020 20:09:44
> Objet: Re: Inline Record vs JLS / Reflection
> On Dec 16, 2020, at 11:07 AM, Dan Smith < [ mail
so there is no need to change the
StackMapFrames.
We may still have some bytecode shapes we don't support but it worth a try.
Rémi
> De: "John Rose"
> À: "daniel smith"
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Mer
> De: "John Rose"
> À: "Remi Forax"
> Cc: "Valhalla Expert Group Observers"
> , "daniel smith"
> , "valhalla-spec-experts"
>
> Envoyé: Mercredi 28 Octobre 2020 20:08:30
> Objet: Re: Source code analysis: calls to w
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Dimanche 9 Mai 2021 17:04:31
> Objet: Re: Make new Object() backward compatible
>> The logical conclusion is that java.lang.Object is a param
> De: "Brian Goetz"
> À: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Mercredi 5 Mai 2021 20:20:07
> Objet: Re: Meeting today: IdentityClass
> Here are some idioms I can imagine a use for with IdentityObject:
> // parameter type
&g
- Mail original -
> De: "John Rose"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mercredi 21 Avril 2021 08:43:34
> Objet: Re: Parametric VM class file format
> On Apr 20, 2021, at 9:40 AM, Remi Forax wrote:
>>
> From: "Brian Goetz"
> To: "Remi Forax"
> Cc: "daniel smith" , "Dan Heidinga"
> , "John Rose" ,
> "valhalla-spec-experts"
> Sent: Mardi 21 Décembre 2021 01:07:15
> Subject: Re: [External] : Re: Do we even need IO/
> From: "Brian Goetz"
> To: "Remi Forax"
> Cc: "daniel smith" , "Dan Heidinga"
> , "John Rose" ,
> "valhalla-spec-experts"
> Sent: Lundi 20 Décembre 2021 20:26:01
> Subject: Do we even need IO/VO interfaces? (wa
> From: "John Rose"
> To: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Sent: Thursday, December 23, 2021 8:43:22 PM
> Subject: Re: [External] : Re: Updated State of Valhalla documents
> On 23 Dec 2021, at 11
> From: "John Rose"
> To: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
>
> Sent: Thursday, December 23, 2021 7:51:14 PM
> Subject: Re: Updated State of Valhalla documents
>> On Dec 23, 2021, at 10:35 AM, Remi Forax
> From: "Brian Goetz"
> To: "Dan Heidinga"
> Cc: "Remi Forax" , "Kevin Bourrillion" ,
> "daniel smith" , "valhalla-spec-experts"
>
> Sent: Vendredi 19 Novembre 2021 14:32:38
> Subject: Re: [External] : Re: E
- Original Message -
> From: "John Rose"
> To: "Remi Forax"
> Cc: "Brian Goetz" , "valhalla-spec-experts"
> , "clement
> cherlin"
> Sent: Thursday, December 9, 2021 9:45:11 AM
> Subject: Re: [External] : Re
- Original Message -
> From: "daniel smith"
> To: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Sent: Thursday, January 6, 2022 12:37:09 AM
> Subject: Re: Updated State of Valhalla documents
>> On Dec 23, 2021, at 12:58 PM, fo...@un
- Original Message -
> From: "Brian Goetz"
> To: "Remi Forax" , "valhalla-spec-experts"
>
> Sent: Wednesday, January 12, 2022 1:27:07 PM
> Subject: Re: L-type, Q-type and class mirrors
>> Let's take a detour, and try to answer to the
> From: "Brian Goetz"
> To: "Remi Forax" , "valhalla-spec-experts"
>
> Sent: Wednesday, January 12, 2022 1:45:34 PM
> Subject: Re: VM model and aconst_init
> Both value and primitive classes use the aconst_init / withfield
> initializa
> From: "Brian Goetz"
> To: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Sent: Wednesday, January 12, 2022 2:30:00 PM
> Subject: Re: [External] : Re: VM model and aconst_init
> The operand of C_Class is a weird beast. It can be an internal name
&
- Original Message -
> From: "Dan Heidinga"
> To: "Remi Forax"
> Cc: "daniel smith" , "valhalla-spec-experts"
>
> Sent: Thursday, January 27, 2022 4:41:14 PM
> Subject: Re: SoV-3: constructor questions
>>
>&
> From: "John Rose"
> To: "daniel smith"
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Sent: Thursday, January 27, 2022 2:18:03 AM
> Subject: Re: The interfaces IdentityObject and ValueObject must die !
> On 26 Jan 2022,
> From: "John Rose"
> To: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Sent: Thursday, January 27, 2022 10:00:20 PM
> Subject: Re: [External] : Re: VM model and aconst_init
> On 25 Jan 2022, at 2:50, [ mailto:fo...@univ-mlv.fr | fo...@univ-mlv.
> From: "Brian Goetz"
> To: "daniel smith" , "John Rose"
>
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Sent: Saturday, January 29, 2022 6:40:13 PM
> Subject: Re: VM model and aconst_init
> I think we're kind of stuc
, but using checkcast to
convert from a QComplex; to a LComplex;
One reason may be that this is not a subtyping relationship but a boxing
relationship so it may not work when well we will have fully reified generics.
Rémi
> From: "Brian Goetz"
> To: "Remi Forax"
- Original Message -
> From: "John Rose"
> To: "daniel smith"
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Sent: Thursday, January 6, 2022 4:53:28 AM
> Subject: Re: Updated State of Valhalla documents
>> On Jan 5, 202
> From: "John Rose"
> To: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Sent: Wednesday, January 19, 2022 9:40:15 AM
> Subject: Re: VM model and aconst_init
> I think (based on our most recent conversations)
> that aconst_init can return
> From: "Brian Goetz"
> To: "Dan Heidinga"
> Cc: "Remi Forax" , "John Rose" ,
> "valhalla-spec-experts"
> Sent: Tuesday, January 25, 2022 3:57:17 PM
> Subject: Re: VM model and aconst_init
> The motivation for this co
> From: "daniel smith"
> To: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Sent: Wednesday, January 26, 2022 4:42:30 PM
> Subject: Re: The interfaces IdentityObject and ValueObject must die !
>> On Jan 26, 2022, at 2:18 AM, [ mail
- Original Message -
> From: "daniel smith"
> To: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Sent: Wednesday, January 26, 2022 6:20:07 AM
> Subject: Re: The interfaces IdentityObject and ValueObject must die !
>> On Jan 25, 202
- Original Message -
> From: "daniel smith"
> To: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Sent: Tuesday, April 26, 2022 2:15:17 AM
> Subject: Re: B3 ref model
>> On Apr 25, 2022, at 3:08 PM, Remi Forax wrote:
>>
>
- Original Message -
> From: "Brian Goetz"
> To: "Remi Forax"
> Cc: "daniel smith" , "valhalla-spec-experts"
>
> Sent: Tuesday, April 26, 2022 4:12:43 PM
> Subject: Re: B3 ref model
>> so if we have
>>
>> pr
1 - 100 of 275 matches
Mail list logo
