programming-language

After a discussion in IRC today I realised that there were a few things about parametric types that aren't easily understood. It seems that the manual could help a bit more in introducing parametric types. I'm opening this issue to outline some of the things I think could be documented better, and also to gather ideas or examples that might help to write a more hands-on parametric types section in

OpenZeppelin is currently working on a base-64 library (OpenZeppelin/openzeppelin-contracts#2884) and it turns out that our optimizer is not yet good enough to get to the level of hand-optimized assembly in that case. We should add this code as a test case so that we can use it to evaluate our optimizer improvements.

In the PR and its comments you'll find versions of the

So currently, install in our "unix" Makefile isn't hooked into cmake so it can lead to errors.

in particular if you do

make configure arch=not-our-default
make build
make install

you will end up with a broken install because the arch override from configure is used during build but isn't used during install, instead a different arch (our default) is used and you end

When the user defines an invalid top-level term, the error message should give correct info about what is permissible.

https://github.com/unisonweb/unison/blob/6cbd464c0eae2bd3d0a355e09ffef0a409762086/parser-typechecker/src/Unison/PrintError.hs#L1265

Of course, if we want to bring back the namespace functionality, disregard! 😄

Motivation

The Non-Realtime Synthesis guide (https://doc.sccode.org/Guides/Non-Realtime-Synthesis.html) currently doesn't contain much info or examples that make use of busses and synth mapping/lfo mapping.

Description of Proposed Feature

Add info ala the examples here:
https://scsynth.org/t/how-to-allocate-busses-in-nrt-mode/

i) offsetLeft / offsetRight
ii) layerX / layerY
iii) offsetX / offsetY
These three things really helps in DOM manipulation. It is very cumbersome to do things without these methods. It will bring developer happiness hopefully.