HigherOrderCO / Kind1

A modern proof language
https://higherorderco.com
MIT License
3.54k stars 140 forks source link

error[E0599]: no method named `as_ptr` found for struct `AtomicU64` in the current scope #557

Closed yurivict closed 1 year ago

yurivict commented 1 year ago

Build fails:

error[E0599]: no method named `as_ptr` found for struct `AtomicU64` in the current scope
   --> /usr/ports/lang/kind/work/Kind-2.0.3-alpha-132-g9a44360b/cargo-crates/hvm-1.0.6/src/runtime/base/memory.rs:450:54
    |
450 |         let val = heap.node.get_unchecked(*lvar.next.as_ptr() as usize).load(Ordering::Relaxed);
    |                                                      ^^^^^^ help: there is a method with a similar name: `as_mut_ptr`

error[E0599]: no method named `as_ptr` found for struct `AtomicU64` in the current scope
   --> /usr/ports/lang/kind/work/Kind-2.0.3-alpha-132-g9a44360b/cargo-crates/hvm-1.0.6/src/runtime/base/memory.rs:459:20
    |
459 |         *lvar.next.as_ptr() += 1;
    |                    ^^^^^^ help: there is a method with a similar name: `as_mut_ptr`

error[E0599]: no method named `as_ptr` found for struct `AtomicU64` in the current scope
   --> /usr/ports/lang/kind/work/Kind-2.0.3-alpha-132-g9a44360b/cargo-crates/hvm-1.0.6/src/runtime/base/memory.rs:461:23
    |
461 |         if *lvar.next.as_ptr() >= *lvar.amax.as_ptr() {
    |                       ^^^^^^ help: there is a method with a similar name: `as_mut_ptr`

error[E0599]: no method named `as_ptr` found for struct `AtomicU64` in the current scope
   --> /usr/ports/lang/kind/work/Kind-2.0.3-alpha-132-g9a44360b/cargo-crates/hvm-1.0.6/src/runtime/base/memory.rs:461:46
    |
461 |         if *lvar.next.as_ptr() >= *lvar.amax.as_ptr() {
    |                                              ^^^^^^ help: there is a method with a similar name: `as_mut_ptr`

rust-nightly-1.69.0.20230208 FreeBSD 13.1

developedby commented 1 year ago

Should work if you update to nightly 1.70 or above

algebraic-dev commented 1 year ago

Looks solved so I'm going to close it. We updated the README so I guess it's clear now that everybody needs to use nightly