Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

BUILTIN NIL and CONS are not needed #2832

Closed
UlfNorell opened this issue Nov 2, 2017 · 1 comment
Closed

BUILTIN NIL and CONS are not needed #2832

UlfNorell opened this issue Nov 2, 2017 · 1 comment
Assignees
@UlfNorell
Labels
builtin Enhancements to the builtin modules and builtin definitions type: enhancement Issues and pull requests about possible improvements
Milestone
2.5.4

Comments

@UlfNorell
Copy link
Member

We've done this for Nat (#730) and equality (#2389), so I guess we should also do it for lists.
@UlfNorell UlfNorell added builtin Enhancements to the builtin modules and builtin definitions type: enhancement Issues and pull requests about possible improvements labels Nov 2, 2017
@UlfNorell UlfNorell added this to the 2.5.4 milestone Nov 2, 2017
@UlfNorell UlfNorell self-assigned this Nov 2, 2017
@UlfNorell
Copy link
Member Author

Fixed by (the mislabeled) commit fda20b7.

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

@UlfNorell UlfNorell

Labels
builtin Enhancements to the builtin modules and builtin definitions type: enhancement Issues and pull requests about possible improvements
Projects
None yet
Milestone
2.5.4
Development

No branches or pull requests
1 participant
@UlfNorell