From 81991af7baff6db8151e72c1ddad2665f77e23c8 Mon Sep 17 00:00:00 2001 From: soronpo Date: Thu, 9 Feb 2017 19:42:32 +0200 Subject: [PATCH 1/7] Updating SIP-23 ATM updated status and provided some background history. Require approval to change SIP status from 'dormant' to 'pending'. --- sips/pending/_posts/2014-06-27-42.type.md | 19 ++++++++++++++----- 1 file changed, 14 insertions(+), 5 deletions(-) diff --git a/sips/pending/_posts/2014-06-27-42.type.md b/sips/pending/_posts/2014-06-27-42.type.md index 3010cc632f..a04764bbfb 100644 --- a/sips/pending/_posts/2014-06-27-42.type.md +++ b/sips/pending/_posts/2014-06-27-42.type.md @@ -7,14 +7,23 @@ vote-status: dormant vote-text: This proposal is dormant because original authors are not available for its review. There is an implementation here. --- -**By: George Leontiev, Eugene Burmako, Jason Zaugg, Adriaan Moors, Paul Phillips** +**By: George Leontiev, Eugene Burmako, Jason Zaugg, Adriaan Moors, Paul Phillips, Oron Port** -Note: This SIP is considered a "good idea", but is a work-in-process. -There is no guarantee that it will not be dropped if at some point it is decided that its foundation is not good enough. +## History -Champion: Adriaan Moors +| Date | Version | +| ---------------|--------------------------------------------------------------------| +| Jun 27th 2014 | Initial SIP | +| Jul 15th 2014 | Last update to SIP before declared dormant | +| TBD | Dormant because original authors are not available for its review | +| Feb 9th 2017 | New author volunteered to be update the SIP for review | + +### Current status +Literal types were implemented in both Typelevel Scala and Dotty. +New author volunteered to update this SIP, and bring it to an accepted status after committee review. +Require approval to change SIP status from 'dormant' to 'pending'. -Last update: July 15, 2014 +Champion: Adriaan Moors ## Motivation From 4e437c72c3399f735e553a8ce96a139e33ca835a Mon Sep 17 00:00:00 2001 From: soronpo Date: Thu, 9 Feb 2017 19:43:49 +0200 Subject: [PATCH 2/7] Update 2014-06-27-42.type.md --- sips/pending/_posts/2014-06-27-42.type.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/sips/pending/_posts/2014-06-27-42.type.md b/sips/pending/_posts/2014-06-27-42.type.md index a04764bbfb..814cdf342c 100644 --- a/sips/pending/_posts/2014-06-27-42.type.md +++ b/sips/pending/_posts/2014-06-27-42.type.md @@ -20,9 +20,13 @@ vote-text: This proposal is dormant because original authors are not available f ### Current status Literal types were implemented in both Typelevel Scala and Dotty. + New author volunteered to update this SIP, and bring it to an accepted status after committee review. + Require approval to change SIP status from 'dormant' to 'pending'. +--- + Champion: Adriaan Moors ## Motivation From 4d6be7a30a394a1475d621b392241ba691403163 Mon Sep 17 00:00:00 2001 From: soronpo Date: Thu, 9 Feb 2017 19:49:13 +0200 Subject: [PATCH 3/7] Update 2014-06-27-42.type.md --- sips/pending/_posts/2014-06-27-42.type.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/sips/pending/_posts/2014-06-27-42.type.md b/sips/pending/_posts/2014-06-27-42.type.md index 814cdf342c..85db9c73fa 100644 --- a/sips/pending/_posts/2014-06-27-42.type.md +++ b/sips/pending/_posts/2014-06-27-42.type.md @@ -3,8 +3,7 @@ layout: sip disqus: true title: SIP-23 - Literal-based singleton types -vote-status: dormant -vote-text: This proposal is dormant because original authors are not available for its review. There is an implementation here. +vote-status: pending --- **By: George Leontiev, Eugene Burmako, Jason Zaugg, Adriaan Moors, Paul Phillips, Oron Port** @@ -16,7 +15,7 @@ vote-text: This proposal is dormant because original authors are not available f | Jun 27th 2014 | Initial SIP | | Jul 15th 2014 | Last update to SIP before declared dormant | | TBD | Dormant because original authors are not available for its review | -| Feb 9th 2017 | New author volunteered to be update the SIP for review | +| Feb 9th 2017 | New author volunteered to update the SIP for review | ### Current status Literal types were implemented in both Typelevel Scala and Dotty. From 423b5676939124f0a29d4d73a66f61654bfa2244 Mon Sep 17 00:00:00 2001 From: soronpo Date: Thu, 9 Feb 2017 20:01:41 +0200 Subject: [PATCH 4/7] Update 2014-06-27-42.type.md --- sips/pending/_posts/2014-06-27-42.type.md | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/sips/pending/_posts/2014-06-27-42.type.md b/sips/pending/_posts/2014-06-27-42.type.md index 85db9c73fa..1ab96d5c02 100644 --- a/sips/pending/_posts/2014-06-27-42.type.md +++ b/sips/pending/_posts/2014-06-27-42.type.md @@ -19,10 +19,7 @@ vote-status: pending ### Current status Literal types were implemented in both Typelevel Scala and Dotty. - -New author volunteered to update this SIP, and bring it to an accepted status after committee review. - -Require approval to change SIP status from 'dormant' to 'pending'. +SIP pending for committee review. --- From 24de299edf280ab79df9ec1d48d5d98f2ada549e Mon Sep 17 00:00:00 2001 From: soronpo Date: Thu, 9 Feb 2017 20:57:36 +0200 Subject: [PATCH 5/7] Re-push --- sips/pending/_posts/2014-06-27-42.type.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sips/pending/_posts/2014-06-27-42.type.md b/sips/pending/_posts/2014-06-27-42.type.md index 1ab96d5c02..aec1812ce8 100644 --- a/sips/pending/_posts/2014-06-27-42.type.md +++ b/sips/pending/_posts/2014-06-27-42.type.md @@ -9,7 +9,7 @@ vote-status: pending **By: George Leontiev, Eugene Burmako, Jason Zaugg, Adriaan Moors, Paul Phillips, Oron Port** ## History - + | Date | Version | | ---------------|--------------------------------------------------------------------| | Jun 27th 2014 | Initial SIP | From 940dd65708ad1e1b934057d7bb9e145c65b46323 Mon Sep 17 00:00:00 2001 From: soronpo Date: Mon, 13 Feb 2017 00:48:05 +0200 Subject: [PATCH 6/7] Rebase --- sips/pending/_posts/2014-06-27-42.type.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sips/pending/_posts/2014-06-27-42.type.md b/sips/pending/_posts/2014-06-27-42.type.md index aec1812ce8..55d284bc1b 100644 --- a/sips/pending/_posts/2014-06-27-42.type.md +++ b/sips/pending/_posts/2014-06-27-42.type.md @@ -5,7 +5,7 @@ title: SIP-23 - Literal-based singleton types vote-status: pending --- - + **By: George Leontiev, Eugene Burmako, Jason Zaugg, Adriaan Moors, Paul Phillips, Oron Port** ## History From 6f46e86e69f88f95144e69da073f7735343c7daa Mon Sep 17 00:00:00 2001 From: soronpo Date: Mon, 13 Feb 2017 17:12:24 +0200 Subject: [PATCH 7/7] pushing again. crossing fingers. --- sips/pending/_posts/2014-06-27-42.type.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sips/pending/_posts/2014-06-27-42.type.md b/sips/pending/_posts/2014-06-27-42.type.md index 55d284bc1b..aec1812ce8 100644 --- a/sips/pending/_posts/2014-06-27-42.type.md +++ b/sips/pending/_posts/2014-06-27-42.type.md @@ -5,7 +5,7 @@ title: SIP-23 - Literal-based singleton types vote-status: pending --- - + **By: George Leontiev, Eugene Burmako, Jason Zaugg, Adriaan Moors, Paul Phillips, Oron Port** ## History