Don't use inline imports

This commit is contained in:
Richard Feldman 2025-08-15 00:10:10 -04:00
parent 53a298ddde
commit ed19b7d58e
No known key found for this signature in database

View file

@ -21,6 +21,7 @@ const Tag = @import("types.zig").Tag;
const Num = @import("types.zig").Num;
const NominalType = @import("types.zig").NominalType;
const Tuple = @import("types.zig").Tuple;
const Rank = @import("types.zig").Rank;
const Ident = base.Ident;
/// Type to manage instantiation.
@ -71,7 +72,7 @@ pub const Instantiate = struct {
pub const Ctx = struct {
rigid_var_subs: *RigidToFlexSubs,
current_rank: @import("types.zig").Rank = @import("types.zig").Rank.top_level,
current_rank: Rank = Rank.top_level,
};
// instantiation //