Oops... that should have been:
If '$data(arr(key),index) { // If the array already has the key, it is set
into the variable index, otherwise:
Set index = $Increment(arr) // atomically increment index, and set the
key to that value in the array
Set arr(key) = index
Set index(index) = key // Set up reverse index
}
// Do whatever I want with the index
- [julia-users] Best way in Julia to build a set of unique... Scott Jones
- Re: [julia-users] Best way in Julia to build a set ... Jameson Nash
- Re: [julia-users] Best way in Julia to build a ... Scott Jones
- Re: [julia-users] Best way in Julia to buil... Yichao Yu
- Re: [julia-users] Best way in Julia to ... Scott Jones
- Re: [julia-users] Best way in Juli... Scott Jones
- Re: [julia-users] Best way in Juli... Steven G. Johnson
- Re: [julia-users] Best way in ... Jacob Quinn
- Re: [julia-users] Best way... Steven G. Johnson
- Re: [julia-users] Best way in Julia to buil... Tim Holy
- Re: [julia-users] Best way in Julia to ... Scott Jones
- [julia-users] Re: Best way in Julia to build a set ... Scott Jones
- Re: [julia-users] Re: Best way in Julia to buil... Isaiah Norton
- Re: [julia-users] Re: Best way in Julia to ... Scott Jones
- [julia-users] Re: Best way in Julia to build a ... Steven G. Johnson
