One of the main use cases of lpad and rpad is, at least for me personally, to align things in the terminal. However, lpad and rpad are defined (and documented) to work in terms of code units (i.e. they call length on the input string) which means that when length and textwidth disagree, you get unaligned output:

julia> s1 = "⟨k|H₁|k̃⟩"
"⟨k|H₁|k̃⟩"
julia> s2 = "⟨k|H₁|k⟩"
"⟨

Currently we've implemented a bunch of functions and constraints in a "lazy evaluation" fashion, i.e., whenever we need something for a Style program, we implement it in Penrose. We're getting to the point where we should really have a more complete/comprehensive list (e.g., that users can call at will).

How do we come up with this list? One natural idea is to simply pick some libraries, and

It should be noted that it currently applies to all of the existing packages.

Minor cleanup of nomenclature. In Type.hs we have:

vectorRef :: Reference
vectorRef = Reference.Builtin "Sequence"

vector :: Ord v => a -> Type v a
vector a = ref a vectorRef

We have to keep the Builtin "Sequence" as is, since otherwise that changes the identity of the type, but the names of vectorRef and vector should be changed to use the list nomenclature:

Environment

• SuperCollider version:
• 3.11.1
• Operating system:
• Windows 10 (?)

Steps to reproduce

// macOS:
"~".pathMatch; 
// -> [ "/Users/<myusername>"]
// windows: 
"~".pathMatch; 
// -> [ ];
// this fixes the behaviour, but is clumsy;
"~".standardizePath.pathMatch;  
// -> [ "C:\Users\<myusern

Should suppress --strict warnings.