mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-11-23 14:18:02 +03:00
53f448c0db
* Adding initial implementation of atomicModifyIORef in Data.IORef. * Updating chez003 test (IORefs) to add atomicModifyIORef. * Updating CHANGELOG_NEXT.md. * Fixing linting in libs/base/Data/IORef.idr. * Fixing expected and tests/chez/chez003/IORef.idr to more appropriately test atomicModifyIORef functionality. * Add documentation for libs/base/Data/IORef.idr. * Clean up atomicModifyIORef in libs/base/Data/IORef.idr. * Updating atomicModifyIORef implementation to drop codegen check, let client decide this. Also update test to ensure enough contention to test for true atomicity (thanks to @stefan-hoeck for help with both of these). * Remove documentation regarding backends other than chez. * Update libs/base/Data/IORef.idr Co-authored-by: G. Allais <guillaume.allais@ens-lyon.org> * Updating CHANGELOG_NEXT.md with new function name, atomically, and updating tests/chez/chez003/IORef.idr to reflect new function. * Fix linting for libs/base/Data/IORef.idr. * Update documentation for modifyIORef in libs/base/Data/IORef.idr. --------- Co-authored-by: G. Allais <guillaume.allais@ens-lyon.org> |
||
|---|---|---|
| .. | ||
| expected | ||
| IORef.idr | ||
| run | ||