jade-lang 0.9.0 → 0.10.1

data/lib/jade/type.rb

@@ -60,8 +60,8 @@ module Jade
       [args, return_type]
     end
 
-    def anonymous_record(fields, row_var)
-      AnonymousRecord[fields, row_var]
+    def anonymous_record(fields, row_var, display = nil)
+      AnonymousRecord[fields, row_var, display]
     end
 
     def constraint(interface_id, type, origin, index: :unindex)
@@ -246,17 +246,43 @@ module Jade
         [Type::Application[constructor_type, arg_types], union_cs + args_cs, args_map]
 
       in Symbol::TypeApplication(constructor:, args:)
-        constructor_type, union_cs, union_vars =
-          from_symbol_r(constructor, registry, var_gen, var_map)
+        resolved_head = constructor.is_a?(Symbol::TypeRef) ? registry.lookup(constructor) : constructor
+
+        if resolved_head.is_a?(Symbol::Alias)
+          arg_types, args_cs, args_map = args
+            .reduce([[], [], var_map]) do |(types, cs, local_map), sym|
+              from_symbol_r(sym, registry, var_gen, local_map)
+                .then { |(t, c, new_map)| [types + [t], cs + c, new_map] }
+            end
+
+          alias_var_map = resolved_head.type_params.map(&:name).zip(arg_types).to_h
+
+          body_type, body_cs, _ = from_symbol_r(resolved_head.body, registry, var_gen, alias_var_map)
+          display = arg_types.empty? ?
+            resolved_head.name :
+            "#{resolved_head.name}(#{arg_types.join(', ')})"
+          [display_as(body_type, display), args_cs + body_cs, args_map]
+        else
+          constructor_type, union_cs, union_vars =
+            from_symbol_r(constructor, registry, var_gen, var_map)
 
-        arg_types, args_cs, args_map = args
-          .reduce([[], [], union_vars]) do |(types, cs, local_map), sym|
-            from_symbol_r(sym, registry, var_gen, local_map)
-              .then { |(t, c, new_map)| [types + [t], cs + c, new_map] }
-          end
+          arg_types, args_cs, args_map = args
+            .reduce([[], [], union_vars]) do |(types, cs, local_map), sym|
+              from_symbol_r(sym, registry, var_gen, local_map)
+                .then { |(t, c, new_map)| [types + [t], cs + c, new_map] }
+            end
+
+          [Type.constructor(constructor.qualified_name).apply(arg_types), union_cs + args_cs, args_map]
+        end
 
-        [Type.constructor(constructor.qualified_name).apply(arg_types), union_cs + args_cs, args_map]
+      in Symbol::Alias(body:)
+        from_symbol_r(body, registry, var_gen, var_map)
+          .then { |(type, cs, map)| [display_as(type, symbol.name), cs, map] }
       end
     end
+
+    def display_as(type, name)
+      type.is_a?(Displayable) ? type.display_as(name) : type
+    end
   end
 end

data/lib/jade/version.rb

@@ -1,3 +1,3 @@
 module Jade
-  VERSION = '0.9.0'
+  VERSION = '0.10.1'
 end

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: jade-lang
 version: !ruby/object:Gem::Version
-  version: 0.9.0
+  version: 0.10.1
 platform: ruby
 authors:
 - Agustin Cornu
 bindir: exe
 cert_chain: []
-date: 2026-08-21 00:00:00.000000000 Z
+date: 2026-09-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: base64
@@ -55,7 +55,9 @@ files:
 - lib/jade/calendar/runtime.rb
 - lib/jade/cli.rb
 - lib/jade/cli/check.rb
+- lib/jade/cli/eject.rb
 - lib/jade/cli/fmt.rb
+- lib/jade/cli/init.rb
 - lib/jade/cli/lsp.rb
 - lib/jade/cli/q.rb
 - lib/jade/clock/runtime.rb
@@ -78,6 +80,7 @@ files:
 - lib/jade/codegen/inline.rb
 - lib/jade/codegen/inlines.rb
 - lib/jade/codegen/method_names.rb
+- lib/jade/codegen/names.rb
 - lib/jade/codegen/pattern/constructor.rb
 - lib/jade/codegen/port_codec.rb
 - lib/jade/codegen/pretty.rb
@@ -122,7 +125,10 @@ files:
 - lib/jade/frontend/forward_declaration.rb
 - lib/jade/frontend/forward_declaration/body.rb
 - lib/jade/frontend/forward_declaration/error.rb
+- lib/jade/frontend/forward_declaration/error/alias_expansion.rb
 - lib/jade/frontend/forward_declaration/error/bad_import.rb
+- lib/jade/frontend/forward_declaration/error/duplicate_constructor_name.rb
+- lib/jade/frontend/forward_declaration/error/duplicate_type_name.rb
 - lib/jade/frontend/forward_declaration/error/exposed_type_not_found.rb
 - lib/jade/frontend/forward_declaration/error/exposed_value_not_found.rb
 - lib/jade/frontend/forward_declaration/error/module_not_found.rb
@@ -140,10 +146,16 @@ files:
 - lib/jade/frontend/forward_declaration/interop_import_declaration.rb
 - lib/jade/frontend/forward_declaration/module.rb
 - lib/jade/frontend/forward_declaration/struct_declaration.rb
+- lib/jade/frontend/forward_declaration/type_alias_declaration.rb
 - lib/jade/frontend/forward_declaration/type_declaration.rb
 - lib/jade/frontend/pattern_analysis.rb
 - lib/jade/frontend/pattern_analysis/exhaustiveness.rb
 - lib/jade/frontend/pattern_analysis/matrix.rb
+- lib/jade/frontend/pattern_analysis/pattern.rb
+- lib/jade/frontend/pattern_analysis/redundancy.rb
+- lib/jade/frontend/pattern_analysis/signature.rb
+- lib/jade/frontend/pattern_analysis/usefulness.rb
+- lib/jade/frontend/pattern_analysis/witnesses.rb
 - lib/jade/frontend/semantic_analysis.rb
 - lib/jade/frontend/semantic_analysis/assign.rb
 - lib/jade/frontend/semantic_analysis/body.rb
@@ -160,6 +172,7 @@ files:
 - lib/jade/frontend/semantic_analysis/error/duplicate_function_declaration.rb
 - lib/jade/frontend/semantic_analysis/error/duplicate_implementation.rb
 - lib/jade/frontend/semantic_analysis/error/duplicate_record_field.rb
+- lib/jade/frontend/semantic_analysis/error/implementation_on_alias.rb
 - lib/jade/frontend/semantic_analysis/error/invalid_list_rest_pattern.rb
 - lib/jade/frontend/semantic_analysis/error/kwargs_on_non_constructor.rb
 - lib/jade/frontend/semantic_analysis/error/missing_exposing_clause.rb
@@ -168,11 +181,13 @@ files:
 - lib/jade/frontend/semantic_analysis/error/missing_implementation_function.rb
 - lib/jade/frontend/semantic_analysis/error/module_not_found.rb
 - lib/jade/frontend/semantic_analysis/error/nested_task_port.rb
+- lib/jade/frontend/semantic_analysis/error/no_base_case.rb
 - lib/jade/frontend/semantic_analysis/error/non_task_port.rb
 - lib/jade/frontend/semantic_analysis/error/orphan_implementation.rb
 - lib/jade/frontend/semantic_analysis/error/placeholder_not_allowed.rb
 - lib/jade/frontend/semantic_analysis/error/predicate_must_return_bool.rb
 - lib/jade/frontend/semantic_analysis/error/predicate_name_not_allowed.rb
+- lib/jade/frontend/semantic_analysis/error/recursive_type_alias.rb
 - lib/jade/frontend/semantic_analysis/error/shadowing_error.rb
 - lib/jade/frontend/semantic_analysis/error/type_args_mismatch.rb
 - lib/jade/frontend/semantic_analysis/error/type_param_required.rb
@@ -191,6 +206,7 @@ files:
 - lib/jade/frontend/semantic_analysis/implementation.rb
 - lib/jade/frontend/semantic_analysis/implementation_function.rb
 - lib/jade/frontend/semantic_analysis/import_declaration.rb
+- lib/jade/frontend/semantic_analysis/inhabitedness.rb
 - lib/jade/frontend/semantic_analysis/interface_declaration.rb
 - lib/jade/frontend/semantic_analysis/interop_import_declaration.rb
 - lib/jade/frontend/semantic_analysis/keyed_call.rb
@@ -204,6 +220,7 @@ files:
 - lib/jade/frontend/semantic_analysis/pattern_constructor.rb
 - lib/jade/frontend/semantic_analysis/pattern_list.rb
 - lib/jade/frontend/semantic_analysis/pattern_literal.rb
+- lib/jade/frontend/semantic_analysis/pattern_range.rb
 - lib/jade/frontend/semantic_analysis/pattern_record.rb
 - lib/jade/frontend/semantic_analysis/pattern_wildcard.rb
 - lib/jade/frontend/semantic_analysis/qualified_access.rb
@@ -213,11 +230,14 @@ files:
 - lib/jade/frontend/semantic_analysis/record_update.rb
 - lib/jade/frontend/semantic_analysis/struct_declaration.rb
 - lib/jade/frontend/semantic_analysis/tuple.rb
+- lib/jade/frontend/semantic_analysis/type_alias_declaration.rb
+- lib/jade/frontend/semantic_analysis/type_alias_declaration/cycle_detection.rb
 - lib/jade/frontend/semantic_analysis/type_declaration.rb
 - lib/jade/frontend/semantic_analysis/variable_reference.rb
 - lib/jade/frontend/semantic_analysis/variant_declaration.rb
 - lib/jade/frontend/type_checking.rb
 - lib/jade/frontend/type_checking/canonicalize.rb
+- lib/jade/frontend/type_checking/cascade.rb
 - lib/jade/frontend/type_checking/constraints.rb
 - lib/jade/frontend/type_checking/constraints/deriving.rb
 - lib/jade/frontend/type_checking/constraints/deriving/decodable.rb
@@ -230,6 +250,9 @@ files:
 - lib/jade/frontend/type_checking/error.rb
 - lib/jade/frontend/type_checking/error/case_of_branches_type_mismatch.rb
 - lib/jade/frontend/type_checking/error/derivation_failed.rb
+- lib/jade/frontend/type_checking/error/display.rb
+- lib/jade/frontend/type_checking/error/division_by_zero.rb
+- lib/jade/frontend/type_checking/error/empty_range_pattern.rb
 - lib/jade/frontend/type_checking/error/function_body_type_mismatch.rb
 - lib/jade/frontend/type_checking/error/function_call_type_mismatch.rb
 - lib/jade/frontend/type_checking/error/if_branch_type_mismatch.rb
@@ -242,8 +265,12 @@ files:
 - lib/jade/frontend/type_checking/error/pattern_type_mismatch.rb
 - lib/jade/frontend/type_checking/error/port_not_decodable.rb
 - lib/jade/frontend/type_checking/error/port_not_encodable.rb
+- lib/jade/frontend/type_checking/error/range_pattern_type.rb
 - lib/jade/frontend/type_checking/error/record_access_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/record_update_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/recursive_derivation.rb
 - lib/jade/frontend/type_checking/error/type_mismatch.rb
+- lib/jade/frontend/type_checking/error/unreachable_branch.rb
 - lib/jade/frontend/type_checking/error/unresolved_constraint.rb
 - lib/jade/frontend/type_checking/expected.rb
 - lib/jade/frontend/type_checking/generalization.rb
@@ -253,6 +280,7 @@ files:
 - lib/jade/frontend/type_checking/inference/body.rb
 - lib/jade/frontend/type_checking/inference/case_of.rb
 - lib/jade/frontend/type_checking/inference/constructor_reference.rb
+- lib/jade/frontend/type_checking/inference/division.rb
 - lib/jade/frontend/type_checking/inference/function_call.rb
 - lib/jade/frontend/type_checking/inference/function_declaration.rb
 - lib/jade/frontend/type_checking/inference/grouping.rb
@@ -273,6 +301,7 @@ files:
 - lib/jade/frontend/type_checking/inference/record_literal.rb
 - lib/jade/frontend/type_checking/inference/record_update.rb
 - lib/jade/frontend/type_checking/inference/struct_declaration.rb
+- lib/jade/frontend/type_checking/inference/type_alias_declaration.rb
 - lib/jade/frontend/type_checking/inference/type_declaration.rb
 - lib/jade/frontend/type_checking/inference/variable_reference.rb
 - lib/jade/frontend/type_checking/instantiation.rb
@@ -302,6 +331,7 @@ files:
 - lib/jade/lsp/snippets.rb
 - lib/jade/lsp/state.rb
 - lib/jade/module_loader.rb
+- lib/jade/module_loader/build.rb
 - lib/jade/module_loader/cache.rb
 - lib/jade/module_loader/dependency_graph.rb
 - lib/jade/module_loader/dependency_resolver.rb
@@ -336,6 +366,8 @@ files:
 - lib/jade/stdlib/intrinsics.rb
 - lib/jade/stdlib/list.rb
 - lib/jade/stdlib/maybe.rb
+- lib/jade/stdlib/number.rb
+- lib/jade/stdlib/range.rb
 - lib/jade/stdlib/result.rb
 - lib/jade/stdlib/set.rb
 - lib/jade/stdlib/show.rb
@@ -344,6 +376,7 @@ files:
 - lib/jade/stdlib/text.rb
 - lib/jade/stdlib/tuple.rb
 - lib/jade/symbol.rb
+- lib/jade/symbol/alias.rb
 - lib/jade/symbol/anonymous_record.rb
 - lib/jade/symbol/base.rb
 - lib/jade/symbol/constructor.rb