Douglas McClean
Douglas McClean
Should I add cases to OpCode for the short flavor of every branch? They all seem to have one, ``` Beq_s Label Bge_s Label Br_s Label Leave_s Label -- etc...
Partition III, Section 1.7.4 requires correct CIL instruction sequences include a limit on the height the stack may reach during execution of that sequence. Relatedly, Section 1.7.5 requires that the...
There are a few aliases defined in the IL grammar in Partition VI, Annex C, Section C.1 et seq. ``` OPALIAS(CEE_BRNULL, "brnull", CEE_BRFALSE) OPALIAS(CEE_BRNULL_S, "brnull.s", CEE_BRFALSE_S) OPALIAS(CEE_BRZERO, "brzero", CEE_BRFALSE) OPALIAS(CEE_BRZERO_S,...
Is `MethodDecl` really a good name for the construct that is currently named that? I agree that the production in the Partition VI, Annex C, Section C.3 grammar most closely...
There are a few invented opcodes in the Opcode type, which might not be the best thing to have if we want to parse CIL because the parser would have...
The goal of making use of the library read as much like the resulting IL as possible, together with some issues around alpha-conversion, led me to this. Instead of writing...
What is our planned response to the coming redefinition of the SI base units? Under the new system, some derived units which were formerly experimentally determined will now have exact...
I would like the `Numeric.Units.Dimensional.SIUnits` and `Numeric.Units.Dimensional.NonSI` modules to provide monomorphic collections of all unit definitions published therein, for use by downstream packages that perform unit parsing. Perhaps this is...
The UCUM are changing their grammar to disallow exponents applied to grouped products of unit names, and to instead accept them only on base names. This will require a change...
I propose moving the experimentally defined units to `dimensional-codata` where they can be versioned alongside their values.