From 7a9584028e9167d216051c592997220db48e5564 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= Date: Mon, 4 Dec 2023 11:40:21 -0300 Subject: [PATCH] Edit comments of fields of RProp --- liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs index 7d31dc2434..6de4e157dc 100644 --- a/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs +++ b/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs @@ -890,8 +890,8 @@ instance (B.Binary s) => B.Binary (RTVInfo s) -- directly to any type and has semantics _independent of_ the data-type. data Ref τ t = RProp - { rf_args :: [(Symbol, τ)] - , rf_body :: t -- ^ Abstract refinement associated with `RTyCon` + { rf_args :: [(Symbol, τ)] -- ^ arguments. e.g. @h@ in the above example + , rf_body :: t -- ^ Abstract refinement associated with `RTyCon`. e.g. @v > h@ in the above example } deriving (Eq, Generic, Data, Typeable, Functor) deriving Hashable via Generically (Ref τ t)