| author | Christian Urban <urbanc@in.tum.de> |
| Tue, 16 Oct 2018 08:29:49 +0100 | |
| changeset 580 | dbb0f7d2a33d |
| parent 579 | 1a521448d211 |
| child 581 | 19de761b69e9 |
| progs/token.scala | file | annotate | diff | comparison | revisions |
--- a/progs/token.scala Tue Oct 16 08:28:12 2018 +0100 +++ b/progs/token.scala Tue Oct 16 08:29:49 2018 +0100 @@ -129,8 +129,6 @@ lexing(("ab" | "a") ~ ("b" | ONE), "ab") - - // some "rectification" functions for simplification def F_ID(v: Val): Val = v def F_RIGHT(f: Val => Val) = (v:Val) => Right(f(v))