search

softdevteam / yksom

Other
8 stars 6 forks source link

Two bug fixes #202

Closed ltratt closed 3 years ago

ltratt commented 3 years ago

Both noticed when running SomSom, but we add to yksom's test suite for completeness.

ltratt commented 3 years ago

I've forgotten the pattern matching syntax! https://github.com/softdevteam/yksom/pull/202/commits/123e2d99ff3fceafbc3a2b2b011e8fd15354598a will need squashing.

jacob-hughes commented 3 years ago

The changes inside the VM look sensible. Please squash.

ltratt commented 3 years ago

Squashed.

jacob-hughes commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Build succeeded: