Skip to content

Commit

Permalink
add comment
Browse files Browse the repository at this point in the history
  • Loading branch information
janmasrovira committed Jul 20, 2022
1 parent 77a98ef commit 2a50cfb
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/Juvix/Syntax/Abstract/Name.hs
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ import Juvix.Syntax.Concrete.Scoped.Name.NameKind
import Juvix.Syntax.Fixity
import Juvix.Syntax.NameId

-- TODO: consider adding "namePretty" field for qualified names
data Name = Name
{ _nameText :: Text,
_nameId :: NameId,
Expand Down

0 comments on commit 2a50cfb

Please sign in to comment.