Skip to content
Snippets Groups Projects

Lifting redundant constructor restrictions

Merged Rémi requested to merge get_constructor_work into dev
All threads resolved!
Files
26
changelog/1662 0 → 100644
+ 7
0
author: lesenechal.remi
description: \n### Lifting restrictions on redundant constructors\n\nIt is now possible
to declare variant types sharing the same constructors as in:\n```\ntype t1 =\n|
Foo of int\n| Bar of string\n\ntype t2 =\n| Foo of int\n| Baz of nat\n```
merge_request: '1662'
title: Lifting redundant constructor restrictions
type: changed
Loading