this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Add pure JS example and add stubs for sha library

+26 -2
+2
example/dune
··· 67 67 example2.bc.js 68 68 example3.bc.js 69 69 example4.bc.js 70 + example5.js 70 71 index2.html 71 72 index3.html 72 73 index4.html 74 + index5.html 73 75 _opam 74 76 server.py 75 77 (alias_rec all)))
+7 -2
example/example2.js example/example5.js
··· 1 - const worker = new Worker("worker.js") 1 + 2 + function getWorkerURL( url ) { 3 + const content = `importScripts( "${ url }" );`; 4 + return URL.createObjectURL( new Blob( [ content ], { type: "text/javascript" } ) ); 5 + } 2 6 7 + const worker = new Worker(getWorkerURL("https://jon-test.ludl.am/_opam/worker.js")) 3 8 4 9 var promises = new Map() 5 10 var id = 1 ··· 22 27 } 23 28 24 29 function init(cmas,cmi_urls) { 25 - return rpc("init",[{init_libs:{cmas,cmi_urls}}]) 30 + return rpc("init",[{init_libs: {execute: true, findlib_requires:[]}}]) 26 31 } 27 32 28 33 function setup() {
+10
example/index5.html
··· 1 + <html> 2 + <head> 3 + <title>Example</title> 4 + <script type="text/javascript" src="example5.js"></script> 5 + </head> 6 + <body> 7 + See console for results 8 + </body> 9 + </html> 10 +
+6
lib/stubs.js
··· 12 12 function ml_merlin_fs_exact_case(str) { 13 13 return str 14 14 } 15 + 16 + //Provides: stub_sha512_init 17 + function stub_sha512_init() { 18 + return 0 19 + } 20 +
+1
test/node/import_scripts.js
··· 16 16 17 17 global.importScripts=importScripts; 18 18 global.include=include; 19 +