fix aoc2025 tests, consider greek when determining uppercase
Some checks failed
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled

This commit is contained in:
2026-02-21 21:41:22 -08:00
parent 34744a8edc
commit 673c79b786
2 changed files with 2 additions and 3 deletions

View File

@@ -22,9 +22,8 @@ instance Applicative Promise where
instance HasIO Promise where
liftIO = promise_lift
pfunc fs : JSObject := `require('fs')`
pfunc getArgs : List String := `arrayToList(String, process.argv)`
pfunc readFile uses (MkIORes) : (fn : String) -> IO String := `(fn) => (w) => Prelude_MkIORes(require('fs').readFileSync(fn, 'utf8'), w)`
pfunc readFile uses (MkIORes) : (fn : String) -> IO String := `(fn) => (w) => Prelude_MkIORes(fs.readFileSync(fn, 'utf8'), w)`
pfunc runPromise uses (MkIORes MkUnit) : a. Promise a IO Unit := `(a,p) => (w) => {
// p(w)

View File

@@ -901,7 +901,7 @@ isDigit '9' = True
isDigit _ = False
isUpper : Char Bool
isUpper c = let o = ord c in 64 < o && o < 91
isUpper c = let o = ord c in (64 < o && o < 91) || (912 < o && o < 938)
isAlphaNum : Char Bool
isAlphaNum c = let o = ord c in