rems-project / sail

Sail architecture definition language
Other
624 stars 116 forks source link

Make sure Type-kinded abstract types are forbidden #711

Closed Alasdair closed 2 months ago

Alasdair commented 2 months ago

For the time being, we don't want to allow this, although we could relax this restriction in the future.

Also simplify the Jib target name handing in ctx_get_extern and ctx_is_extern functions, using the target name in the Jib ctx

github-actions[bot] commented 2 months ago

Test Results

    9 files  ±0     21 suites  ±0   0s :stopwatch: ±0s   686 tests +1    686 :white_check_mark: +1  0 :zzz: ±0  0 :x: ±0  2 153 runs  +1  2 152 :white_check_mark: +1  1 :zzz: ±0  0 :x: ±0 

Results for commit a0956648. ± Comparison against base commit fbf9349c.

:recycle: This comment has been updated with latest results.