jade-lang 0.1.0
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.
- checksums.yaml +7 -0
- data/CHANGELOG.md +23 -0
- data/LICENSE +21 -0
- data/README.md +386 -0
- data/exe/jade +6 -0
- data/lib/jade/ast/node.rb +44 -0
- data/lib/jade/ast/nodes.rb +35 -0
- data/lib/jade/ast/pretty_printer.rb +50 -0
- data/lib/jade/ast.rb +723 -0
- data/lib/jade/calendar/runtime.rb +15 -0
- data/lib/jade/cli/fmt.rb +96 -0
- data/lib/jade/cli/lsp.rb +13 -0
- data/lib/jade/cli/q.rb +113 -0
- data/lib/jade/cli.rb +43 -0
- data/lib/jade/clock/runtime.rb +13 -0
- data/lib/jade/codegen/boundary/cache.rb +94 -0
- data/lib/jade/codegen/boundary/specialized/list.rb +65 -0
- data/lib/jade/codegen/boundary/specialized/maybe.rb +40 -0
- data/lib/jade/codegen/boundary/specialized/record.rb +165 -0
- data/lib/jade/codegen/boundary/specialized/scalar.rb +67 -0
- data/lib/jade/codegen/boundary/specialized.rb +106 -0
- data/lib/jade/codegen/boundary.rb +189 -0
- data/lib/jade/codegen/constructor_reference.rb +18 -0
- data/lib/jade/codegen/context.rb +96 -0
- data/lib/jade/codegen/emitter.rb +81 -0
- data/lib/jade/codegen/function_call.rb +367 -0
- data/lib/jade/codegen/function_declaration.rb +199 -0
- data/lib/jade/codegen/helpers.rb +103 -0
- data/lib/jade/codegen/implementation.rb +178 -0
- data/lib/jade/codegen/inline.rb +89 -0
- data/lib/jade/codegen/inlines.rb +326 -0
- data/lib/jade/codegen/method_names.rb +54 -0
- data/lib/jade/codegen/pattern/constructor.rb +57 -0
- data/lib/jade/codegen/port_decoder.rb +77 -0
- data/lib/jade/codegen/pretty.rb +53 -0
- data/lib/jade/codegen/transforms/fold_shape.rb +222 -0
- data/lib/jade/codegen/transforms/self_call.rb +80 -0
- data/lib/jade/codegen/transforms/tail_call.rb +120 -0
- data/lib/jade/codegen/variant_declaration.rb +41 -0
- data/lib/jade/codegen.rb +400 -0
- data/lib/jade/compiler.rb +69 -0
- data/lib/jade/decode.rb +320 -0
- data/lib/jade/diagnostics/renderer.rb +121 -0
- data/lib/jade/diagnostics.rb +77 -0
- data/lib/jade/did_you_mean.rb +16 -0
- data/lib/jade/entry.rb +177 -0
- data/lib/jade/error.rb +72 -0
- data/lib/jade/formatter/accesses.rb +37 -0
- data/lib/jade/formatter/bindings.rb +29 -0
- data/lib/jade/formatter/body.rb +50 -0
- data/lib/jade/formatter/calls.rb +51 -0
- data/lib/jade/formatter/case_of.rb +31 -0
- data/lib/jade/formatter/case_of_branch.rb +59 -0
- data/lib/jade/formatter/collections.rb +78 -0
- data/lib/jade/formatter/declarations.rb +178 -0
- data/lib/jade/formatter/exposing.rb +48 -0
- data/lib/jade/formatter/function_declaration.rb +72 -0
- data/lib/jade/formatter/helper.rb +122 -0
- data/lib/jade/formatter/if_then_else.rb +64 -0
- data/lib/jade/formatter/infix_application.rb +69 -0
- data/lib/jade/formatter/lambda.rb +50 -0
- data/lib/jade/formatter/leaves.rb +111 -0
- data/lib/jade/formatter/module_node.rb +26 -0
- data/lib/jade/formatter/pattern.rb +61 -0
- data/lib/jade/formatter/type.rb +67 -0
- data/lib/jade/formatter.rb +38 -0
- data/lib/jade/frontend/comment_attacher.rb +121 -0
- data/lib/jade/frontend/desugaring/placeholder.rb +39 -0
- data/lib/jade/frontend/desugaring/resolved.rb +63 -0
- data/lib/jade/frontend/desugaring.rb +217 -0
- data/lib/jade/frontend/fixity_fixer.rb +209 -0
- data/lib/jade/frontend/forward_declaration/body.rb +30 -0
- data/lib/jade/frontend/forward_declaration/error/bad_import.rb +19 -0
- data/lib/jade/frontend/forward_declaration/error/exposed_type_not_found.rb +18 -0
- data/lib/jade/frontend/forward_declaration/error/exposed_value_not_found.rb +18 -0
- data/lib/jade/frontend/forward_declaration/error/module_not_found.rb +18 -0
- data/lib/jade/frontend/forward_declaration/error/private_type_expansion.rb +19 -0
- data/lib/jade/frontend/forward_declaration/error/tuple_arity_overflow.rb +25 -0
- data/lib/jade/frontend/forward_declaration/error/type_not_found.rb +29 -0
- data/lib/jade/frontend/forward_declaration/error/type_not_lowerable.rb +16 -0
- data/lib/jade/frontend/forward_declaration/error/unknown_extends_interface.rb +18 -0
- data/lib/jade/frontend/forward_declaration/error.rb +11 -0
- data/lib/jade/frontend/forward_declaration/function_declaration.rb +32 -0
- data/lib/jade/frontend/forward_declaration/helper.rb +91 -0
- data/lib/jade/frontend/forward_declaration/implementation.rb +63 -0
- data/lib/jade/frontend/forward_declaration/implementation_function.rb +39 -0
- data/lib/jade/frontend/forward_declaration/import_declaration.rb +115 -0
- data/lib/jade/frontend/forward_declaration/interface_declaration.rb +66 -0
- data/lib/jade/frontend/forward_declaration/interop_import_declaration.rb +99 -0
- data/lib/jade/frontend/forward_declaration/module.rb +98 -0
- data/lib/jade/frontend/forward_declaration/struct_declaration.rb +42 -0
- data/lib/jade/frontend/forward_declaration/type_declaration.rb +42 -0
- data/lib/jade/frontend/forward_declaration.rb +71 -0
- data/lib/jade/frontend/pattern_analysis/exhaustiveness.rb +65 -0
- data/lib/jade/frontend/pattern_analysis/matrix.rb +235 -0
- data/lib/jade/frontend/pattern_analysis.rb +40 -0
- data/lib/jade/frontend/semantic_analysis/assign.rb +20 -0
- data/lib/jade/frontend/semantic_analysis/body.rb +33 -0
- data/lib/jade/frontend/semantic_analysis/case_of.rb +19 -0
- data/lib/jade/frontend/semantic_analysis/case_of_branch.rb +20 -0
- data/lib/jade/frontend/semantic_analysis/char_literal.rb +14 -0
- data/lib/jade/frontend/semantic_analysis/constructor_reference.rb +64 -0
- data/lib/jade/frontend/semantic_analysis/error/circular_extends.rb +19 -0
- data/lib/jade/frontend/semantic_analysis/error/constant_not_callable.rb +24 -0
- data/lib/jade/frontend/semantic_analysis/error/constructor_not_found.rb +34 -0
- data/lib/jade/frontend/semantic_analysis/error/constructor_pattern_arity_mismatch.rb +24 -0
- data/lib/jade/frontend/semantic_analysis/error/duplicate_field.rb +18 -0
- data/lib/jade/frontend/semantic_analysis/error/duplicate_function_declaration.rb +25 -0
- data/lib/jade/frontend/semantic_analysis/error/duplicate_record_field.rb +19 -0
- data/lib/jade/frontend/semantic_analysis/error/invalid_list_rest_pattern.rb +21 -0
- data/lib/jade/frontend/semantic_analysis/error/kwargs_on_non_constructor.rb +17 -0
- data/lib/jade/frontend/semantic_analysis/error/missing_exposing_clause.rb +17 -0
- data/lib/jade/frontend/semantic_analysis/error/missing_extends_implementation.rb +21 -0
- data/lib/jade/frontend/semantic_analysis/error/missing_field.rb +20 -0
- data/lib/jade/frontend/semantic_analysis/error/missing_implementation_function.rb +19 -0
- data/lib/jade/frontend/semantic_analysis/error/module_not_found.rb +22 -0
- data/lib/jade/frontend/semantic_analysis/error/nested_task_port.rb +19 -0
- data/lib/jade/frontend/semantic_analysis/error/non_task_port.rb +22 -0
- data/lib/jade/frontend/semantic_analysis/error/orphan_implementation.rb +20 -0
- data/lib/jade/frontend/semantic_analysis/error/predicate_must_return_bool.rb +22 -0
- data/lib/jade/frontend/semantic_analysis/error/predicate_name_not_allowed.rb +25 -0
- data/lib/jade/frontend/semantic_analysis/error/shadowing_error.rb +22 -0
- data/lib/jade/frontend/semantic_analysis/error/type_args_mismatch.rb +25 -0
- data/lib/jade/frontend/semantic_analysis/error/type_param_required.rb +19 -0
- data/lib/jade/frontend/semantic_analysis/error/unbound_type_variable.rb +22 -0
- data/lib/jade/frontend/semantic_analysis/error/undefined_variable.rb +29 -0
- data/lib/jade/frontend/semantic_analysis/error/unknown_field.rb +20 -0
- data/lib/jade/frontend/semantic_analysis/error/unknown_implementation_function.rb +19 -0
- data/lib/jade/frontend/semantic_analysis/error/unused_interface_type_param.rb +24 -0
- data/lib/jade/frontend/semantic_analysis/error/value_not_exposed.rb +23 -0
- data/lib/jade/frontend/semantic_analysis/error/variable_not_found.rb +25 -0
- data/lib/jade/frontend/semantic_analysis/error.rb +40 -0
- data/lib/jade/frontend/semantic_analysis/function_call.rb +60 -0
- data/lib/jade/frontend/semantic_analysis/function_declaration.rb +58 -0
- data/lib/jade/frontend/semantic_analysis/grouping.rb +17 -0
- data/lib/jade/frontend/semantic_analysis/helper.rb +152 -0
- data/lib/jade/frontend/semantic_analysis/if_then_else.rb +20 -0
- data/lib/jade/frontend/semantic_analysis/implementation.rb +143 -0
- data/lib/jade/frontend/semantic_analysis/implementation_function.rb +16 -0
- data/lib/jade/frontend/semantic_analysis/import_declaration.rb +14 -0
- data/lib/jade/frontend/semantic_analysis/interface_declaration.rb +45 -0
- data/lib/jade/frontend/semantic_analysis/interop_import_declaration.rb +69 -0
- data/lib/jade/frontend/semantic_analysis/keyed_call/validation.rb +109 -0
- data/lib/jade/frontend/semantic_analysis/keyed_call.rb +88 -0
- data/lib/jade/frontend/semantic_analysis/lambda.rb +23 -0
- data/lib/jade/frontend/semantic_analysis/list.rb +17 -0
- data/lib/jade/frontend/semantic_analysis/literal.rb +23 -0
- data/lib/jade/frontend/semantic_analysis/member_access.rb +87 -0
- data/lib/jade/frontend/semantic_analysis/module_node.rb +27 -0
- data/lib/jade/frontend/semantic_analysis/pattern_binding.rb +27 -0
- data/lib/jade/frontend/semantic_analysis/pattern_constructor.rb +47 -0
- data/lib/jade/frontend/semantic_analysis/pattern_list.rb +33 -0
- data/lib/jade/frontend/semantic_analysis/pattern_literal.rb +17 -0
- data/lib/jade/frontend/semantic_analysis/pattern_record.rb +25 -0
- data/lib/jade/frontend/semantic_analysis/pattern_wildcard.rb +14 -0
- data/lib/jade/frontend/semantic_analysis/qualified_access.rb +14 -0
- data/lib/jade/frontend/semantic_analysis/record_access.rb +14 -0
- data/lib/jade/frontend/semantic_analysis/record_field.rb +17 -0
- data/lib/jade/frontend/semantic_analysis/record_literal.rb +21 -0
- data/lib/jade/frontend/semantic_analysis/record_update.rb +21 -0
- data/lib/jade/frontend/semantic_analysis/struct_declaration.rb +44 -0
- data/lib/jade/frontend/semantic_analysis/tuple.rb +17 -0
- data/lib/jade/frontend/semantic_analysis/type_declaration.rb +69 -0
- data/lib/jade/frontend/semantic_analysis/variable_reference.rb +27 -0
- data/lib/jade/frontend/semantic_analysis/variant_declaration.rb +18 -0
- data/lib/jade/frontend/semantic_analysis.rb +161 -0
- data/lib/jade/frontend/type_checking/canonicalize.rb +97 -0
- data/lib/jade/frontend/type_checking/constraints/deriving/decodable.rb +144 -0
- data/lib/jade/frontend/type_checking/constraints/deriving/encodable.rb +144 -0
- data/lib/jade/frontend/type_checking/constraints/deriving/eq.rb +265 -0
- data/lib/jade/frontend/type_checking/constraints/deriving/helpers.rb +59 -0
- data/lib/jade/frontend/type_checking/constraints/deriving.rb +28 -0
- data/lib/jade/frontend/type_checking/constraints.rb +101 -0
- data/lib/jade/frontend/type_checking/definition.rb +71 -0
- data/lib/jade/frontend/type_checking/env.rb +79 -0
- data/lib/jade/frontend/type_checking/error/case_of_branches_type_mismatch.rb +19 -0
- data/lib/jade/frontend/type_checking/error/derivation_failed.rb +21 -0
- data/lib/jade/frontend/type_checking/error/function_body_type_mismatch.rb +23 -0
- data/lib/jade/frontend/type_checking/error/function_call_type_mismatch.rb +37 -0
- data/lib/jade/frontend/type_checking/error/if_branch_type_mismatch.rb +19 -0
- data/lib/jade/frontend/type_checking/error/if_branches_type_mismatch.rb +18 -0
- data/lib/jade/frontend/type_checking/error/if_condition_type_mismatch.rb +17 -0
- data/lib/jade/frontend/type_checking/error/implementation_type_mismatch.rb +20 -0
- data/lib/jade/frontend/type_checking/error/list_item_type_mismatch.rb +19 -0
- data/lib/jade/frontend/type_checking/error/missing_implementation.rb +20 -0
- data/lib/jade/frontend/type_checking/error/missing_patterns.rb +26 -0
- data/lib/jade/frontend/type_checking/error/pattern_type_mismatch.rb +13 -0
- data/lib/jade/frontend/type_checking/error/port_not_decodable.rb +38 -0
- data/lib/jade/frontend/type_checking/error/record_access_type_mismatch.rb +14 -0
- data/lib/jade/frontend/type_checking/error/type_mismatch.rb +23 -0
- data/lib/jade/frontend/type_checking/error/unresolved_constraint.rb +20 -0
- data/lib/jade/frontend/type_checking/error.rb +18 -0
- data/lib/jade/frontend/type_checking/expected.rb +23 -0
- data/lib/jade/frontend/type_checking/generalization.rb +17 -0
- data/lib/jade/frontend/type_checking/generalizer.rb +38 -0
- data/lib/jade/frontend/type_checking/inference/assign.rb +58 -0
- data/lib/jade/frontend/type_checking/inference/body.rb +45 -0
- data/lib/jade/frontend/type_checking/inference/case_of.rb +102 -0
- data/lib/jade/frontend/type_checking/inference/constructor_reference.rb +21 -0
- data/lib/jade/frontend/type_checking/inference/function_call.rb +132 -0
- data/lib/jade/frontend/type_checking/inference/function_declaration.rb +70 -0
- data/lib/jade/frontend/type_checking/inference/grouping.rb +18 -0
- data/lib/jade/frontend/type_checking/inference/helpers.rb +34 -0
- data/lib/jade/frontend/type_checking/inference/if_then_else.rb +46 -0
- data/lib/jade/frontend/type_checking/inference/implementation.rb +150 -0
- data/lib/jade/frontend/type_checking/inference/import_declaration.rb +19 -0
- data/lib/jade/frontend/type_checking/inference/interface_declaration.rb +18 -0
- data/lib/jade/frontend/type_checking/inference/interop_import_declaration.rb +18 -0
- data/lib/jade/frontend/type_checking/inference/lambda.rb +87 -0
- data/lib/jade/frontend/type_checking/inference/list.rb +52 -0
- data/lib/jade/frontend/type_checking/inference/literal.rb +24 -0
- data/lib/jade/frontend/type_checking/inference/module.rb +18 -0
- data/lib/jade/frontend/type_checking/inference/pattern.rb +135 -0
- data/lib/jade/frontend/type_checking/inference/qualified_access.rb +23 -0
- data/lib/jade/frontend/type_checking/inference/record_access.rb +35 -0
- data/lib/jade/frontend/type_checking/inference/record_field.rb +19 -0
- data/lib/jade/frontend/type_checking/inference/record_literal.rb +24 -0
- data/lib/jade/frontend/type_checking/inference/record_update.rb +37 -0
- data/lib/jade/frontend/type_checking/inference/struct_declaration.rb +18 -0
- data/lib/jade/frontend/type_checking/inference/type_declaration.rb +18 -0
- data/lib/jade/frontend/type_checking/inference/variable_reference.rb +27 -0
- data/lib/jade/frontend/type_checking/inference.rb +27 -0
- data/lib/jade/frontend/type_checking/instantiation.rb +24 -0
- data/lib/jade/frontend/type_checking/loader.rb +80 -0
- data/lib/jade/frontend/type_checking/placeholder.rb +12 -0
- data/lib/jade/frontend/type_checking/port_resolution.rb +123 -0
- data/lib/jade/frontend/type_checking/result.rb +41 -0
- data/lib/jade/frontend/type_checking/scheme.rb +20 -0
- data/lib/jade/frontend/type_checking/state.rb +52 -0
- data/lib/jade/frontend/type_checking/substitution.rb +93 -0
- data/lib/jade/frontend/type_checking/unification.rb +282 -0
- data/lib/jade/frontend/type_checking/var_gen.rb +33 -0
- data/lib/jade/frontend/type_checking.rb +129 -0
- data/lib/jade/frontend/unused_analysis.rb +41 -0
- data/lib/jade/frontend/usage_analysis/reference_index.rb +53 -0
- data/lib/jade/frontend/usage_analysis.rb +195 -0
- data/lib/jade/frontend.rb +101 -0
- data/lib/jade/interop/boundary.rb +68 -0
- data/lib/jade/interop/error.rb +84 -0
- data/lib/jade/interop/lowering/error.rb +32 -0
- data/lib/jade/interop/lowering.rb +53 -0
- data/lib/jade/interop/runtime.rb +24 -0
- data/lib/jade/interop.rb +1 -0
- data/lib/jade/lexer.rb +189 -0
- data/lib/jade/lsp/converters.rb +542 -0
- data/lib/jade/lsp/handlers.rb +340 -0
- data/lib/jade/lsp/server.rb +63 -0
- data/lib/jade/lsp/snippets.rb +100 -0
- data/lib/jade/lsp/state.rb +25 -0
- data/lib/jade/lsp.rb +16 -0
- data/lib/jade/module_loader/cache.rb +56 -0
- data/lib/jade/module_loader/dependency_graph.rb +23 -0
- data/lib/jade/module_loader/dependency_resolver.rb +48 -0
- data/lib/jade/module_loader/normalize.rb +34 -0
- data/lib/jade/module_loader/topological_sort.rb +41 -0
- data/lib/jade/module_loader.rb +127 -0
- data/lib/jade/parsing/combinators.rb +291 -0
- data/lib/jade/parsing/error.rb +154 -0
- data/lib/jade/parsing/token.rb +12 -0
- data/lib/jade/parsing/type.rb +92 -0
- data/lib/jade/parsing.rb +674 -0
- data/lib/jade/port.rb +1 -0
- data/lib/jade/registry.rb +79 -0
- data/lib/jade/result.rb +121 -0
- data/lib/jade/runtime.rb +127 -0
- data/lib/jade/source.rb +62 -0
- data/lib/jade/stdlib/basics.rb +214 -0
- data/lib/jade/stdlib/bytes.rb +70 -0
- data/lib/jade/stdlib/calendar.rb +405 -0
- data/lib/jade/stdlib/char.rb +27 -0
- data/lib/jade/stdlib/clock.rb +342 -0
- data/lib/jade/stdlib/compiled.rb +48 -0
- data/lib/jade/stdlib/decode/params.rb +154 -0
- data/lib/jade/stdlib/decode.rb +315 -0
- data/lib/jade/stdlib/dict.rb +134 -0
- data/lib/jade/stdlib/encode.rb +143 -0
- data/lib/jade/stdlib/intrinsics.rb +280 -0
- data/lib/jade/stdlib/list.rb +214 -0
- data/lib/jade/stdlib/maybe.rb +73 -0
- data/lib/jade/stdlib/result.rb +131 -0
- data/lib/jade/stdlib/set.rb +123 -0
- data/lib/jade/stdlib/string.rb +65 -0
- data/lib/jade/stdlib/task.rb +55 -0
- data/lib/jade/stdlib/tuple.rb +21 -0
- data/lib/jade/stdlib.rb +112 -0
- data/lib/jade/symbol/anonymous_record.rb +7 -0
- data/lib/jade/symbol/base.rb +15 -0
- data/lib/jade/symbol/constructor.rb +11 -0
- data/lib/jade/symbol/derived_function.rb +5 -0
- data/lib/jade/symbol/function.rb +15 -0
- data/lib/jade/symbol/function_type.rb +7 -0
- data/lib/jade/symbol/implementation.rb +17 -0
- data/lib/jade/symbol/implementation_template.rb +13 -0
- data/lib/jade/symbol/interface.rb +11 -0
- data/lib/jade/symbol/interface_function.rb +18 -0
- data/lib/jade/symbol/interop_function.rb +22 -0
- data/lib/jade/symbol/lambda.rb +7 -0
- data/lib/jade/symbol/parser.rb +79 -0
- data/lib/jade/symbol/partial_application.rb +7 -0
- data/lib/jade/symbol/record_type.rb +8 -0
- data/lib/jade/symbol/stdlib_function.rb +15 -0
- data/lib/jade/symbol/stdlib_implementation.rb +7 -0
- data/lib/jade/symbol/struct.rb +15 -0
- data/lib/jade/symbol/type_application.rb +8 -0
- data/lib/jade/symbol/type_ref.rb +11 -0
- data/lib/jade/symbol/union.rb +15 -0
- data/lib/jade/symbol/value_ref.rb +15 -0
- data/lib/jade/symbol/variable.rb +7 -0
- data/lib/jade/symbol/variant.rb +11 -0
- data/lib/jade/symbol.rb +162 -0
- data/lib/jade/task.rb +103 -0
- data/lib/jade/tasks/rspec.rb +266 -0
- data/lib/jade/tasks.rb +70 -0
- data/lib/jade/type/anonymous_record.rb +33 -0
- data/lib/jade/type/application.rb +21 -0
- data/lib/jade/type/base.rb +9 -0
- data/lib/jade/type/constraint.rb +17 -0
- data/lib/jade/type/constructor.rb +19 -0
- data/lib/jade/type/function.rb +18 -0
- data/lib/jade/type/partial_application.rb +17 -0
- data/lib/jade/type/unit.rb +15 -0
- data/lib/jade/type/var.rb +21 -0
- data/lib/jade/type.rb +259 -0
- data/lib/jade/version.rb +3 -0
- data/lib/jade.rb +55 -0
- metadata +387 -0
data/lib/jade/codegen.rb
ADDED
|
@@ -0,0 +1,400 @@
|
|
|
1
|
+
require 'jade/codegen/context'
|
|
2
|
+
require 'jade/codegen/helpers'
|
|
3
|
+
require 'jade/codegen/pretty'
|
|
4
|
+
require 'jade/codegen/method_names'
|
|
5
|
+
require 'jade/codegen/inlines'
|
|
6
|
+
require 'jade/codegen/inline'
|
|
7
|
+
require 'jade/codegen/boundary'
|
|
8
|
+
require 'jade/codegen/boundary/cache'
|
|
9
|
+
require 'jade/codegen/boundary/specialized'
|
|
10
|
+
|
|
11
|
+
require 'jade/codegen/emitter'
|
|
12
|
+
|
|
13
|
+
require 'jade/codegen/constructor_reference'
|
|
14
|
+
require 'jade/codegen/variant_declaration'
|
|
15
|
+
require 'jade/codegen/pattern/constructor'
|
|
16
|
+
require 'jade/codegen/transforms/self_call'
|
|
17
|
+
require 'jade/codegen/transforms/tail_call'
|
|
18
|
+
require 'jade/codegen/transforms/fold_shape'
|
|
19
|
+
require 'jade/codegen/function_declaration'
|
|
20
|
+
require 'jade/codegen/function_call'
|
|
21
|
+
require 'jade/codegen/implementation'
|
|
22
|
+
require 'jade/codegen/port_decoder'
|
|
23
|
+
|
|
24
|
+
module Jade
|
|
25
|
+
module Codegen
|
|
26
|
+
extend self
|
|
27
|
+
extend Emitter
|
|
28
|
+
extend Helpers
|
|
29
|
+
extend Context
|
|
30
|
+
|
|
31
|
+
def record_shape_constant(keys)
|
|
32
|
+
"Record_#{keys.join('_')}"
|
|
33
|
+
end
|
|
34
|
+
|
|
35
|
+
def collect_record_shapes(node, shapes = ::Set.new)
|
|
36
|
+
shapes << node.fields.map(&:key).sort if node.is_a?(AST::RecordLiteral)
|
|
37
|
+
|
|
38
|
+
if node.is_a?(AST::Node)
|
|
39
|
+
node.members.each do |m|
|
|
40
|
+
[*node.public_send(m)].each { collect_record_shapes(it, shapes) if it.is_a?(AST::Node) }
|
|
41
|
+
end
|
|
42
|
+
end
|
|
43
|
+
|
|
44
|
+
shapes
|
|
45
|
+
end
|
|
46
|
+
|
|
47
|
+
def collect_dispatched_methods(body, registry)
|
|
48
|
+
body.expressions
|
|
49
|
+
.filter { it.is_a?(AST::Implementation) }
|
|
50
|
+
.filter { MethodNames.operator_interface?(it.symbol.interface.qualified_name) }
|
|
51
|
+
.flat_map do |node|
|
|
52
|
+
methods = Implementation.method_bodies_for(node, registry)
|
|
53
|
+
ruby_classes_for_type(node.symbol.type, registry).map { [it, methods] }
|
|
54
|
+
end
|
|
55
|
+
.group_by(&:first)
|
|
56
|
+
.transform_values { |pairs| pairs.flat_map(&:last) }
|
|
57
|
+
end
|
|
58
|
+
|
|
59
|
+
def data_define_with_methods(name, fields, ruby_class)
|
|
60
|
+
methods = dispatched_methods[ruby_class] || []
|
|
61
|
+
base = data_define(fields)
|
|
62
|
+
|
|
63
|
+
if methods.empty?
|
|
64
|
+
"#{name} = #{base}"
|
|
65
|
+
else
|
|
66
|
+
methods
|
|
67
|
+
.join(Pretty.newline(2))
|
|
68
|
+
.then { Pretty.block("#{name} = #{base} do", it) }
|
|
69
|
+
end
|
|
70
|
+
end
|
|
71
|
+
|
|
72
|
+
def generate_entry(entry, registry)
|
|
73
|
+
generate(entry.ast, registry)
|
|
74
|
+
.then { entry.entry ? "#{load_path}\n#{it}" : it }
|
|
75
|
+
.then { entry.with(generated: it) }
|
|
76
|
+
end
|
|
77
|
+
|
|
78
|
+
def reference_emission(resolved, dictionaries, registry, &fallback)
|
|
79
|
+
FunctionCall.reference_with_dictionaries(resolved, dictionaries, registry) || fallback.call
|
|
80
|
+
end
|
|
81
|
+
|
|
82
|
+
def generate(node, registry, depth: 0)
|
|
83
|
+
case node
|
|
84
|
+
in AST::Module(name:, body:)
|
|
85
|
+
preamble = [
|
|
86
|
+
"require 'jade/runtime'",
|
|
87
|
+
*Stdlib.requires(name),
|
|
88
|
+
*namespace_setup_lines(name),
|
|
89
|
+
].reject(&:empty?).join(Pretty.newline)
|
|
90
|
+
|
|
91
|
+
shape_consts = collect_record_shapes(body)
|
|
92
|
+
.sort
|
|
93
|
+
.map { |keys|
|
|
94
|
+
"#{record_shape_constant(keys)} = Data.define(#{keys.map { ":#{it}" }.join(', ')})"
|
|
95
|
+
}
|
|
96
|
+
|
|
97
|
+
boundary_cache = Boundary::Cache.collect(body, registry)
|
|
98
|
+
boundary_consts = Boundary::Cache.constants(boundary_cache, registry)
|
|
99
|
+
boundary_helpers = Boundary::Specialized.collect_helpers(body, registry)
|
|
100
|
+
.then { Boundary::Specialized.emit_helpers(it, registry) }
|
|
101
|
+
|
|
102
|
+
outer, inner, wrappers =
|
|
103
|
+
with_boundary_cache(boundary_cache) do
|
|
104
|
+
with_dispatched_methods(collect_dispatched_methods(body, registry)) do
|
|
105
|
+
with_hoisted_records do
|
|
106
|
+
partition_module_body(body.expressions, registry, name.count('.'))
|
|
107
|
+
end
|
|
108
|
+
end
|
|
109
|
+
end
|
|
110
|
+
|
|
111
|
+
inner_module = ["extend self", *inner]
|
|
112
|
+
.join(Pretty.newline(2))
|
|
113
|
+
.then { Pretty.block("module Internal", it) }
|
|
114
|
+
|
|
115
|
+
[
|
|
116
|
+
"extend self",
|
|
117
|
+
*shape_consts,
|
|
118
|
+
*outer,
|
|
119
|
+
inner_module,
|
|
120
|
+
*boundary_consts,
|
|
121
|
+
*boundary_helpers,
|
|
122
|
+
*wrappers,
|
|
123
|
+
]
|
|
124
|
+
.reject(&:empty?)
|
|
125
|
+
.join(Pretty.newline(2))
|
|
126
|
+
.then { Pretty.block("module #{to_qualified(name)}", it) }
|
|
127
|
+
.then { [preamble, it].reject(&:empty?).join(Pretty.newline(2)) }
|
|
128
|
+
|
|
129
|
+
in AST::ImportDeclaration(module_name:)
|
|
130
|
+
entry = registry.get(module_name)
|
|
131
|
+
if Stdlib.is_stdlib?(entry)
|
|
132
|
+
""
|
|
133
|
+
else
|
|
134
|
+
entry.path
|
|
135
|
+
.then { relative_require(it, depth) }
|
|
136
|
+
.then { "require_relative '#{it}'" }
|
|
137
|
+
end
|
|
138
|
+
|
|
139
|
+
in AST::InteropImportDeclaration(module: mod)
|
|
140
|
+
Pretty.block("begin", "require '#{mod.name.gsub('::', '/').downcase}'\nrescue LoadError")
|
|
141
|
+
|
|
142
|
+
in AST::Implementation
|
|
143
|
+
Implementation.generate(node, registry)
|
|
144
|
+
|
|
145
|
+
in AST::Body(expressions:)
|
|
146
|
+
expressions
|
|
147
|
+
.map { generate(it, registry, depth:) }
|
|
148
|
+
.reject(&:empty?)
|
|
149
|
+
.join("\n")
|
|
150
|
+
|
|
151
|
+
in AST::VariableReference(name:) if name == self_var_name
|
|
152
|
+
'self'
|
|
153
|
+
|
|
154
|
+
in AST::VariableReference(symbol: ref, name:, dictionaries:)
|
|
155
|
+
resolved = ref.is_a?(Symbol::ValueRef) ? registry.lookup(ref) : ref
|
|
156
|
+
|
|
157
|
+
reference_emission(resolved, dictionaries, registry) do
|
|
158
|
+
case resolved
|
|
159
|
+
in Symbol::InteropFunction => sym
|
|
160
|
+
registry
|
|
161
|
+
.lookup(sym.to_ref)
|
|
162
|
+
.then { PortDecoder.task_call(it, registry) }
|
|
163
|
+
|
|
164
|
+
in Symbol::StdlibFunction(codegen:)
|
|
165
|
+
codegen
|
|
166
|
+
|
|
167
|
+
in Symbol::Function => fn
|
|
168
|
+
"#{to_qualified(fn.module_name)}::Internal.method(:#{fn.name})"
|
|
169
|
+
|
|
170
|
+
else
|
|
171
|
+
name
|
|
172
|
+
end
|
|
173
|
+
end
|
|
174
|
+
|
|
175
|
+
in AST::Assign(pattern:, expression:)
|
|
176
|
+
case pattern
|
|
177
|
+
in AST::Pattern::Binding(name:)
|
|
178
|
+
"#{name} = #{generate(expression, registry)}"
|
|
179
|
+
in AST::Pattern::Wildcard
|
|
180
|
+
generate(expression, registry)
|
|
181
|
+
else
|
|
182
|
+
"#{generate(expression, registry)} => #{generate(pattern, registry)}"
|
|
183
|
+
end
|
|
184
|
+
|
|
185
|
+
in AST::Literal(value:)
|
|
186
|
+
emit(value)
|
|
187
|
+
|
|
188
|
+
in AST::CharLiteral(value:)
|
|
189
|
+
emit(value)
|
|
190
|
+
|
|
191
|
+
in AST::FunctionDeclaration
|
|
192
|
+
FunctionDeclaration.generate(node, registry)
|
|
193
|
+
|
|
194
|
+
in AST::FunctionDeclarationParam(name:)
|
|
195
|
+
name
|
|
196
|
+
|
|
197
|
+
in AST::FunctionCall
|
|
198
|
+
FunctionCall.generate(node, registry)
|
|
199
|
+
|
|
200
|
+
in AST::ConstructorReference
|
|
201
|
+
ConstructorReference.generate(node, registry)
|
|
202
|
+
|
|
203
|
+
in AST::TypeDeclaration(variants:)
|
|
204
|
+
variants
|
|
205
|
+
.map { VariantDeclaration.generate(it, variants.map(&:name)) }
|
|
206
|
+
.join(Pretty.newline(2))
|
|
207
|
+
|
|
208
|
+
in AST::StructDeclaration(name:, record_type:, symbol:)
|
|
209
|
+
data_define_with_methods(name, record_type.fields.keys, "::#{to_qualified(symbol.qualified_name)}")
|
|
210
|
+
|
|
211
|
+
in AST::InterfaceDeclaration
|
|
212
|
+
""
|
|
213
|
+
|
|
214
|
+
in AST::QualifiedAccess(symbol:, dictionaries:)
|
|
215
|
+
resolved = registry.lookup(symbol)
|
|
216
|
+
|
|
217
|
+
reference_emission(resolved, dictionaries, registry) do
|
|
218
|
+
case resolved
|
|
219
|
+
in Symbol::StdlibFunction(codegen:)
|
|
220
|
+
codegen
|
|
221
|
+
|
|
222
|
+
in Symbol::Function => fn
|
|
223
|
+
"#{to_qualified(fn.module_name)}::Internal.method(:#{fn.name})"
|
|
224
|
+
|
|
225
|
+
in Symbol::Constructor => sym
|
|
226
|
+
ConstructorReference.from_symbol(sym)
|
|
227
|
+
end
|
|
228
|
+
end
|
|
229
|
+
|
|
230
|
+
in AST::IfThenElse(condition:, if_branch:, else_branch:)
|
|
231
|
+
[
|
|
232
|
+
"if (#{generate(condition, registry)})",
|
|
233
|
+
Pretty.indent(generate(if_branch, registry)),
|
|
234
|
+
"else",
|
|
235
|
+
Pretty.indent(generate(else_branch, registry)),
|
|
236
|
+
"end",
|
|
237
|
+
].join(Pretty.newline)
|
|
238
|
+
|
|
239
|
+
in AST::CaseOf(expression:, branches:)
|
|
240
|
+
branches
|
|
241
|
+
.map { generate(it, registry) }
|
|
242
|
+
.join("\n")
|
|
243
|
+
.then { "case #{generate(expression, registry)}\n#{it}\nend" }
|
|
244
|
+
|
|
245
|
+
in AST::CaseOfBranch(pattern:, body:)
|
|
246
|
+
pat = generate(pattern, registry)
|
|
247
|
+
body = generate(body, registry)
|
|
248
|
+
|
|
249
|
+
Pretty.multiline?(body) \
|
|
250
|
+
? "in #{pat} then\n#{Pretty.indent(body)}"
|
|
251
|
+
: "in #{pat} then #{body}"
|
|
252
|
+
|
|
253
|
+
in AST::Pattern::Literal(literal:)
|
|
254
|
+
generate(literal, registry)
|
|
255
|
+
|
|
256
|
+
in AST::Pattern::Wildcard
|
|
257
|
+
"_"
|
|
258
|
+
|
|
259
|
+
in AST::Pattern::Binding(name:)
|
|
260
|
+
name
|
|
261
|
+
|
|
262
|
+
in AST::Pattern::Record(fields:)
|
|
263
|
+
generate_many(fields, registry)
|
|
264
|
+
.then { "{ #{it} }"}
|
|
265
|
+
|
|
266
|
+
in AST::Pattern::RecordField(name:, pattern:)
|
|
267
|
+
"#{name}: #{generate(pattern, registry)}"
|
|
268
|
+
|
|
269
|
+
in AST::Pattern::List(patterns:, rest:)
|
|
270
|
+
rest_part =
|
|
271
|
+
case rest
|
|
272
|
+
in AST::Pattern::Binding(name:) then ["*#{name}"]
|
|
273
|
+
in AST::Pattern::Wildcard then ["*"]
|
|
274
|
+
in nil then []
|
|
275
|
+
end
|
|
276
|
+
|
|
277
|
+
Pretty.array(patterns.map { generate(it, registry) } + rest_part)
|
|
278
|
+
|
|
279
|
+
in AST::Pattern::Constructor
|
|
280
|
+
Pattern::Constructor.generate(node, registry)
|
|
281
|
+
|
|
282
|
+
in AST::Lambda(params:, body:)
|
|
283
|
+
param_strs = params.zip(0..).map { |p, i| param_name(p, i) }
|
|
284
|
+
|
|
285
|
+
params
|
|
286
|
+
.zip(0..)
|
|
287
|
+
.filter_map { |p, i| "#{param_synthetic_name(i)} => #{generate(p, registry)}" unless simple_pattern?(p) }
|
|
288
|
+
.then { (it + [generate(body, registry)]).join("\n") }
|
|
289
|
+
.then { Pretty.lambda(param_strs.join(', '), it) }
|
|
290
|
+
|
|
291
|
+
in AST::Grouping(expression:)
|
|
292
|
+
"(#{generate(expression, registry)})"
|
|
293
|
+
|
|
294
|
+
in AST::List(items:)
|
|
295
|
+
Pretty.array(items.map { generate(it, registry) })
|
|
296
|
+
|
|
297
|
+
in AST::RecordLiteral(fields:)
|
|
298
|
+
fields.sort_by(&:key).then do |sorted|
|
|
299
|
+
keys = sorted.map(&:key)
|
|
300
|
+
values = generate_many(sorted.map(&:value), registry)
|
|
301
|
+
|
|
302
|
+
hoist_records? \
|
|
303
|
+
? "#{record_shape_constant(keys)}[#{values}]"
|
|
304
|
+
: "Jade::Runtime.record(#{keys.map { ":#{it}" }.join(', ')})[#{values}]"
|
|
305
|
+
end
|
|
306
|
+
|
|
307
|
+
in AST::RecordField(key:, value:)
|
|
308
|
+
"#{key}: #{generate(value, registry)}"
|
|
309
|
+
|
|
310
|
+
in AST::RecordAccess(target:, name:)
|
|
311
|
+
if self_var_name && target.is_a?(AST::VariableReference) && target.name == self_var_name
|
|
312
|
+
name.name
|
|
313
|
+
else
|
|
314
|
+
"#{generate(target, registry)}.#{name.name}"
|
|
315
|
+
end
|
|
316
|
+
|
|
317
|
+
in AST::RecordUpdate(base:, fields:)
|
|
318
|
+
generate_many(fields, registry)
|
|
319
|
+
.then { "#{generate(base, registry)}.with(#{it})" }
|
|
320
|
+
end
|
|
321
|
+
end
|
|
322
|
+
|
|
323
|
+
private
|
|
324
|
+
|
|
325
|
+
def param_name(pattern, index = 0)
|
|
326
|
+
case pattern
|
|
327
|
+
in AST::Pattern::Binding(name:) then name
|
|
328
|
+
in AST::Pattern::Wildcard then '_'
|
|
329
|
+
else
|
|
330
|
+
param_synthetic_name(index)
|
|
331
|
+
end
|
|
332
|
+
end
|
|
333
|
+
|
|
334
|
+
def simple_pattern?(pattern)
|
|
335
|
+
pattern.is_a?(AST::Pattern::Binding) || pattern.is_a?(AST::Pattern::Wildcard)
|
|
336
|
+
end
|
|
337
|
+
|
|
338
|
+
def relative_require(import_path, current_depth)
|
|
339
|
+
"#{'../' * current_depth}#{import_path}"
|
|
340
|
+
end
|
|
341
|
+
|
|
342
|
+
def namespace_setup_lines(name)
|
|
343
|
+
parts = name.split('.')
|
|
344
|
+
(0...parts.length - 1)
|
|
345
|
+
.map { parts[0..it].join('::') }
|
|
346
|
+
.then { |prefixes| Stdlib.stdlib_name?(name) ? ['Jade'] + prefixes.map { "Jade::#{it}" } : prefixes }
|
|
347
|
+
.map { "module #{it}; end" }
|
|
348
|
+
end
|
|
349
|
+
|
|
350
|
+
# Returns [outer, inner, wrappers]: outer goes before `module Internal`,
|
|
351
|
+
# inner lives inside it, wrappers come after the singleton-method
|
|
352
|
+
# fallthrough loop so they override the proxies.
|
|
353
|
+
def partition_module_body(expressions, registry, depth)
|
|
354
|
+
expressions
|
|
355
|
+
.chunk_while { |a, b| import?(a) && import?(b) }
|
|
356
|
+
.flat_map { group_chunks(it, registry, depth) }
|
|
357
|
+
.then { it.empty? ? [[], [], []] : it.transpose.map { |b| b.compact.reject(&:empty?) } }
|
|
358
|
+
end
|
|
359
|
+
|
|
360
|
+
def group_chunks(group, registry, depth)
|
|
361
|
+
if group.all? { import?(it) }
|
|
362
|
+
group
|
|
363
|
+
.map { generate(it, registry, depth:) }
|
|
364
|
+
.reject(&:empty?)
|
|
365
|
+
.join("\n")
|
|
366
|
+
.then { [[it, nil, nil]] }
|
|
367
|
+
else
|
|
368
|
+
group.map { generate_for_partition(it, registry, depth) }
|
|
369
|
+
end
|
|
370
|
+
end
|
|
371
|
+
|
|
372
|
+
def generate_for_partition(node, registry, depth)
|
|
373
|
+
case node
|
|
374
|
+
in AST::Implementation
|
|
375
|
+
registrations = Implementation.generate_registrations_for(node, registry)
|
|
376
|
+
defs = Implementation.generate_defs(node, registry)
|
|
377
|
+
|
|
378
|
+
[registrations, defs, nil]
|
|
379
|
+
|
|
380
|
+
in AST::FunctionDeclaration
|
|
381
|
+
[
|
|
382
|
+
nil,
|
|
383
|
+
generate(node, registry, depth:),
|
|
384
|
+
FunctionDeclaration.generate_boundary_wrapper(node, registry),
|
|
385
|
+
]
|
|
386
|
+
|
|
387
|
+
else
|
|
388
|
+
[generate(node, registry, depth:), nil, nil]
|
|
389
|
+
end
|
|
390
|
+
end
|
|
391
|
+
|
|
392
|
+
def import?(node)
|
|
393
|
+
node.is_a?(AST::ImportDeclaration) || node.is_a?(AST::InteropImportDeclaration)
|
|
394
|
+
end
|
|
395
|
+
|
|
396
|
+
def load_path
|
|
397
|
+
'$LOAD_PATH.unshift(File.expand_path("lib"))'
|
|
398
|
+
end
|
|
399
|
+
end
|
|
400
|
+
end
|
|
@@ -0,0 +1,69 @@
|
|
|
1
|
+
module Jade
|
|
2
|
+
class Compiler
|
|
3
|
+
attr_reader :config
|
|
4
|
+
|
|
5
|
+
def initialize
|
|
6
|
+
yield(config) if block_given?
|
|
7
|
+
end
|
|
8
|
+
|
|
9
|
+
def require(path)
|
|
10
|
+
target = File.expand_path("#{build_root}/#{path}.rb", config.project_root)
|
|
11
|
+
|
|
12
|
+
if needs_rebuild?(target)
|
|
13
|
+
ModuleLoader
|
|
14
|
+
.load(config.source_root.first, path + '.jd', cache_dir: cache_root)
|
|
15
|
+
.tap { render_diagnostics(it) }
|
|
16
|
+
.then { ModuleLoader.emit(it, path: build_root) }
|
|
17
|
+
end
|
|
18
|
+
|
|
19
|
+
Kernel.require(File.realpath(target))
|
|
20
|
+
end
|
|
21
|
+
|
|
22
|
+
private
|
|
23
|
+
|
|
24
|
+
def render_diagnostics(registry)
|
|
25
|
+
registry
|
|
26
|
+
.modules
|
|
27
|
+
.each_value
|
|
28
|
+
.reject { Stdlib.is_stdlib?(it) }
|
|
29
|
+
.reject { it.diagnostics.items.empty? }
|
|
30
|
+
.each { $stderr.puts Diagnostics::Renderer.new.render_all(it.diagnostics) }
|
|
31
|
+
end
|
|
32
|
+
|
|
33
|
+
def config
|
|
34
|
+
@config ||= Config.new
|
|
35
|
+
end
|
|
36
|
+
|
|
37
|
+
def build_root
|
|
38
|
+
File.expand_path(config.build_dir, config.project_root)
|
|
39
|
+
end
|
|
40
|
+
|
|
41
|
+
def cache_root
|
|
42
|
+
File.expand_path(config.cache_dir, config.project_root)
|
|
43
|
+
end
|
|
44
|
+
|
|
45
|
+
def needs_rebuild?(target)
|
|
46
|
+
return true unless File.exist?(target)
|
|
47
|
+
|
|
48
|
+
target_mtime = File.mtime(target)
|
|
49
|
+
Dir
|
|
50
|
+
.glob(File.join(config.source_root.first, '**/*.jd'))
|
|
51
|
+
.any? { |src| File.mtime(src) > target_mtime }
|
|
52
|
+
end
|
|
53
|
+
|
|
54
|
+
class Config
|
|
55
|
+
attr_accessor :project_root, :source_root, :build_dir, :cache_dir
|
|
56
|
+
|
|
57
|
+
def initialize
|
|
58
|
+
@project_root = Dir.pwd
|
|
59
|
+
@source_root = []
|
|
60
|
+
@build_dir = ".jade/build"
|
|
61
|
+
@cache_dir = ".jade/cache"
|
|
62
|
+
end
|
|
63
|
+
|
|
64
|
+
def source_root=(root)
|
|
65
|
+
@source_root = Array(root)
|
|
66
|
+
end
|
|
67
|
+
end
|
|
68
|
+
end
|
|
69
|
+
end
|