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

desugaring meta-function causes mistyping #122

Open
eelcovisser opened this issue Nov 11, 2016 · 4 comments
Open

desugaring meta-function causes mistyping #122

eelcovisser opened this issue Nov 11, 2016 · 4 comments
Labels
bug front-end H
Milestone
Bugfixes sprint

Comments

@eelcovisser
Copy link
Contributor

In this commit of metaborg-tiger:

MetaBorgCube/metaborg-tiger@ba7175d

adding the meta-function

desugar(Exp) --> Exp

causes mistyping of the default arrow usage, for example in rule

Assign(lv, e) --> write(lv, e).
@vvergu vvergu added this to the Bugfixes sprint milestone Nov 14, 2016
@vvergu
Copy link
Member

vvergu commented Nov 15, 2016

Do you think this is related to #132?

@vvergu vvergu added the bug label Nov 15, 2016
@vvergu
Copy link
Member

vvergu commented Nov 15, 2016 •
edited

Please check whether this still happens in the latest DynSem (based on at least revision 40755d7).

@eelcovisser
Copy link
Contributor Author

To reproduce, add the following to control-flow.ds in tiger

signature
  arrows
     desugar(Exp) --> Exp

@vvergu vvergu added the H label Dec 6, 2016
@vvergu
Copy link
Member

vvergu commented Dec 6, 2016

@milosonator is also running into this issue

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug front-end H
Projects
None yet
Milestone
Bugfixes sprint
Development

No branches or pull requests
2 participants
@eelcovisser @vvergu