Skip to content
Snippets Groups Projects

DsExpr: Only use LazyPat on rec do binds with XStrict

Warning
Ellie Hermaszewska created pipeline for commit 96122b4d
, finished
Related merge request !882 to merge strict-dorec
latest merge request
21 jobs 396 minutes 5 seconds, queued for 2 seconds