Revert "COMMIT TO BE TRASHED"

This reverts commit b12f87df44.
This commit is contained in:
Quinn Dougherty 2022-06-21 15:58:50 -04:00
parent b12f87df44
commit cae57a1b4e
2 changed files with 3 additions and 3 deletions

View File

@ -268,7 +268,7 @@ identifier 'identifier'
= ([_a-z]+[_a-z0-9]i*) {return nodeIdentifier(text())} = ([_a-z]+[_a-z0-9]i*) {return nodeIdentifier(text())}
unitIdentifier 'identifier' unitIdentifier 'identifier'
= ([_a-df-zA-DF-Z]+[_a-z0-9]i*) {return nodeIdentifier(text())} = ([_a-zA-Z]+[_a-z0-9]i*) {return nodeIdentifier(text())}
dollarIdentifier '$identifier' dollarIdentifier '$identifier'
= ([\$_a-z]+[\$_a-z0-9]i*) {return nodeIdentifier(text())} = ([\$_a-z]+[\$_a-z0-9]i*) {return nodeIdentifier(text())}

View File

@ -16,7 +16,7 @@ module ScientificUnit = {
} }
let getMultiplier = (r: string) => { let getMultiplier = (r: string) => {
let match = Js.String2.match_(r, %re(`/fromUnit_([a-zA-Z]*)/`)) let match = Js.String2.match_(r, %re(`/fromUnit_([_a-zA-Z]*)/`))
switch match { switch match {
| Some([_, unit]) => nameToMultiplier(unit) | Some([_, unit]) => nameToMultiplier(unit)
| _ => None | _ => None