featherweight.exp 3.06 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68
File "featherweight.mly", line 47, characters 28-38:
Warning: the token APOSTROPHE is unused.
File "featherweight.mly", line 49, characters 28-33:
Warning: the token ARROW is unused.
File "featherweight.mly", line 50, characters 28-32:
Warning: the token BANG is unused.
File "featherweight.mly", line 51, characters 28-33:
Warning: the token BARGT is unused.
File "featherweight.mly", line 52, characters 28-37:
Warning: the token BARRCURLY is unused.
File "featherweight.mly", line 53, characters 28-38:
Warning: the token BARRSQUARE is unused.
File "featherweight.mly", line 55, characters 28-38:
Warning: the token COLONCOLON is unused.
File "featherweight.mly", line 56, characters 28-35:
Warning: the token COLONEQ is unused.
File "featherweight.mly", line 57, characters 28-37:
Warning: the token COLONHASH is unused.
File "featherweight.mly", line 59, characters 28-34:
Warning: the token DARROW is unused.
File "featherweight.mly", line 60, characters 28-35:
Warning: the token DDARROW is unused.
File "featherweight.mly", line 48, characters 28-34:
Warning: the token DQUOTE is unused.
File "featherweight.mly", line 62, characters 28-31:
Warning: the token EOF is unused.
File "featherweight.mly", line 64, characters 28-32:
Warning: the token EQEQ is unused.
File "featherweight.mly", line 65, characters 28-34:
Warning: the token EXISTS is unused.
File "featherweight.mly", line 42, characters 38-44:
Warning: the token FLOATV is unused.
File "featherweight.mly", line 66, characters 28-30:
Warning: the token GT is unused.
File "featherweight.mly", line 67, characters 28-32:
Warning: the token HASH is unused.
File "featherweight.mly", line 41, characters 36-40:
Warning: the token INTV is unused.
File "featherweight.mly", line 69, characters 28-37:
Warning: the token LCURLYBAR is unused.
File "featherweight.mly", line 70, characters 28-37:
Warning: the token LEFTARROW is unused.
File "featherweight.mly", line 72, characters 28-35:
Warning: the token LSQUARE is unused.
File "featherweight.mly", line 73, characters 28-38:
Warning: the token LSQUAREBAR is unused.
File "featherweight.mly", line 74, characters 28-30:
Warning: the token LT is unused.
File "featherweight.mly", line 77, characters 28-35:
Warning: the token RSQUARE is unused.
File "featherweight.mly", line 79, characters 28-33:
Warning: the token SLASH is unused.
File "featherweight.mly", line 80, characters 28-32:
Warning: the token STAR is unused.
File "featherweight.mly", line 43, characters 39-46:
Warning: the token STRINGV is unused.
File "featherweight.mly", line 81, characters 28-36:
Warning: the token TRIANGLE is unused.
File "featherweight.mly", line 82, characters 28-34:
Warning: the token USCORE is unused.
File "featherweight.mly", line 83, characters 28-32:
Warning: the token VBAR is unused.
Warning: one state has shift/reduce conflicts.
Warning: one shift/reduce conflict was arbitrarily resolved.
Warning: 17 states have an end-of-stream conflict.
File "featherweight.mly", line 101, characters 1-29:
Warning: production toplevel -> classDecs COLON termDef is never reduced.
Warning: in total, 1 productions are never reduced.