<blockquote style="border-left: 1px solid #aaa; margin: 10px 0; padding: 0 10px;"><p style="white-space: pre-wrap; word-wrap: break-word;">Patch Set 1: Code-Review+2</p><p style="white-space: pre-wrap; word-wrap: break-word;">fine with me.  However, as you may know, types can always be prefixed by the Module name, so you can have something like GSM_RR_Types.MobileIdentityLV to distinguish it from other types in other modules.</p></blockquote><p style="white-space: pre-wrap; word-wrap: break-word;">That also occurred to me. But I think in this case the difference is too subtle to be easily noticed. I suppose the generated encoders/decoders will always use the correct type, but I worry that readers of the code will easily miss the difference.</p><p><a href="https://gerrit.osmocom.org/11292">View Change</a></p><ul style="list-style: none; padding: 0;"></ul><p>To view, visit <a href="https://gerrit.osmocom.org/11292">change 11292</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/11292"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-ttcn3-hacks </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: comment </div>
<div style="display:none"> Gerrit-Change-Id: I990316cd5ef5aaf079b03c344e3185ae6ab8ba6d </div>
<div style="display:none"> Gerrit-Change-Number: 11292 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Stefan Sperling <ssperling@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: Harald Welte <laforge@gnumonks.org> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder (1000002) </div>
<div style="display:none"> Gerrit-Reviewer: Stefan Sperling <ssperling@sysmocom.de> </div>
<div style="display:none"> Gerrit-Comment-Date: Wed, 10 Oct 2018 10:06:33 +0000 </div>
<div style="display:none"> Gerrit-HasComments: No </div>
<div style="display:none"> Gerrit-HasLabels: No </div>