jade-lang 0.9.0 → 0.10.0

data/lib/jade/type/anonymous_record.rb

@@ -1,9 +1,18 @@
 module Jade
   module Type
-    AnonymousRecord = Data.define(:fields, :row_var) do
+    AnonymousRecord = Data.define(:fields, :row_var, :display) do
       include Base
+      include Displayable
 
-      def to_s
+      def initialize(fields:, row_var:, display: nil)
+        super
+      end
+
+      def identity
+        [fields, row_var]
+      end
+
+      def render
         row = row_var ? "#{row_var} | " : ""
 
         fields

data/lib/jade/type/application.rb

@@ -1,9 +1,18 @@
 module Jade
   module Type
-    Application = Data.define(:constructor, :args) do
+    Application = Data.define(:constructor, :args, :display) do
       include Base
+      include Displayable
 
-      def to_s
+      def initialize(constructor:, args:, display: nil)
+        super
+      end
+
+      def identity
+        [constructor, args]
+      end
+
+      def render
         return constructor.to_s if args.empty?
 
         if constructor.name.start_with?('Tuple.Tuple')

data/lib/jade/type/base.rb

@@ -5,5 +5,31 @@ module Jade
         fail NotImplementedError
       end
     end
+
+    module Displayable
+      def display_as(name)
+        with(display: name)
+      end
+
+      def to_s
+        display || render
+      end
+
+      def annotated
+        display ? "#{display} (= #{with(display: nil)})" : render
+      end
+
+      # `display` is deliberately out of `identity`: two spellings of one type
+      # must still unify, hash alike and compare equal.
+      def ==(other)
+        other.is_a?(self.class) && identity == other.identity
+      end
+
+      alias eql? ==
+
+      def hash
+        [self.class, *identity].hash
+      end
+    end
   end
 end

data/lib/jade/type/function.rb

@@ -1,9 +1,18 @@
 module Jade
   module Type
-    Function = Data.define(:args, :return_type) do
+    Function = Data.define(:args, :return_type, :display) do
       include Base
+      include Displayable
 
-      def to_s
+      def initialize(args:, return_type:, display: nil)
+        super
+      end
+
+      def identity
+        [args, return_type]
+      end
+
+      def render
         args
           .map(&:to_s).join(', ')
           .then { "(#{it})"} + " -> " + return_type.to_s

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.0'
 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.0
 platform: ruby
 authors:
 - Agustin Cornu
 bindir: exe
 cert_chain: []
-date: 2026-08-21 00:00:00.000000000 Z
+date: 2026-09-03 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: base64
@@ -55,6 +55,7 @@ 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/lsp.rb
 - lib/jade/cli/q.rb
@@ -78,6 +79,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 +124,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 +145,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 +171,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 +180,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 +205,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 +219,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 +229,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 +249,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 +264,11 @@ 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/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 +278,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 +299,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 +329,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 +364,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 +374,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