firefly-compiler 0.4.4 → 0.4.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (98) hide show
  1. package/.hintrc +5 -0
  2. package/README.md +42 -61
  3. package/compiler/Compiler.ff +6 -2
  4. package/compiler/Deriver.ff +10 -0
  5. package/compiler/Environment.ff +2 -1
  6. package/compiler/JsEmitter.ff +29 -17
  7. package/compiler/Resolver.ff +1 -1
  8. package/core/.firefly/package.ff +1 -2
  9. package/core/Box.ff +7 -0
  10. package/core/BuildSystem.ff +5 -4
  11. package/core/Core.ff +4 -0
  12. package/core/HttpClient.ff +1 -1
  13. package/core/JsValue.ff +22 -1
  14. package/core/Lock.ff +4 -4
  15. package/core/NodeSystem.ff +12 -3
  16. package/core/Path.ff +1 -1
  17. package/core/SourceLocation.ff +41 -0
  18. package/core/Stack.ff +6 -6
  19. package/core/StringMap.ff +3 -3
  20. package/lsp/LanguageServer.ff +32 -7
  21. package/lsp/stderr.txt +1 -0
  22. package/lsp/stdin.txt +11 -0
  23. package/lsp/stdout.txt +41 -0
  24. package/lux/.firefly/package.ff +2 -0
  25. package/lux/Lux.ff +473 -0
  26. package/lux/LuxEvent.ff +116 -0
  27. package/lux/Main.ff +126 -0
  28. package/lux/Main2.ff +144 -0
  29. package/meetup/AutoCompletion.ff +6 -0
  30. package/output/js/ff/compiler/Builder.mjs +444 -440
  31. package/output/js/ff/compiler/Compiler.mjs +416 -410
  32. package/output/js/ff/compiler/Dependencies.mjs +389 -385
  33. package/output/js/ff/compiler/Deriver.mjs +1170 -1166
  34. package/output/js/ff/compiler/Dictionaries.mjs +1309 -1305
  35. package/output/js/ff/compiler/Environment.mjs +1015 -1005
  36. package/output/js/ff/compiler/Inference.mjs +4268 -4264
  37. package/output/js/ff/compiler/JsEmitter.mjs +5391 -5353
  38. package/output/js/ff/compiler/JsImporter.mjs +266 -262
  39. package/output/js/ff/compiler/LspHook.mjs +793 -789
  40. package/output/js/ff/compiler/Main.mjs +1699 -1695
  41. package/output/js/ff/compiler/Parser.mjs +4008 -4004
  42. package/output/js/ff/compiler/Patterns.mjs +927 -923
  43. package/output/js/ff/compiler/Resolver.mjs +2307 -2303
  44. package/output/js/ff/compiler/Substitution.mjs +1150 -1146
  45. package/output/js/ff/compiler/Syntax.mjs +12434 -12430
  46. package/output/js/ff/compiler/Token.mjs +3096 -3092
  47. package/output/js/ff/compiler/Tokenizer.mjs +593 -589
  48. package/output/js/ff/compiler/Unification.mjs +1752 -1748
  49. package/output/js/ff/compiler/Wildcards.mjs +608 -604
  50. package/output/js/ff/compiler/Workspace.mjs +687 -683
  51. package/output/js/ff/core/Any.mjs +143 -139
  52. package/output/js/ff/core/Array.mjs +547 -543
  53. package/output/js/ff/core/AssetSystem.mjs +274 -270
  54. package/output/js/ff/core/Atomic.mjs +154 -150
  55. package/output/js/ff/core/Bool.mjs +152 -141
  56. package/output/js/ff/core/Box.mjs +112 -0
  57. package/output/js/ff/core/BrowserSystem.mjs +126 -122
  58. package/output/js/ff/core/Buffer.mjs +395 -391
  59. package/output/js/ff/core/BuildSystem.mjs +296 -290
  60. package/output/js/ff/core/Channel.mjs +189 -185
  61. package/output/js/ff/core/Char.mjs +149 -145
  62. package/output/js/ff/core/Core.mjs +300 -288
  63. package/output/js/ff/core/Duration.mjs +116 -112
  64. package/output/js/ff/core/Equal.mjs +179 -175
  65. package/output/js/ff/core/Error.mjs +142 -138
  66. package/output/js/ff/core/FileHandle.mjs +150 -146
  67. package/output/js/ff/core/Float.mjs +225 -214
  68. package/output/js/ff/core/HttpClient.mjs +190 -186
  69. package/output/js/ff/core/Instant.mjs +109 -105
  70. package/output/js/ff/core/Int.mjs +265 -254
  71. package/output/js/ff/core/IntMap.mjs +280 -276
  72. package/output/js/ff/core/JsSystem.mjs +238 -234
  73. package/output/js/ff/core/JsValue.mjs +714 -664
  74. package/output/js/ff/core/List.mjs +2334 -2321
  75. package/output/js/ff/core/Lock.mjs +230 -226
  76. package/output/js/ff/core/Log.mjs +163 -159
  77. package/output/js/ff/core/Map.mjs +362 -358
  78. package/output/js/ff/core/NodeSystem.mjs +302 -283
  79. package/output/js/ff/core/Nothing.mjs +104 -100
  80. package/output/js/ff/core/Option.mjs +1015 -1002
  81. package/output/js/ff/core/Ordering.mjs +730 -726
  82. package/output/js/ff/core/Pair.mjs +331 -318
  83. package/output/js/ff/core/Path.mjs +546 -542
  84. package/output/js/ff/core/RbMap.mjs +1940 -1936
  85. package/output/js/ff/core/Serializable.mjs +428 -424
  86. package/output/js/ff/core/Set.mjs +254 -250
  87. package/output/js/ff/core/Show.mjs +205 -201
  88. package/output/js/ff/core/SourceLocation.mjs +229 -0
  89. package/output/js/ff/core/Stack.mjs +541 -537
  90. package/output/js/ff/core/Stream.mjs +1304 -1300
  91. package/output/js/ff/core/String.mjs +365 -354
  92. package/output/js/ff/core/StringMap.mjs +280 -276
  93. package/output/js/ff/core/Task.mjs +320 -316
  94. package/output/js/ff/core/Try.mjs +507 -503
  95. package/output/js/ff/core/Unit.mjs +151 -103
  96. package/package.json +29 -29
  97. package/vscode/package-lock.json +5 -5
  98. package/vscode/package.json +1 -1
@@ -1,254 +1,265 @@
1
-
2
-
3
- import * as ff_core_Any from "../../ff/core/Any.mjs"
4
-
5
- import * as ff_core_Array from "../../ff/core/Array.mjs"
6
-
7
- import * as ff_core_AssetSystem from "../../ff/core/AssetSystem.mjs"
8
-
9
- import * as ff_core_Atomic from "../../ff/core/Atomic.mjs"
10
-
11
- import * as ff_core_Bool from "../../ff/core/Bool.mjs"
12
-
13
- import * as ff_core_BrowserSystem from "../../ff/core/BrowserSystem.mjs"
14
-
15
- import * as ff_core_Buffer from "../../ff/core/Buffer.mjs"
16
-
17
- import * as ff_core_BuildSystem from "../../ff/core/BuildSystem.mjs"
18
-
19
- import * as ff_core_Channel from "../../ff/core/Channel.mjs"
20
-
21
- import * as ff_core_Char from "../../ff/core/Char.mjs"
22
-
23
- import * as ff_core_Core from "../../ff/core/Core.mjs"
24
-
25
- import * as ff_core_Duration from "../../ff/core/Duration.mjs"
26
-
27
- import * as ff_core_Equal from "../../ff/core/Equal.mjs"
28
-
29
- import * as ff_core_Error from "../../ff/core/Error.mjs"
30
-
31
- import * as ff_core_FileHandle from "../../ff/core/FileHandle.mjs"
32
-
33
- import * as ff_core_Float from "../../ff/core/Float.mjs"
34
-
35
- import * as ff_core_HttpClient from "../../ff/core/HttpClient.mjs"
36
-
37
- import * as ff_core_Instant from "../../ff/core/Instant.mjs"
38
-
39
- import * as ff_core_Int from "../../ff/core/Int.mjs"
40
-
41
- import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
42
-
43
- import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
44
-
45
- import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
46
-
47
- import * as ff_core_List from "../../ff/core/List.mjs"
48
-
49
- import * as ff_core_Lock from "../../ff/core/Lock.mjs"
50
-
51
- import * as ff_core_Log from "../../ff/core/Log.mjs"
52
-
53
- import * as ff_core_Map from "../../ff/core/Map.mjs"
54
-
55
- import * as ff_core_NodeSystem from "../../ff/core/NodeSystem.mjs"
56
-
57
- import * as ff_core_Nothing from "../../ff/core/Nothing.mjs"
58
-
59
- import * as ff_core_Option from "../../ff/core/Option.mjs"
60
-
61
- import * as ff_core_Ordering from "../../ff/core/Ordering.mjs"
62
-
63
- import * as ff_core_Pair from "../../ff/core/Pair.mjs"
64
-
65
- import * as ff_core_Path from "../../ff/core/Path.mjs"
66
-
67
- import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
68
-
69
- import * as ff_core_Set from "../../ff/core/Set.mjs"
70
-
71
- import * as ff_core_Show from "../../ff/core/Show.mjs"
72
-
73
- import * as ff_core_Stack from "../../ff/core/Stack.mjs"
74
-
75
- import * as ff_core_Stream from "../../ff/core/Stream.mjs"
76
-
77
- import * as ff_core_String from "../../ff/core/String.mjs"
78
-
79
- import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
80
-
81
- import * as ff_core_Task from "../../ff/core/Task.mjs"
82
-
83
- import * as ff_core_Try from "../../ff/core/Try.mjs"
84
-
85
- import * as ff_core_Unit from "../../ff/core/Unit.mjs"
86
-
87
- // type Int
88
-
89
-
90
-
91
-
92
-
93
-
94
-
95
-
96
- export function Int_abs(self_) {
97
- return Math.abs(self_)
98
- }
99
-
100
- export function Int_toFloat(self_) {
101
- return self_
102
- }
103
-
104
- export function Int_bitNot(self_) {
105
- return ~self_;
106
- }
107
-
108
- export function Int_bitOr(self_, that_) {
109
- return self_ | that_;
110
- }
111
-
112
- export function Int_bitAnd(self_, that_) {
113
- return self_ & that_;
114
- }
115
-
116
- export function Int_bitXor(self_, that_) {
117
- return self_ ^ that_;
118
- }
119
-
120
- export function Int_bitLeft(self_, bits_ = 1) {
121
- return self_ << bits_;
122
- }
123
-
124
- export function Int_bitRight(self_, bits_ = 1, signed_ = true) {
125
- return signed_ ? self_ >> bits_ : self_ >>> bits_;
126
- }
127
-
128
- export function Int_to(self_, inclusiveEnd_) {
129
- let result_ = ff_core_List.Empty();
130
- let n_ = inclusiveEnd_;
131
- while((self_ <= n_)) {
132
- result_ = ff_core_List.Link(n_, result_);
133
- n_ -= 1
134
- };
135
- return result_
136
- }
137
-
138
- export function Int_until(self_, exclusiveEnd_) {
139
- let result_ = ff_core_List.Empty();
140
- let n_ = exclusiveEnd_;
141
- while((self_ < n_)) {
142
- result_ = ff_core_List.Link((n_ - 1), result_);
143
- n_ -= 1
144
- };
145
- return result_
146
- }
147
-
148
- export function Int_min(self_, that_) {
149
- if((self_ < that_)) {
150
- return self_
151
- } else {
152
- return that_
153
- }
154
- }
155
-
156
- export function Int_max(self_, that_) {
157
- if((self_ > that_)) {
158
- return self_
159
- } else {
160
- return that_
161
- }
162
- }
163
-
164
- export function Int_clamp(self_, from_, to_) {
165
- if((self_ <= from_)) {
166
- return from_
167
- } else if((self_ >= to_)) {
168
- return to_
169
- } else {
170
- return self_
171
- }
172
- }
173
-
174
- export async function Int_abs$(self_, $task) {
175
- throw new Error('Function Int_abs is missing on this target in async context.');
176
- }
177
-
178
- export async function Int_toFloat$(self_, $task) {
179
- throw new Error('Function Int_toFloat is missing on this target in async context.');
180
- }
181
-
182
- export async function Int_bitNot$(self_, $task) {
183
- throw new Error('Function Int_bitNot is missing on this target in async context.');
184
- }
185
-
186
- export async function Int_bitOr$(self_, that_, $task) {
187
- throw new Error('Function Int_bitOr is missing on this target in async context.');
188
- }
189
-
190
- export async function Int_bitAnd$(self_, that_, $task) {
191
- throw new Error('Function Int_bitAnd is missing on this target in async context.');
192
- }
193
-
194
- export async function Int_bitXor$(self_, that_, $task) {
195
- throw new Error('Function Int_bitXor is missing on this target in async context.');
196
- }
197
-
198
- export async function Int_bitLeft$(self_, bits_ = 1, $task) {
199
- throw new Error('Function Int_bitLeft is missing on this target in async context.');
200
- }
201
-
202
- export async function Int_bitRight$(self_, bits_ = 1, signed_ = true, $task) {
203
- throw new Error('Function Int_bitRight is missing on this target in async context.');
204
- }
205
-
206
- export async function Int_to$(self_, inclusiveEnd_, $task) {
207
- let result_ = ff_core_List.Empty();
208
- let n_ = inclusiveEnd_;
209
- while((self_ <= n_)) {
210
- result_ = ff_core_List.Link(n_, result_);
211
- n_ -= 1
212
- };
213
- return result_
214
- }
215
-
216
- export async function Int_until$(self_, exclusiveEnd_, $task) {
217
- let result_ = ff_core_List.Empty();
218
- let n_ = exclusiveEnd_;
219
- while((self_ < n_)) {
220
- result_ = ff_core_List.Link((n_ - 1), result_);
221
- n_ -= 1
222
- };
223
- return result_
224
- }
225
-
226
- export async function Int_min$(self_, that_, $task) {
227
- if((self_ < that_)) {
228
- return self_
229
- } else {
230
- return that_
231
- }
232
- }
233
-
234
- export async function Int_max$(self_, that_, $task) {
235
- if((self_ > that_)) {
236
- return self_
237
- } else {
238
- return that_
239
- }
240
- }
241
-
242
- export async function Int_clamp$(self_, from_, to_, $task) {
243
- if((self_ <= from_)) {
244
- return from_
245
- } else if((self_ >= to_)) {
246
- return to_
247
- } else {
248
- return self_
249
- }
250
- }
251
-
252
-
253
-
254
-
1
+
2
+
3
+ import * as ff_core_Any from "../../ff/core/Any.mjs"
4
+
5
+ import * as ff_core_Array from "../../ff/core/Array.mjs"
6
+
7
+ import * as ff_core_AssetSystem from "../../ff/core/AssetSystem.mjs"
8
+
9
+ import * as ff_core_Atomic from "../../ff/core/Atomic.mjs"
10
+
11
+ import * as ff_core_Bool from "../../ff/core/Bool.mjs"
12
+
13
+ import * as ff_core_Box from "../../ff/core/Box.mjs"
14
+
15
+ import * as ff_core_BrowserSystem from "../../ff/core/BrowserSystem.mjs"
16
+
17
+ import * as ff_core_Buffer from "../../ff/core/Buffer.mjs"
18
+
19
+ import * as ff_core_BuildSystem from "../../ff/core/BuildSystem.mjs"
20
+
21
+ import * as ff_core_Channel from "../../ff/core/Channel.mjs"
22
+
23
+ import * as ff_core_Char from "../../ff/core/Char.mjs"
24
+
25
+ import * as ff_core_Core from "../../ff/core/Core.mjs"
26
+
27
+ import * as ff_core_Duration from "../../ff/core/Duration.mjs"
28
+
29
+ import * as ff_core_Equal from "../../ff/core/Equal.mjs"
30
+
31
+ import * as ff_core_Error from "../../ff/core/Error.mjs"
32
+
33
+ import * as ff_core_FileHandle from "../../ff/core/FileHandle.mjs"
34
+
35
+ import * as ff_core_Float from "../../ff/core/Float.mjs"
36
+
37
+ import * as ff_core_HttpClient from "../../ff/core/HttpClient.mjs"
38
+
39
+ import * as ff_core_Instant from "../../ff/core/Instant.mjs"
40
+
41
+ import * as ff_core_Int from "../../ff/core/Int.mjs"
42
+
43
+ import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
44
+
45
+ import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
46
+
47
+ import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
48
+
49
+ import * as ff_core_List from "../../ff/core/List.mjs"
50
+
51
+ import * as ff_core_Lock from "../../ff/core/Lock.mjs"
52
+
53
+ import * as ff_core_Log from "../../ff/core/Log.mjs"
54
+
55
+ import * as ff_core_Map from "../../ff/core/Map.mjs"
56
+
57
+ import * as ff_core_NodeSystem from "../../ff/core/NodeSystem.mjs"
58
+
59
+ import * as ff_core_Nothing from "../../ff/core/Nothing.mjs"
60
+
61
+ import * as ff_core_Option from "../../ff/core/Option.mjs"
62
+
63
+ import * as ff_core_Ordering from "../../ff/core/Ordering.mjs"
64
+
65
+ import * as ff_core_Pair from "../../ff/core/Pair.mjs"
66
+
67
+ import * as ff_core_Path from "../../ff/core/Path.mjs"
68
+
69
+ import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
70
+
71
+ import * as ff_core_Set from "../../ff/core/Set.mjs"
72
+
73
+ import * as ff_core_Show from "../../ff/core/Show.mjs"
74
+
75
+ import * as ff_core_SourceLocation from "../../ff/core/SourceLocation.mjs"
76
+
77
+ import * as ff_core_Stack from "../../ff/core/Stack.mjs"
78
+
79
+ import * as ff_core_Stream from "../../ff/core/Stream.mjs"
80
+
81
+ import * as ff_core_String from "../../ff/core/String.mjs"
82
+
83
+ import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
84
+
85
+ import * as ff_core_Task from "../../ff/core/Task.mjs"
86
+
87
+ import * as ff_core_Try from "../../ff/core/Try.mjs"
88
+
89
+ import * as ff_core_Unit from "../../ff/core/Unit.mjs"
90
+
91
+ // type Int
92
+
93
+
94
+
95
+
96
+
97
+
98
+
99
+
100
+ export function Int_abs(self_) {
101
+ return Math.abs(self_)
102
+ }
103
+
104
+ export function Int_toFloat(self_) {
105
+ return self_
106
+ }
107
+
108
+ export function Int_bitNot(self_) {
109
+ return ~self_;
110
+ }
111
+
112
+ export function Int_bitOr(self_, that_) {
113
+ return self_ | that_;
114
+ }
115
+
116
+ export function Int_bitAnd(self_, that_) {
117
+ return self_ & that_;
118
+ }
119
+
120
+ export function Int_bitXor(self_, that_) {
121
+ return self_ ^ that_;
122
+ }
123
+
124
+ export function Int_bitLeft(self_, bits_ = 1) {
125
+ return self_ << bits_;
126
+ }
127
+
128
+ export function Int_bitRight(self_, bits_ = 1, signed_ = true) {
129
+ return signed_ ? self_ >> bits_ : self_ >>> bits_;
130
+ }
131
+
132
+ export function Int_to(self_, inclusiveEnd_) {
133
+ let result_ = ff_core_List.Empty();
134
+ let n_ = inclusiveEnd_;
135
+ while((self_ <= n_)) {
136
+ result_ = ff_core_List.Link(n_, result_);
137
+ n_ -= 1
138
+ };
139
+ return result_
140
+ }
141
+
142
+ export function Int_until(self_, exclusiveEnd_) {
143
+ let result_ = ff_core_List.Empty();
144
+ let n_ = exclusiveEnd_;
145
+ while((self_ < n_)) {
146
+ result_ = ff_core_List.Link((n_ - 1), result_);
147
+ n_ -= 1
148
+ };
149
+ return result_
150
+ }
151
+
152
+ export function Int_min(self_, that_) {
153
+ if((self_ < that_)) {
154
+ return self_
155
+ } else {
156
+ return that_
157
+ }
158
+ }
159
+
160
+ export function Int_max(self_, that_) {
161
+ if((self_ > that_)) {
162
+ return self_
163
+ } else {
164
+ return that_
165
+ }
166
+ }
167
+
168
+ export function Int_clamp(self_, from_, to_) {
169
+ if((self_ <= from_)) {
170
+ return from_
171
+ } else if((self_ >= to_)) {
172
+ return to_
173
+ } else {
174
+ return self_
175
+ }
176
+ }
177
+
178
+ export async function Int_abs$(self_, $task) {
179
+ throw new Error('Function Int_abs is missing on this target in async context.');
180
+ }
181
+
182
+ export async function Int_toFloat$(self_, $task) {
183
+ throw new Error('Function Int_toFloat is missing on this target in async context.');
184
+ }
185
+
186
+ export async function Int_bitNot$(self_, $task) {
187
+ throw new Error('Function Int_bitNot is missing on this target in async context.');
188
+ }
189
+
190
+ export async function Int_bitOr$(self_, that_, $task) {
191
+ throw new Error('Function Int_bitOr is missing on this target in async context.');
192
+ }
193
+
194
+ export async function Int_bitAnd$(self_, that_, $task) {
195
+ throw new Error('Function Int_bitAnd is missing on this target in async context.');
196
+ }
197
+
198
+ export async function Int_bitXor$(self_, that_, $task) {
199
+ throw new Error('Function Int_bitXor is missing on this target in async context.');
200
+ }
201
+
202
+ export async function Int_bitLeft$(self_, bits_ = 1, $task) {
203
+ throw new Error('Function Int_bitLeft is missing on this target in async context.');
204
+ }
205
+
206
+ export async function Int_bitRight$(self_, bits_ = 1, signed_ = true, $task) {
207
+ throw new Error('Function Int_bitRight is missing on this target in async context.');
208
+ }
209
+
210
+ export async function Int_to$(self_, inclusiveEnd_, $task) {
211
+ let result_ = ff_core_List.Empty();
212
+ let n_ = inclusiveEnd_;
213
+ while((self_ <= n_)) {
214
+ result_ = ff_core_List.Link(n_, result_);
215
+ n_ -= 1
216
+ };
217
+ return result_
218
+ }
219
+
220
+ export async function Int_until$(self_, exclusiveEnd_, $task) {
221
+ let result_ = ff_core_List.Empty();
222
+ let n_ = exclusiveEnd_;
223
+ while((self_ < n_)) {
224
+ result_ = ff_core_List.Link((n_ - 1), result_);
225
+ n_ -= 1
226
+ };
227
+ return result_
228
+ }
229
+
230
+ export async function Int_min$(self_, that_, $task) {
231
+ if((self_ < that_)) {
232
+ return self_
233
+ } else {
234
+ return that_
235
+ }
236
+ }
237
+
238
+ export async function Int_max$(self_, that_, $task) {
239
+ if((self_ > that_)) {
240
+ return self_
241
+ } else {
242
+ return that_
243
+ }
244
+ }
245
+
246
+ export async function Int_clamp$(self_, from_, to_, $task) {
247
+ if((self_ <= from_)) {
248
+ return from_
249
+ } else if((self_ >= to_)) {
250
+ return to_
251
+ } else {
252
+ return self_
253
+ }
254
+ }
255
+
256
+ export const ff_core_Any_HasAnyTag$ff_core_Int_Int = {
257
+ anyTag_() {
258
+ return ff_core_Any.internalAnyTag_((("ff:core/Int.Int" + "[") + "]"))
259
+ },
260
+ async anyTag_$($task) {
261
+ return ff_core_Any.internalAnyTag_((("ff:core/Int.Int" + "[") + "]"))
262
+ }
263
+ };
264
+
265
+