Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: js_amd
Branches Tags
agda
/
test
/
Bugs
/
NakedEllipsisWeirdError.agda

NakedEllipsisWeirdError.agda 336 B
Permalink History Raw

1234567891011121314151617 
  1. -- Andreas, 2019-08-10, weird error for naked ellipsis
    2. 

  2. 

  3. ...
    4. 

  4. 

  5. -- Error (weird):
    6. 

  6. -- Missing type signature for left hand side ...
    7. 

  7. -- when scope checking the declaration
    8. 

  8. --   ...
    9. 

  9. 

  10. -- When following the suggestion to give a type signature,
    11. 

  11. --
    12. 

  12. --   ... : Set
    13. 

  13. --
    14. 

  14. -- Agda says:
    15. 

  15. -- The ellipsis ... cannot have a type signature
    16. 

  16. -- <EOF><ERROR>
    17. 

  17.