Skip to content
This repository has been archived by the owner on Jun 18, 2023. It is now read-only.

Broken layout when eta reducing non trivial expression #1

Closed
prescientmoon opened this issue Nov 3, 2020 · 2 comments
Closed

Broken layout when eta reducing non trivial expression #1

prescientmoon opened this issue Nov 3, 2020 · 2 comments
Assignees
@prescientmoon
Labels
bug Something isn't working released

Comments

@prescientmoon
Copy link
Contributor

Eta-reducing \f a b. (\c. (\l r. l r f) (\l r. r l b) c) a goes from:
image
to
image

The result is clearly broken since a bunch of stuff overlaps
@prescientmoon prescientmoon added the bug Something isn't working label Nov 3, 2020
@prescientmoon prescientmoon self-assigned this Nov 3, 2020
@prescientmoon
Copy link
Contributor Author

The smallest expression I found where this occurs is \f a b. (\c. (\l. f l) b c) a

github-actions bot pushed a commit that referenced this issue Nov 5, 2020
@semantic-release-bot
chore(release): 1.4.0 [skip ci]
a98fee7 
# [1.4.0](v1.3.1...v1.4.0) (2020-11-05)

### Bug Fixes

* **core:** fixed overlapping lines after eta reducing ([9631d2b](9631d2b)), closes [#1](#1)

### Features

* **client:** remove unused space between lines ([41e537d](41e537d))
* **core:** reduction preserves the colors ([c6d481e](c6d481e))
* **utils:** error stacks ([6c599f7](6c599f7))
@github-actions
Copy link

github-actions bot commented Nov 5, 2020

🎉 This issue has been resolved in version 1.4.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@prescientmoon prescientmoon

Labels
bug Something isn't working released
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@prescientmoon