search

GaloisInc / pycryptol

pycryptol: Use Cryptol with Python
BSD 3-Clause "New" or "Revised" License
9 stars 1 forks source link

Add a Python representation of Cryptol types #2

Open acfoltzer opened 9 years ago

acfoltzer commented 9 years ago

Currently _CryptolModule.typeof returns the pretty-printed type of the expression as a string. This is not amenable to programmatic manipulation. We should define some sort of consistent representation of Cryptol types on the Python side. This could be incremental:

  1. monomorphic types
  2. unconstrained polymorphic types
  3. all types

Perhaps with some representation of type synonyms and newtypes as well, though the utility of these on the Python side is questionable.