support nested abstract clafers #23

mantkiew opened this Issue Nov 23, 2015 · 1 comment


None yet

2 participants

abstract Component
    abstract Port

now, Port can be extended as:

Example 1:

WinController : Component
    cmd : Port
    abstract ExceptionPort : Port

NOTE: the compiler also allows declaring ExceptionPort at the top-level but only for abstract clafers like this

WinController : Component
    powerOut : ExceptionPort

abstract ExceptionPort : Port

however, in the IR, ExceptionPort is physically moved as a sibling of Port as in the Example 1.

Relevant test cases are:

@mantkiew mantkiew added this to the 0.4.3 milestone Nov 23, 2015

Implemented abstract clafers nested under abstract clafers.

TODO: abstract clafers nested under concrete clafers.

@mantkiew mantkiew modified the milestone: 0.4.4, 0.4.3 Dec 22, 2015
@mantkiew mantkiew referenced this issue Sep 19, 2016

Release 0.4.4 #27

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment