4 Commits (ff730b4eb0a58b50e9e14efbf42f7b2c7c3e4dad)

Author	SHA1	Message	Date
Alexander Medvednikov	9837d6cf69	fix option_test.v	2019-07-24 22:49:16 +02:00
Alexander Medvednikov	d2b33397cc	optionals: better errors	2019-07-24 22:41:46 +02:00
d2verb	40ad868f22	Fix #1107	2019-07-15 16:30:06 +02:00
Nick Treleaven	af19aa5096	Fix #1021 - Optional `or` branch doesn't define `err`	2019-07-07 01:24:36 +02:00