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

Not compiling with perspective #21

Closed
letypequividelespoubelles opened this issue Jul 26, 2023 · 0 comments
Closed

Not compiling with perspective #21

letypequividelespoubelles opened this issue Jul 26, 2023 · 0 comments
Assignees

Comments

@letypequividelespoubelles
Copy link
Contributor

This constraint

(defconstraint exception_pot_pourri (:perspective stack)
  (begin
                    (is-binary  IOPCX   )
                    (is-binary  SUX     )
                    (is-binary  SOX     )
                    (is-binary  OOGX    )
                    (is-binary  MXPX    )
                    (is-binary  RDCX    )
                    (is-binary  JUMPX   )
                    (is-binary  STATICX )
                    (is-binary  SSTOREX )
                    (is-binary  INVPREX )
                    (is-binary  MAXCSX  )
                    ;;
                    (if-zero    MXP_FLAG    (vanishes! MXPX))
                    (if-not-zero    (-  INSTRUCTION RETURNDATACOPY) (vanishes! RDCX))
                    (if-not-zero    (-  INSTRUCTION SSTORE)         (vanishes! SSTOREX))
                    (if-zero    JUMP_FLAG   (vanishes!   JUMPX))
                    (if-zero    STATIC_FLAG (vanishes!   STATICX))
                    (if-not-zero    (+  INVPREX MAXCSX)
                        (begin
                            (eq!  CODE_DEPLOYMENT_STATUS  1)
                            (eq!  INSTRUCTION     RETURN)))))

returns this error :

[ERROR] constraint hub_v2.exception_pot_pourri should be of type Loobean, found Boolean

but compile if one removes the (:perspective stack)

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

No branches or pull requests

2 participants