Closed aathn closed 3 months ago
Fixes a bug in reclet generalization of record types.
Also slightly simplifies the reclet type checking logic by assuming that the right-hand sides are lambdas so that generalization is always safe (this is enforced later in the pipeline anyways).
Resolves https://github.com/miking-lang/miking/issues/844
Fixes a bug in reclet generalization of record types.
Also slightly simplifies the reclet type checking logic by assuming that the right-hand sides are lambdas so that generalization is always safe (this is enforced later in the pipeline anyways).
Resolves https://github.com/miking-lang/miking/issues/844