4 Commits (df06eee5e8212f137238f152bb6d37c0dae25c8d)

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