Fixes for the pure-Lux JVM compiler machinery. [Part 2]

1 files changed, 54 insertions, 53 deletions

diff --git a/documentation/bookmark/debugging.md b/documentation/bookmark/debugging.md
index 60227f63c..64e9bdbc6 100644
--- a/documentation/bookmark/debugging.md
+++ b/documentation/bookmark/debugging.md
@@ -1,86 +1,87 @@
 # Exemplar
 
-1. [Flow-storm debugger](https://github.com/jpmonettas/flow-storm-debugger)
+0. [Flow-storm debugger](https://github.com/jpmonettas/flow-storm-debugger)
 
 # Service
 
-1. https://www.bugreplay.com/
+0. https://www.bugreplay.com/
 
 # Input
 
-1. [Debugging Inputs](https://www.dropbox.com/s/ddn3fe55lws1rdr/icse2020-ddmax.pdf)
+0. [Debugging Inputs](https://www.dropbox.com/s/ddn3fe55lws1rdr/icse2020-ddmax.pdf)
 
 # Omniscient debugging
 
-1. https://pernos.co/
+0. https://pernos.co/
 
 # Tracing
 
-1. ["Understanding Microservices with Distributed Tracing" by Lita Cho](https://www.youtube.com/watch?v=URCLeycMrhU)
+0. ["Understanding Microservices with Distributed Tracing" by Lita Cho](https://www.youtube.com/watch?v=URCLeycMrhU)
 
 # Reference
 
-1. [Debugging in Clojure](https://blog.davemartin.me/posts/debugging-in-clojure/)
-1. [The Debugging Book: Tools and Techniques for Automated Software Debugging](https://www.debuggingbook.org/)
-1. [The Power Of Collaborative Debugging](https://robert.ocallahan.org/2019/11/the-power-of-collaborative-debugging.html)
-1. [Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs](https://stefan-marr.de/2019/07/what-if-we-could-see-all-concurrency-bugs-in-the-debugger/)
-1. [Writing a Debugger](http://system.joekain.com/debugger/)
-1. https://en.wikipedia.org/wiki/Jinx_Debugger
-1. http://www.mattzeunert.com/2017/12/07/better-types-of-debuggers.html
-1. https://www.youtube.com/watch?v=ipDhvd1NsmE
-1. http://georgejahad.com/clojure/cdt.html
-1. http://endlessparentheses.com/cider-debug-a-visual-interactive-debugger-for-clojure.html
-1. https://github.com/razum2um/clj-debugger
-1. https://stories.jotform.com/how-to-become-a-good-debugger-9324543fea33#.1ctzqfyly
-1. https://www.microsoft.com/en-us/research/publication/time-travel-debugging-javascriptnode-js/
-1. http://valgrind.org/
-1. http://fitzgeraldnick.com/2015/06/19/source-maps-are-insufficient.html
-1. http://stefan-marr.de/downloads/draft-marr-et-al-concurrency-agnostic-protocol-for-debugging.pdf
-1. https://tip.golang.org/doc/diagnostics.html
-1. https://github.com/solo-io/squash
-1. http://www.michaelburge.us/2017/09/27/delta-debugging-in-haskell.html
-1. https://undo.io/
-1. [Clojure Compilation, Backwards - Nicola Mometto](https://www.youtube.com/watch?v=2SGFeegEt9E)
-1. https://zorbash.com/post/debugging-elixir-applications/
-1. [Compose :: Melbourne 2017 - Ronen Narkis - Re-ops, a Functional Live-Infrastructure as Code](https://www.youtube.com/watch?v=iopuirQuK-s)
-1. [Compose :: Melbourne 2017 - Jurriaan Hage - Domain-Specific Type Error Diagnosis in GHC](https://www.youtube.com/watch?v=GbCfmnTmQDc)
-1. https://raygun.com/javascript-debugging-tips
-1. https://github.com/bpiel/sayid
-1. [Algorithmic Program Debugging](http://cpsc.yale.edu/sites/default/files/files/tr237.pdf)
-1. [Effect-Driven QuickChecking of Compilers](http://janmidtgaard.dk/papers/Midtgaard-al%3AICFP17-full.pdf)
-1. https://www.youtube.com/watch?v=_KrZzaShDew
-1. [NodeJS uses the Chome debugger protocol:](https://developer.chrome.com/devtools/docs/debugger-protocol)
-1. http://www.dwarfstd.org/
-1. https://docs.oracle.com/javase/7/docs/technotes/guides/jpda/jdwp-spec.html
-1. [Coarse Hierarchical Delta Debugging](http://www.inf.u-szeged.hu/~akiss/pub/pdf/hodovan2017coarsehdd.pdf)
-1. [Improving live debugging of concurrent threads through thread histories](http://scg.unibe.ch/scgbib?query=Lesk17a&display=abstract)
-1. [The JVM is Not Observable Enough (and What To Do About It)](https://www.cs.kent.ac.uk/people/staff/srk21//papers/kell12jvm-preprint.pdf)
-1. http://nikhilism.com/post/2019/retrieving-function-arguments-while-unwinding-the-stack/
-1. https://backtrace.io/blog/engineering/compile-once-debug-twice-picking-a-compiler-for-debuggability-1of3/
-1. https://singaporedatacompany.com/blog/more-developers-more-problems
-1. https://github.com/gruns/icecream
-1. https://lemire.me/blog/2016/06/21/i-do-not-use-a-debugger/
-1. https://the.agilesql.club/2019/05/how-to-load-test-a-sql-database/?u=h
+0. [Unobtrusive runtime warnings for libraries](https://www.pointfree.co/blog/posts/70-unobtrusive-runtime-warnings-for-libraries)
+0. [Debugging in Clojure](https://blog.davemartin.me/posts/debugging-in-clojure/)
+0. [The Debugging Book: Tools and Techniques for Automated Software Debugging](https://www.debuggingbook.org/)
+0. [The Power Of Collaborative Debugging](https://robert.ocallahan.org/2019/11/the-power-of-collaborative-debugging.html)
+0. [Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs](https://stefan-marr.de/2019/07/what-if-we-could-see-all-concurrency-bugs-in-the-debugger/)
+0. [Writing a Debugger](http://system.joekain.com/debugger/)
+0. https://en.wikipedia.org/wiki/Jinx_Debugger
+0. http://www.mattzeunert.com/2017/12/07/better-types-of-debuggers.html
+0. https://www.youtube.com/watch?v=ipDhvd1NsmE
+0. http://georgejahad.com/clojure/cdt.html
+0. http://endlessparentheses.com/cider-debug-a-visual-interactive-debugger-for-clojure.html
+0. https://github.com/razum2um/clj-debugger
+0. https://stories.jotform.com/how-to-become-a-good-debugger-9324543fea33#.1ctzqfyly
+0. https://www.microsoft.com/en-us/research/publication/time-travel-debugging-javascriptnode-js/
+0. http://valgrind.org/
+0. http://fitzgeraldnick.com/2015/06/19/source-maps-are-insufficient.html
+0. http://stefan-marr.de/downloads/draft-marr-et-al-concurrency-agnostic-protocol-for-debugging.pdf
+0. https://tip.golang.org/doc/diagnostics.html
+0. https://github.com/solo-io/squash
+0. http://www.michaelburge.us/2017/09/27/delta-debugging-in-haskell.html
+0. https://undo.io/
+0. [Clojure Compilation, Backwards - Nicola Mometto](https://www.youtube.com/watch?v=2SGFeegEt9E)
+0. https://zorbash.com/post/debugging-elixir-applications/
+0. [Compose :: Melbourne 2017 - Ronen Narkis - Re-ops, a Functional Live-Infrastructure as Code](https://www.youtube.com/watch?v=iopuirQuK-s)
+0. [Compose :: Melbourne 2017 - Jurriaan Hage - Domain-Specific Type Error Diagnosis in GHC](https://www.youtube.com/watch?v=GbCfmnTmQDc)
+0. https://raygun.com/javascript-debugging-tips
+0. https://github.com/bpiel/sayid
+0. [Algorithmic Program Debugging](http://cpsc.yale.edu/sites/default/files/files/tr237.pdf)
+0. [Effect-Driven QuickChecking of Compilers](http://janmidtgaard.dk/papers/Midtgaard-al%3AICFP17-full.pdf)
+0. https://www.youtube.com/watch?v=_KrZzaShDew
+0. [NodeJS uses the Chome debugger protocol:](https://developer.chrome.com/devtools/docs/debugger-protocol)
+0. http://www.dwarfstd.org/
+0. https://docs.oracle.com/javase/7/docs/technotes/guides/jpda/jdwp-spec.html
+0. [Coarse Hierarchical Delta Debugging](http://www.inf.u-szeged.hu/~akiss/pub/pdf/hodovan2017coarsehdd.pdf)
+0. [Improving live debugging of concurrent threads through thread histories](http://scg.unibe.ch/scgbib?query=Lesk17a&display=abstract)
+0. [The JVM is Not Observable Enough (and What To Do About It)](https://www.cs.kent.ac.uk/people/staff/srk21//papers/kell12jvm-preprint.pdf)
+0. http://nikhilism.com/post/2019/retrieving-function-arguments-while-unwinding-the-stack/
+0. https://backtrace.io/blog/engineering/compile-once-debug-twice-picking-a-compiler-for-debuggability-1of3/
+0. https://singaporedatacompany.com/blog/more-developers-more-problems
+0. https://github.com/gruns/icecream
+0. https://lemire.me/blog/2016/06/21/i-do-not-use-a-debugger/
+0. https://the.agilesql.club/2019/05/how-to-load-test-a-sql-database/?u=h
 
 # Benchmark
 
-1. https://github.com/smarr/ReBench
+0. https://github.com/smarr/ReBench
 
 # Performance
 
-1. ["Software Performance: A Shape Not a Number" by Kay Ousterhout](https://www.youtube.com/watch?v=f7HCeE377-0)
-1. ["A Practical Look at Performance Theory" by Kavya Joshi](https://www.youtube.com/watch?v=bEYY3M0d-w8)
-1. https://nsirap.com/posts/001-web-porformance-api/
+0. ["Software Performance: A Shape Not a Number" by Kay Ousterhout](https://www.youtube.com/watch?v=f7HCeE377-0)
+0. ["A Practical Look at Performance Theory" by Kavya Joshi](https://www.youtube.com/watch?v=bEYY3M0d-w8)
+0. https://nsirap.com/posts/001-web-porformance-api/
 
 # Profiling
 
-1. https://www.opsian.com/blog/what-is-continuous-profiling/
+0. https://www.opsian.com/blog/what-is-continuous-profiling/
 
 # Time-travelling
 
-1. [Travelling through time with WinDbg at a system level](https://www.youtube.com/watch?v=mB9LIztjSKg)
+0. [Travelling through time with WinDbg at a system level](https://www.youtube.com/watch?v=mB9LIztjSKg)
 
 # Monitoring
 
-1. https://www.erlang-solutions.com/blog/introducing-telemetry.html
+0. https://www.erlang-solutions.com/blog/introducing-telemetry.html