Skip to content
Snippets Groups Projects

Invalid identifier generated with Template Haskell not rejected

    • Closed Issue created by Jan Stolarek @jstolarek

    I wrote Template Haskell code that generates this declaration:

    data (:+Sym1) (a:: Nat) (b :: TyFun Nat Nat)

    (:+Sym1) is not a valid identifier and this declaration fails when I simply put it in a source file and try to compile it. However I get no errors when this definition is generated from Template Haskell. Not sure if this is intended behaviour or not.

    Trac metadata
    Trac field Value
    Version 7.7
    Type Bug
    TypeOfFailure OtherFailure
    Priority normal
    Resolution Unresolved
    Component Template Haskell
    Test case
    Differential revisions
    BlockedBy
    Related
    Blocking
    CC
    Operating system
    Architecture
    To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information

    Child items 0

    • No child items are currently assigned. Use child items to break down this issue into smaller parts.

    Activity

    Please register or sign in to reply