Skip to content


New comment on block [block-idp7718512] #519

stevej opened this Issue · 2 comments

3 participants


bad wrapping for the comment results in an error when you try to paste this into utop. Breaking the comment onto two lines will fix that.


This comment references this from milestone alpha3:


The structure of the code is pretty straightforward --- we're just pattern-matching over the structure of the data, doing the appropriate calculation based on which tag we see. To use this evaluator on a concrete example, we just need to write the base_eval function which is capable of evaluating a base predicate.

That was a bug in utop. Now fixed. If you update to the latest version in opam, everything should be OK.

@yminsky yminsky closed this
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.