search

Consensys / corset

4 stars 10 forks source link

Can't define a constant with `-` #102

Closed letypequividelespoubelles closed 1 month ago

letypequividelespoubelles commented 1 month ago

This work

(defconst 
LLARGE 16 
LLARGEPO (+ LLARGE 1))

This doesn't 

(defconst 
LLARGE 16 
LLARGEMO (- LLARGE 1))
delehef commented 1 month ago

Works for me; care to detail?

DavePearce commented 1 month ago

Agreed, this example seems to work fine for me:

(module test)
(defcolumns A)

(defconst
  LLARGE 16
  LLARGEMO (- LLARGE 1))

(defconstraint test () (vanishes! (+ A LLARGEMO)))
letypequividelespoubelles commented 1 month ago

my bad, works with latest corset version, was on a previous one.