Skip to content
This repository has been archived by the owner on Feb 12, 2022. It is now read-only.

Annotations in nominals #101

Open
wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Annotations in nominals #101

wants to merge 6 commits into from

Commits on Apr 4, 2017

  1. added descriptions support to toNominal func

    @evches
    evches committed Apr 4, 2017
    Configuration menu
    Copy the full SHA
    30f005e View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2017

  1. property annotations now get converted to definition annotations in t… 

    …oNominal() call
    @evches
    evches committed Apr 14, 2017
    Configuration menu
    Copy the full SHA
    3bae2a2 View commit details
    Browse the repository at this point in the history

  2. followup fix to previous commit

    @evches
    evches committed Apr 14, 2017
    Configuration menu
    Copy the full SHA
    d093bc6 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2017

  1. toNominal() now stores type annotations

    @evches
    evches committed May 12, 2017
    Configuration menu
    Copy the full SHA
    ef35e76 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2017

  1. Add support of annotations in toNominal() function

    @evches
    evches committed May 13, 2017
    Configuration menu
    Copy the full SHA
    9db37d2 View commit details
    Browse the repository at this point in the history

  2. added tests to verify toNominal() conversion of annotations

    @evches
    evches committed May 13, 2017
    Configuration menu
    Copy the full SHA
    3c6effe View commit details
    Browse the repository at this point in the history