Inheritance 2

[pmdoll]

Work in progress towards inheritance implementation.

[tmarble]

@pmdoll it seems the changes to test-mode don't actually improve things in the spirit of #117?

About inheritance.clj

• Can you update the copyright to 2017?
• Quotes to end of line should have two ;; instead of ;;;
• method-signature now needs to include :probability
• uses of pprint probably want to be replaced with dbg-println
• in considering merge-bounds please see pamela.tpn/merge-bounds

About parser.clj

• why do-not-validate? there are some significant IR cleanups that happen during validation

Do the new rubrics reflect the current design on the wiki?

[tmarble]

@pmdoll there's a little destructuring trick you can do at test/clj/testing/pamela/inheritance.clj:78 which is instead of...

   (let [file (first files)
            expected (second files)

you can do this...

   (let [[file expected] files

Re: test/pamela/inherit2.expected.pamela I thought the wiki specifies combining mode cond-expr's disjunctively?

Re: test/pamela/inherit-union.expected.pamela I understand choosing priority based on the "class inheritance order", but this doesn't seem to be documented anywhere as the approach (i.e. not discussed in the wiki)?

At the moment there is no call from the parser ns to inheritance... is the idea that the inheritance ns will develop on the side until it's ready and then be integrated in the parsing of every file?

Otherwise it seems fine and we should probably get @dcerys input.