Edit comments of fields of RProp

ucsd-progsys · Dec 4, 2023 · 7a95840 · 7a95840
1 parent f59e246
commit 7a95840
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)