negative integers

TODO.md

@@ -18,7 +18,7 @@ More comments in code! This is getting big enough that I need to re-find my bear
   - need to flag internal functions to not search (or flag functions for search). I need to decide on syntax for this.
   - for something like an `isEq` field in `Ord`, auto-search is picking up the function being defined.
 - [ ] default implementations (use them if nothing is defined, where do we store them?) e.g. Ord compare, <, etc in Idris
-- [ ] syntax for negative integers
+- [x] syntax for negative integers
 - [ ] White box tests in `test` directory
 - [x] Put worker in iframe on safari
 - [ ] Warnings or errors for missing definitions

src/Lib/Tokenizer.idr

@@ -90,7 +90,7 @@ rawTokens
   -- TODO Drop MixFix token type when we support if_then_else_
   <|> match (exact "_,_" <|> exact "_._") (Tok MixFix)
   -- REVIEW - expect non-alpha after?
-  <|> match (some digit) (Tok Number)
+  <|> match (opt (exact "-") <+> some digit) (Tok Number)
   -- for module names and maybe type constructors
   <|> match (charLit) (Tok Character . unquoteChar)
   <|> match (is '#' <+> many alpha) (Tok Pragma)