| changeset 37899 | 527cedd71356 |
| parent 37881 | 096c8397c989 |
| child 37958 | 9728342bcd56 |
--- a/src/Tools/Code/code_printer.ML Wed Jul 21 16:50:42 2010 +0200 +++ b/src/Tools/Code/code_printer.ML Wed Jul 21 17:46:36 2010 +0200 @@ -358,7 +358,7 @@ val _ = List.app Keyword.keyword [infixK, infixlK, infixrK]; -val parse_tyco_syntax = parse_syntax (fn s => (0, (K o K o K o str) s)) I I; +fun parse_tyco_syntax x = parse_syntax (fn s => (0, (K o K o K o str) s)) I I x; val parse_const_syntax = parse_syntax plain_const_syntax simple_const_syntax fst;