KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Anything.self subsetting Inconsistent declaration with Base.kerml declaration

  • Key: KERML-178
  • Status: open  
  • Source: Self ( Jim Ciarcia)
  • Summary:

    Features
    self : Anything

    {subsets selfSameLife}

    The subsetting is inconsistent with Base.kerml which has "feature self: Anything[1] subsets things chains things.that"

  • Reported: KerML 1.0b1 — Sat, 16 Sep 2023 18:33 GMT
  • Updated: Mon, 8 Apr 2024 21:42 GMT