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.

Sign up for GitHub

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

Jump to bottom

SAWScript variables of type Type should be added to Cryptol context #34

Closed
brianhuffman opened this issue Jul 1, 2015 · 0 comments
Closed

SAWScript variables of type Type should be added to Cryptol context #34

brianhuffman opened this issue Jul 1, 2015 · 0 comments
Assignees
@brianhuffman

Comments

@brianhuffman
Copy link
Contributor

When we bind a variable of type Type, that variable name should be added as a type variable to the context used for parsing and type-checking Cryptol syntax. We already do a similar thing for saw-script variables of type Term (added as Cryptol value variables) and Int (added as Cryptol size-type variables).
@brianhuffman brianhuffman self-assigned this Jul 1, 2015
brianhuffman added a commit that referenced this issue Apr 26, 2021
@brianhuffman
Merge pull request #34 from david-christiansen/text-mod-name
fda4f11 
Use Text to represent ModuleName instead of ByteString
brianhuffman pushed a commit that referenced this issue Apr 26, 2021
changed the way record projections are represented in Coq, to handle #34
a0ca852
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@brianhuffman brianhuffman

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@brianhuffman