remove node dependencies from Prelude.newt

This commit is contained in:
2024-11-23 16:23:37 -08:00
parent 5cbe594993
commit a809ad1975
7 changed files with 20 additions and 10 deletions

View File

@@ -1,6 +1,7 @@
module Day1
import Prelude
import Node
digits1 : List Char -> List Int
digits1 Nil = Nil

View File

@@ -1,6 +1,7 @@
module Day2
import Prelude
import Node
Draw : U
Draw = Int × Int × Int
@@ -84,6 +85,7 @@ part2 (MkGame n parts :: rest) =
run : String -> IO Unit
run fn = do
putStrLn fn
text <- readFile fn
case mapM parseGame (split (trim text) "\n") of
Left err => putStrLn $ "fail " ++ err

7
aoc2023/Node.newt Normal file
View File

@@ -0,0 +1,7 @@
module Node
import Prelude
pfunc fs : JSObject := "require('fs')"
pfunc getArgs : List String := "arrayToList(String, process.argv)"
pfunc readFile : (fn : String) -> IO String := "(fn) => (w) => MkIORes(Unit, fs.readFileSync(fn, 'utf8'), w)"