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

anomaly: "Assert_failure src/expression.ml:599:18" #21

Closed
fpottier opened this issue Feb 16, 2022 · 1 comment · Fixed by #24
Closed

anomaly: "Assert_failure src/expression.ml:599:18" #21

fpottier opened this issue Feb 16, 2022 · 1 comment · Fixed by #24

Comments

@fpottier
Copy link

Opening the following .ml file with Cameleer causes this error message to be displayed:

anomaly: "Assert_failure src/expression.ml:599:18"

The code is as follows:

type 'a t = {
  default: 'a;
  mutable table: 'a array;
  (* invariant: the length of the array [table] is nonzero *)
}

let make n x =
  assert (n > 0);
  let default = x
  and table = Array.make n x in
  { default; table }

This happens with and without a matching .mli file.

mariojppereira added a commit to mariojppereira/cameleer that referenced this issue Feb 16, 2022
@mariojppereira
Copy link
Collaborator

mariojppereira commented Feb 16, 2022

Thank you for reporting. I guess I was being really lazy and not supporting let..and expressions :)

#24 should fix this.

mariojppereira added a commit to mariojppereira/cameleer that referenced this issue Nov 16, 2022
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 a pull request may close this issue.

2 participants