on master help sign in
Adding prefix to new record field names
commitae37f9b8915028b88735e6f6079cf28d4f35cb02 authorAlyssa Carter <trillionalyssa@gmail.com> dateTue 14 Jan 2014, 06:18 (13 years ago) parent90eaa8d
1 file changed+2−2
src/Idris/Core/TT.hs+2−2
src/Idris/Core/TT.hs+2−2
@@ -560,8 +560,8 @@ type UCs = (Int, [UConstraint])
560560
561561data NameType = Bound
562562 | Ref
563− | DCon {tag :: Int, arity :: Int} -- ^ Data constructor
564− | TCon {tag :: Int, arity :: Int} -- ^ Type constructor
563+ | DCon {nt_tag :: Int, nt_arity :: Int} -- ^ Data constructor
564+ | TCon {nt_tag :: Int, nt_arity :: Int} -- ^ Type constructor
565565 deriving (Show, Ord)
566566{-!
567567deriving instance Binary NameType