File tree Expand file tree Collapse file tree 4 files changed +61
-1
lines changed Expand file tree Collapse file tree 4 files changed +61
-1
lines changed Original file line number Diff line number Diff line change 1
1
{
2
2
"private" : true ,
3
3
"name" : " cadet-frontend" ,
4
- "version" : " 1.0.17 " ,
4
+ "version" : " 1.0.18 " ,
5
5
"scripts-info" : {
6
6
"format" : " Format source code" ,
7
7
"start" : " Start the Webpack development server" ,
Original file line number Diff line number Diff line change @@ -36,6 +36,8 @@ function loadAllLibs() {
36
36
'/externalLibs/tree.js' ,
37
37
// streams
38
38
'/externalLibs/streams/stream.js' ,
39
+ '/externalLibs/pe_library.js' ,
40
+ '/externalLibs/assert_compiled.js'
39
41
] ;
40
42
41
43
for ( var i = 0 ; i < files . length ; i ++ ) {
Original file line number Diff line number Diff line change
1
+ function is_array ( x ) {
2
+ if ( Array . isArray === undefined ) {
3
+ return x instanceof Array ;
4
+ } else {
5
+ return Array . isArray ( x ) ;
6
+ }
7
+ }
8
+
9
+ function map_array ( f , ls ) {
10
+ let res = [ ] ;
11
+ let len = ls . length ;
12
+ for ( let i = 0 ; i < len ; i ++ ) {
13
+ res . push ( f ( ls [ i ] ) ) ;
14
+ }
15
+ return res ;
16
+ }
17
+ function accumulate_array ( op , init , ls ) {
18
+ for ( let i = 0 ; i < ls . length ; i ++ ) {
19
+ init = op ( ls [ i ] , init ) ;
20
+ }
21
+ return init ;
22
+ }
23
+
24
+ function filter_array ( f , ls ) {
25
+ let res = [ ] ;
26
+ for ( let i = 0 ; i < ls . length ; i ++ ) {
27
+ if ( f ( ls [ i ] ) ) {
28
+ res . push ( ls [ i ] ) ;
29
+ }
30
+ }
31
+ return res ;
32
+ }
33
+
34
+ function enum_array ( a , b ) {
35
+ let res = [ ] ;
36
+ for ( let i = a ; a <= b ; a ++ ) {
37
+ res . push ( a ) ;
38
+ }
39
+ return res ;
40
+ }
41
+
42
+ function take_array ( xs , n ) {
43
+ let res = [ ] ;
44
+ let arr_len = xs . length ;
45
+ for ( let i = 0 ; i < n ; i = i + 1 ) {
46
+ res [ i ] = xs [ i ] ;
47
+ }
48
+ return res ;
49
+ }
50
+
51
+ function drop_array ( xs , n ) {
52
+ let res = [ ] ;
53
+ let arr_len = xs . length ;
54
+ for ( let i = n ; i < arr_len ; i = i + 1 ) {
55
+ res . push ( xs [ i ] ) ;
56
+ }
57
+ return res ;
58
+ }
You can’t perform that action at this time.
0 commit comments