ucsd-progsys/liquid-fixpoint — pull request #21 by panagosg7 (2013-08-30 01:08:44+00:00)
Title: Symconst

WARNING: Latest commit would probably break other dependencies.

This change is intended for Nano-js:

- Before: SymConsts were dumped directly to the fp file, through `toFixpoint` (Language/Fixpoint/Types.hs), instead of being added with the rest of the literals.

- NanoJs needs symbolic literals to be added along with the rest of the literals, so that all sorts are unified to FInt before moving to Fixpoint.