git.iko.soy/Idris-dev
on master help sign in
set back path
c504729be5invis
src/IRTS/CodegenJavaScript.hs+1−1
compare with master
unifiedsplit
@@ -93,7 +93,7 @@ codegenNode ci =
93 , initialization = initializationNode
93 , initialization = initializationNode
94 , writeStrTemplate = "process.stdout.write(%0)"
94 , writeStrTemplate = "process.stdout.write(%0)"
95 , readStrTemplate = "js_idris_readStr()"
95 , readStrTemplate = "js_idris_readStr()"
96− , jsbnPath = "jsbn/jsbn-node.js"
96+ , jsbnPath = "jsbn/jsbn-browser.js"
97 , extraRunTime = "Runtime-node.js"
97 , extraRunTime = "Runtime-node.js"
98 }
98 }
99 )
99 )