| author | Christian Urban <urbanc@in.tum.de> |
| Tue, 16 Oct 2018 08:29:49 +0100 | |
| changeset 580 | 3b81c582c1f0 |
| parent 579 | eb9ef7b96f4a |
| child 581 | 4782a4bfc888 |
| 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))