search

doyougnu / VSmt

Variational Satisfiability Solver
1 stars 0 forks source link

Integer --> Int #1

Open doyougnu opened 3 years ago

doyougnu commented 3 years ago

Getting arithmetics up and running I had to nuke the unpack pragma in Types:

data NPrim = I !Integer | D {-# UNPACK #-} !Double
  deriving (Eq,Generic,Ord,Show)

because you cannot unpack arbitrary sized integers. Fix this by picking Int64 or something similar when we begin to optimize.