Skip to content

Commit 391f2c5

Browse files
committed
update: merge with new main
1 parent 16145ac commit 391f2c5

File tree

1 file changed

+4
-0
lines changed
  • lambda-buffers-compiler/src/LambdaBuffers/Compiler/ProtoCompat

1 file changed

+4
-0
lines changed

lambda-buffers-compiler/src/LambdaBuffers/Compiler/ProtoCompat/Types.hs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -205,14 +205,17 @@ data ForeignClassRef = ForeignClassRef
205205
, sourceInfo :: SourceInfo
206206
}
207207
deriving stock (Show, Eq, Ord, Generic)
208+
deriving (Arbitrary) via GenericArbitrary ForeignClassRef
208209

209210
data LocalClassRef = LocalClassRef {className :: ClassName, sourceInfo :: SourceInfo}
210211
deriving stock (Show, Eq, Ord, Generic)
212+
deriving (Arbitrary) via GenericArbitrary LocalClassRef
211213

212214
data TyClassRef
213215
= LocalCI LocalClassRef
214216
| ForeignCI ForeignClassRef
215217
deriving stock (Show, Eq, Ord, Generic)
218+
deriving (Arbitrary) via GenericArbitrary TyClassRef
216219

217220
data ClassDef = ClassDef
218221
{ className :: ClassName
@@ -270,6 +273,7 @@ instance Arbitrary Module where
270273
<*> resize n arbitrary
271274
<*> resize n arbitrary
272275
<*> resize n arbitrary
276+
<*> resize n arbitrary
273277

274278
data InferenceErr
275279
= UnboundTermErr Text

0 commit comments

Comments
 (0)