Re: help with very simple compiler transformation

On Mon, May 31, 2010 at 03:23:52PM -0700, Nicholas Tung wrote:
> Thanks very much. I have another question -- how can I follow a
> TypeRef to get an annotation? Here's some example code:
> type Int5 = Int  <at>  Range(-32 to 31)
> val x = (fcn() : Int5)

Do you have reason to believe this can work? I'll be surprised.  It'd be 
neat if so.  I don't think type aliases are sufficiently first class 
that you can annotate them and distinguish between the annotated alias 
and the underlying type.

Here's a little repl session in my current repl, which I can't resist to 
demo the stuff I've been adding.  Not sure what if anything this will 
tell you -- I know little about the annotations implementation.  But it 
seems to support my suspicion since I only see the annotation at all if 
I normalize.

scala> class Range(x: scala.Range) extends scala.StaticAnnotation
defined class Range

scala> type Int5 = Int  <at>  Range(-32 to 31)                        
defined type alias Int5

scala> :type Int5                                                
tpe7: global.Type = Int5

scala> tpe7.normalize
res10: global.Type = Int

scala> repl.allPhases( tpe7.normalize.annotations)

Re: help with very simple compiler transformation

Thanks so much, normalize works great!!!

I'm not sure why the annotations are not showing up for you... I see them
after the typer. I'm running Scala 2.8.0 RC2 from Maven; the primary files
in my project are here (plugin, file, and library defining  <at> Range):

http://github.com/gatoatigrado/skalch/blob/564b7e6b97305e62faeee69a321cdd1faabdf1d3/plugin/src/main/scala/skalch/plugins/SketchRewriter.scala

http://github.com/gatoatigrado/skalch/blob/564b7e6b97305e62faeee69a321cdd1faabdf1d3/base/src/test/scala/angelic/simple/SugaredTest.scala

http://github.com/gatoatigrado/skalch/blob/564b7e6b97305e62faeee69a321cdd1faabdf1d3/base/src/main/scala/skalch/AngelicSketch.scala

regards,
Nicholas — ntung at ntung —  https://ntung.com — CS major  <at>  UC Berkeley

On Mon, May 31, 2010 at 5:39 PM, Paul Phillips <paulp@...> wrote:
> On Mon, May 31, 2010 at 03:23:52PM -0700, Nicholas Tung wrote:
>> Thanks very much. I have another question -- how can I follow a
>> TypeRef to get an annotation? Here's some example code:
>> type Int5 = Int  <at>  Range(-32 to 31)
>> val x = (fcn() : Int5)
>
> Do you have reason to believe this can work? I'll be surprised.  It'd be
> neat if so.  I don't think type aliases are sufficiently first class
> that you can annotate them and distinguish between the annotated alias
> and the underlying type.
>
> Here's a little repl session in my current repl, which I can't resist to
> demo the stuff I've been adding.  Not sure what if anything this will
> tell you -- I know little about the annotations implementation.  But it

Re: help with very simple compiler transformation

On Mon, May 31, 2010 at 07:00:37PM -0700, Nicholas Tung wrote:
> I'm not sure why the annotations are not showing up for you... I see 
> them after the typer. I'm running Scala 2.8.0 RC2 from Maven; the 
> primary files in my project are here (plugin, file, and library 
> defining  <at> Range):

I'm going to guess it's because I defined the annotation in the repl.  
I've recently found myself unable to recover the scala sig annotation in 
repl defined classes so maybe this is serendipitously pointing me in the 
right general direction for fixing that.

--

-- 
Paul Phillips      | We must respect the other fellow's religion, but only
In Theory          | in the sense and to the extent that we respect his
Empiricist         | theory that his wife is beautiful and his children smart. 
up hill, pi pals!  |     -- H. L. Mencken

msiltest

Re: msiltest

Scala IDE for Eclipse

The code of the Scala IDE for Eclipse has been removed from the EPFL SVN 
repository and from our build process as of r22136. New developments of the 
plugin, as well as all previous history, can be found via:

   http://scala-ide.assembla.com/code/scala-ide/git/nodes

Links to the last version of the codebase hosted by EPFL will still be 
available at:

   http://lampsvn.epfl.ch/trac/scala/wiki/obsoleteSVNstuff

New releases of the IDE will be made available via the www.scala-ide.org 
website only. Please refer to the email sent by Miles to scala-user and 
scala-tools for further details.

Toni

Scala Meeting report, 2010-06-01

We are currently publishing a summary of each of the weekly meetings of the 
Scala Core Team.

This information is made available as a service to the community. It is by 
necessity rather brief and gives only a rough approximation of the main 
points of discussions explored during each meeting; it should not be taken 
as a source of reliable information, nor as a record of concrete or firm 
decisions, nor as anything other than a record of a simple discussion.

The summary that follows is primarily intended for Scala contributors and 
maintainers. If you are not a contributor to the Scala system, the 
information below is unlikely to be very useful to you, and you might lack 
some of the necessary background to make sense of all the discussion items.

We do not have enough people on the team to be able to write a more 
complete record, and we might also not have the resources to discuss every 
point in detail afterwards. Nevertheless, we hope that this record, cursory 
as it is, is better than nothing.

------------------------------------------------------------------------------

Scala Meeting 2010-06-01

People attending the meeting: Phil, Hubert, Gilles, Alex, Ingo, Lukas, 
Philipp, Miguel, Toni.

* Current work
   - work on a .Net compatible version based on the IKVM port of the JDK
   - general bug fixing

* 2.8.0
   - JSON: patch for ticket #3248 involves an API change. Should it go in 
now? No, we will wait until after the final.
   - Disabled test for #1254 is still failing; we will look into that 
before the final.
   - Commits to trunk will no longer automatically be included in the 
final; only commits explicitly propagated to the 2.8.x branch will appear.
   - We have a few new tickets that may possibly be critical, but for the 
most part we should be OK. We will check the status again next week.

* Eclipse Tickets
   - The component "Eclipse Plugin" has been removed from Trac. If anyone 
files Eclipse plugin tickets on our Trac by mistake, the ticket should now 
be closed, asking them to re-file it on the new Scala IDE for Eclipse bug 
tracker. We will add a notice on the Trac Wiki.

source.fromFile missing

Re: source.fromFile missing

On Wed, Jun 02, 2010 at 10:28:21PM +0200, martin odersky wrote:
> When trying to adapt an example of the Artima book for a course I found that
> 
>   source.fromFile(name)
> 
> no longer works. It has to be source.fromPath. I am OK with the 
> change, but we need to keep & deprecate the old usage.

Yeah... I would be all for that, except it's not possible, which is how 
it got changed in the first place.  You can't overload in the presence 
of default arguments, and my whole brilliant idea for making encodings 
work right and stay in the background was to use implicit defaults, 
which is what you'll see on all those factory methods.

So the only way to put fromFile back is to unroll the whole thing.  And 
for sure the IO code is in a pitiful state, since I was writing that 
code with a bigger picture in mind.  I don't even know what works and 
what doesn't, I avoid scala.io.* entirely.

Let me know how you'd like me to resolve it.  As far as I'm concerned we 
can roll scala.io.* back to 2.7.7 and I'll make the minimum changes to 
make it compile.  No more arrested development for me.

--

-- 
Paul Phillips      | The most dangerous man to any government is the man who
Vivid              | is able to think things out [...] Almost inevitably he
Empiricist         | comes to the conclusion that the government he lives under
pull his pi pal!   | is dishonest, insane, intolerable.   -- H. L. Mencken

Re: source.fromFile missing

It occurs to me that maybe I can make everything work out by way of 
LowPriorityImplicits or an equivalent.  When I wrote all that stuff 
there was no other way to supply a default implicit, but now that we 
have some blunt instruments for designating "the implicit of last 
resort" then I believe I could accomplish the same thing that way.

--

-- 
Paul Phillips      | We must respect the other fellow's religion, but only
Protagonist        | in the sense and to the extent that we respect his
Empiricist         | theory that his wife is beautiful and his children smart. 
up hill, pi pals!  |     -- H. L. Mencken