Merged
Changes from 1 commit
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Jump to
Failed to load files.
Previous commit
Next commit
update tests
  • Loading branch information
@aspeddro
aspeddro committedApr 20, 2023
commit 9ab54cbe3c3a80ddae10333a06250dad789d1826
Original file line numberDiff line numberDiff line change
Expand Up@@ -371,7 +371,7 @@ let x =
}

let x = a && assert(false)
let x = a && assert(false) && assert(true)
let x = a && assert(false && assert(true))

let x = a && lazy false
let x = a && lazy false && lazy true
Expand Down