Skip to content

Conversation

@JRI98
Copy link
Collaborator

@JRI98 JRI98 commented Jul 19, 2025

It uses lookahead to distinguish between higher order functions and tuples.

f : (_b -> _c) -> (_a, _b) -> (_a -> _c)

Closes #7955

@JRI98 JRI98 force-pushed the higher-order-functions branch 3 times, most recently from 38162ce to 0425ccd Compare July 19, 2025 11:41
@JRI98 JRI98 marked this pull request as ready for review July 19, 2025 11:55
@JRI98 JRI98 force-pushed the higher-order-functions branch from d2de440 to 16c5d12 Compare July 19, 2025 12:25
@JRI98 JRI98 marked this pull request as draft July 19, 2025 12:29
@JRI98 JRI98 force-pushed the higher-order-functions branch from 16c5d12 to 3266a32 Compare July 19, 2025 12:30
@JRI98 JRI98 marked this pull request as ready for review July 19, 2025 12:48
@JRI98 JRI98 marked this pull request as draft July 19, 2025 14:04
@JRI98 JRI98 closed this Jul 19, 2025
@JRI98 JRI98 deleted the higher-order-functions branch August 2, 2025 21:16
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.

1 participant