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.

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

Feature request: bigarray printers #8463

vicuna opened this Issue Jan 30, 2004 · 4 comments


None yet
4 participants
Copy link

vicuna commented Jan 30, 2004

Original bug ID: 2106
Reporter: administrator
Status: acknowledged
Resolution: open
Priority: normal
Severity: feature
Category: otherlibs

Bug description


could you please add standard printers for bigarrays and bignums to the
toplevel (and debugger)? This would make it very easy to use the toplevel
for doing mathematics, e.g. in education.

Best regards,

Markus Mottl


This comment has been minimized.

Copy link
Collaborator Author

vicuna commented Apr 18, 2004

Comment author: administrator

seems like a good idea -DD
Problem: bigarrays and bignums are not linked with the default toplevel. -XL

@vicuna vicuna added the otherlibs label Mar 14, 2019


This comment has been minimized.

Copy link

nojb commented Mar 16, 2019

Now that bigarrays are part of the stdlib, maybe printers could be considered for them?


This comment has been minimized.

Copy link

dbuenzli commented Mar 16, 2019

@nojb could you please relabel as stdlib.

The question is then which format and API. Here are a few references:

These are only the ones on the top of my head, I'm sure there are others.

@nojb nojb added stdlib and removed otherlibs labels Mar 16, 2019

@vicuna vicuna added the feature-wish label Mar 19, 2019

@xavierleroy xavierleroy changed the title Feature request: bigarray & bignum printers Feature request: bigarray printers Mar 29, 2019


This comment has been minimized.

Copy link

xavierleroy commented Mar 29, 2019

I removed "bignum" from the title, since the old bignum library was split off, and the new ZArith library is external too.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.