Skip to content

Conversation

@anmonteiro
Copy link
Member

@anmonteiro anmonteiro commented Feb 16, 2025

fixes #2839

Copy link
Member

@davesnx davesnx left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hard to review the pprint_ast. Looks good, minor changes

Comment on lines +2197 to +2209
let df_locallyAbstractFuncAnnotated
: 'figureMeOut =
(type a, type b)
: (
(a, b) =>
(
inputEchoRecord(a),
inputEchoRecord(b),
)
) =>
(input: a, input2: b) => (
{inputIs: input},
{inputIs: input2},
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is a weird printing

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think it's a pretty big edge case-- no one really writes code like this.

I'm tempted to be reactive here since everything else looks pretty good.

Please feel free to report weird printing when you upgrade internally and I'd be happy to fix those cases.

Comment on lines +325 to +332
let rec eval: type a. term(a) => a = x =>
switch (x) {
| Int(n) => n
/* a = int */
| Add => ((x, y) => x + y)
/* a = int => int => int */
| App(f, x) => eval(f, eval(x))
};
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks like an improvement, nice!

@anmonteiro anmonteiro merged commit 0b2f1aa into master Mar 22, 2025
19 checks passed
@anmonteiro anmonteiro deleted the anmonteiro/5.2 branch March 22, 2025 23:16
anmonteiro added a commit to anmonteiro/opam-repository that referenced this pull request Apr 5, 2025
CHANGES:

- require OCaml >= 4.08 (@anmonteiro,
  [reasonml/reason#2840](reasonml/reason#2840))
- support ppxlib with OCaml 5.2 AST (and require ppxlib >= 0.36) (@anmonteiro,
  [reasonml/reason#2835](reasonml/reason#2835))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fix pvb_constraint with coercion after 5.2 AST upgrade

3 participants