~thon/thon

d1bc6452d17c2fa4150c5bf7a489789f0f802866 — Evan Bergeron 8 months ago c24fdf5
Deprecate debruijin indexes in type literals
1 files changed, 0 insertions(+), 1 deletions(-)

M parse/thon.grm
M parse/thon.grm => parse/thon.grm +0 -1
@@ 107,7 107,6 @@ typ:
  | typ SARROW typ (A.Arr(typ1, typ2))
  | typ STAR typ (A.Prod(typ1, typ2))
  | LPAREN typ RPAREN (typ)
  | IDX (A.TypVar ("t", IDX)) 
  | ID (A.TypVar (ID, ~1)) 
  | ALL ID DOT typ (A.All (ID, typ))
  | SOME ID DOT typ (A.Some (ID, typ))