Commit b67b9717 authored by Matthew Pickering's avatar Matthew Pickering Committed by Ben Gamari
Browse files

Make NameSort note into proper Note

Reviewers: adamgundry, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision:
parent 78f5344e
......@@ -115,6 +115,7 @@ data Name = Name {
-- (and real!) space leaks, due to the fact that we don't look at
-- the SrcLoc in a Name all that often.
-- See Note [About the NameSorts]
data NameSort
= External Module
......@@ -151,7 +152,7 @@ instance NFData NameSort where
data BuiltInSyntax = BuiltInSyntax | UserSyntax
Notes about the NameSorts:
Note [About the NameSorts]
1. Initially, top-level Ids (including locally-defined ones) get External names,
and all other local Ids get Internal names
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment