Opened 5 years ago

Closed 5 years ago

#338 closed defect (fixed)

Lexer treats "_" as separate token

Reported by: amosrobinson Owned by:
Priority: normal Milestone: 0.4.2
Component: Unknown Version: 0.4.1
Keywords: Cc:

Description

The single thing identifier "_foo" is treated as two tokens, "_" then "foo". It should probably just be one token. DDC.Core.Salt.Convert.Init.initRuntime actually creates a new function called "_main", which works fine until you pretty-print then parse it again.

> :check letrec a (_x : Nat#) : Nat# = 1# in ()
letrec {
  a : Nat# -> Nat# -> Nat#
    = \(_ x : Nat#). 1#
} in
()
:*: Unit
:!: Pure

Change History (1)

comment:1 Changed 5 years ago by amosrobinson

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.