Nothing Special   »   [go: up one dir, main page]
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

define and token categories #338

Closed
3 tasks done
andreasabel opened this issue Jan 31, 2021 · 0 comments
Closed
3 tasks done

define and token categories #338

andreasabel opened this issue Jan 31, 2021 · 0 comments
Assignees
@andreasabel
Labels
Agda Issues of the Agda backend bug C define Issue with define pragma Haskell/Functor Concerning the Haskell backend with --functor token Concerning token categories.
Milestone
2.9.1

Comments

@andreasabel
Copy link
Member
andreasabel commented Jan 31, 2021 •
edited
Loading

This hasn't been tested with #266:

CNil.     Chars ::=                 ;
cSg.      Chars ::= Char            ;
CSnoc.    Chars ::= Chars Dot Char  ;

define    cSg c = CSnoc CNil (Dot ".") c;

token     Dot '.'                   ;

Affects:

  • Haskell/Functor: fixed by 9db83ac
  • Agda, because of --text-token: fixed by 2fc8d84
  • C
@andreasabel andreasabel added bug define Issue with define pragma token Concerning token categories. Agda Issues of the Agda backend C Haskell/Functor Concerning the Haskell backend with --functor labels Jan 31, 2021
andreasabel added a commit that referenced this issue Jan 31, 2021
@andreasabel
[ #338 ] Haskell --functor: fix define involving token categories
9db83ac
andreasabel added a commit that referenced this issue Jan 31, 2021
@andreasabel
[ #338 ] Haskell --token-text: fix define involving token cats
2fc8d84 
Also fixes this for the Agda backend.
@andreasabel andreasabel added this to the 2.9.1 milestone Feb 13, 2021
@andreasabel andreasabel self-assigned this Feb 13, 2021
andreasabel added a commit that referenced this issue Feb 13, 2021
@andreasabel
[ #338 ] C: handle token constructors in define expressions
a4d6a0d
andreasabel added a commit that referenced this issue Feb 13, 2021
@andreasabel
[ #331 #338 ] CHANGELOG entry
e5950bd
andreasabel added a commit that referenced this issue Feb 13, 2021
@andreasabel
[ #338 ] fixup "C: handle token constructors in define expressions"
771e7e2 
Repair doctest.
@andreasabel andreasabel mentioned this issue Apr 28, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andreasabel andreasabel

Labels
Agda Issues of the Agda backend bug C define Issue with define pragma Haskell/Functor Concerning the Haskell backend with --functor token Concerning token categories.
Projects
None yet
Milestone
2.9.1
Development

No branches or pull requests
1 participant
@andreasabel