Skip to content

Instantly share code, notes, and snippets.

@retronym

retronym/t6161.diff

Created January 30, 2013 17:10
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save retronym/4674756 to your computer and use it in GitHub Desktop.
Save retronym/4674756 to your computer and use it in GitHub Desktop.
Download ZIP
t6161 analysis
Raw
t6161.diff
--- sandbox/t6161a.scala 2013-01-30 18:03:27.000000000 +0100
+++ sandbox/t6161b.scala 2013-01-30 18:04:02.000000000 +0100
@@ -1,9 +1,9 @@
-scala> :t (_: g.NameType).encode
- typing package $line8: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode, silent=false, context.owner=package <root>
- typing $line8: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode POLYmode QUALmode, silent=false, context.owner=package <root>
- typed $line8: $line8.type with underlying $line8.type
- adapted $line8: $line8.type to ?,
- typing object $read: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode BYVALmode, silent=false, context.owner=package $line8
+scala> :t (_: g.Name).encode
- typing def $ires1 = ((x$1: g.NameType) => (x$1: g.NameType).encode): pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode BYVALmode, silent=false, context.owner=object $iw
- typing ((x$1: g.NameType) => (x$1: g.NameType).encode): pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode, silent=false, context.owner=method $ires1
- typing g.NameType: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=TYPEmode, silent=false, context.owner=value $anonfun
+ typing def $ires2 = ((x$1: g.Name) => (x$1: g.Name).encode): pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode BYVALmode, silent=false, context.owner=object $iw
+ typing ((x$1: g.Name) => (x$1: g.Name).encode): pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode, silent=false, context.owner=method $ires2
+ typing g.Name: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=TYPEmode, silent=false, context.owner=value $anonfun
typing g: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode POLYmode QUALmode, silent=false, context.owner=value $anonfun
typed $line6.$read.$iw.$iw.g: g.type with underlying g.type
adapted $line6.$read.$iw.$iw.g: g.type to ?,
- typed $line6.$read.$iw.$iw.g.NameType: g.NameType
- adapted $line6.$read.$iw.$iw.g.NameType: g.NameType to ?,
- typing g.NameType: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=TYPEmode, silent=false, context.owner=value $anonfun
+ typed $line6.$read.$iw.$iw.g.Name: g.Name
+ adapted $line6.$read.$iw.$iw.g.Name: g.Name to ?,
+ typing g.Name: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=TYPEmode, silent=false, context.owner=value $anonfun
typing g: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode POLYmode QUALmode, silent=false, context.owner=value $anonfun
typed $line6.$read.$iw.$iw.g: g.type with underlying g.type
adapted $line6.$read.$iw.$iw.g: g.type to ?,
- typed $line6.$read.$iw.$iw.g.NameType: g.NameType
- adapted $line6.$read.$iw.$iw.g.NameType: g.NameType to ?,
- typing (x$1: g.NameType).encode: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode, silent=false, context.owner=value $anonfun
- typing (x$1: g.NameType): pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode POLYmode QUALmode, silent=false, context.owner=value $anonfun
- typing g.NameType: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=TYPEmode, silent=false, context.owner=value $anonfun
+ typed $line6.$read.$iw.$iw.g.Name: g.Name
+ adapted $line6.$read.$iw.$iw.g.Name: g.Name to ?,
+ typing (x$1: g.Name).encode: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode, silent=false, context.owner=value $anonfun
+ typing (x$1: g.Name): pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode POLYmode QUALmode, silent=false, context.owner=value $anonfun
+ typing g.Name: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=TYPEmode, silent=false, context.owner=value $anonfun
typing g: pt = ?: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode POLYmode QUALmode, silent=false, context.owner=value $anonfun
typed $line6.$read.$iw.$iw.g: g.type with underlying g.type
adapted $line6.$read.$iw.$iw.g: g.type to ?,
- typed $line6.$read.$iw.$iw.g.NameType: g.NameType
- adapted $line6.$read.$iw.$iw.g.NameType: g.NameType to ?,
- typing x$1: pt = g.NameType: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode, silent=false, context.owner=value $anonfun
- typed x$1: g.NameType
- adapted x$1: g.NameType to g.NameType,
- typed (x$1: g.NameType): g.NameType
- adapted (x$1: g.NameType): g.NameType to ?,
- typed (x$1: g.NameType).encode: => Name.this.ThisNameType
- adapted (x$1: g.NameType).encode: Name.this.ThisNameType to ?,
- typed ((x$1: g.NameType) => (x$1: g.NameType).encode): g.NameType => Name.this.ThisNameType
- adapted ((x$1: g.NameType) => (x$1: g.NameType).encode): g.NameType => Name.this.ThisNameType to ?,
- typed def $ires1: g.NameType => Name.this.ThisNameType = ((x$1: g.NameType) => (x$1: g.NameType).encode): <notype>
- adapted def $ires1: g.NameType => Name.this.ThisNameType = ((x$1: g.NameType) => (x$1: g.NameType).encode): <notype> to ?,
+ typed $line6.$read.$iw.$iw.g.Name: g.Name
+ adapted $line6.$read.$iw.$iw.g.Name: g.Name to ?,
+ typing x$1: pt = g.Name: undetparams=, implicitsEnabled=true, enrichmentEnabled=true, mode=EXPRmode, silent=false, context.owner=value $anonfun
+ typed x$1: g.Name
+ adapted x$1: g.Name to g.Name,
+ typed (x$1: g.Name): g.Name
+ adapted (x$1: g.Name): g.Name to ?,
+ typed (x$1: g.Name).encode: => g.Name#ThisNameType
+ adapted (x$1: g.Name).encode: g.Name#ThisNameType to ?,
+ typed ((x$1: g.Name) => (x$1: g.Name).encode): g.Name => g.Name#ThisNameType
+ adapted ((x$1: g.Name) => (x$1: g.Name).encode): g.Name => g.Name#ThisNameType to ?,
+ typed def $ires2: g.Name => g.Name#ThisNameType = ((x$1: g.Name) => (x$1: g.Name).encode): <notype>
+ adapted def $ires2: g.Name => g.Name#ThisNameType = ((x$1: g.Name) => (x$1: g.Name).encode): <notype> to ?,
typed object $iw: <notype>
adapted object $iw extends scala.AnyRef {
def <init>(): type = {
$iw.super.<init>();
()
};
- def $ires1: g.NameType => Name.this.ThisNameType = ((x$1: g.NameType) => (x$1: g.NameType).encode)
+ def $ires2: g.Name => g.Name#ThisNameType = ((x$1: g.Name) => (x$1: g.Name).encode)
}: <notype> to ?,
typed object $iw: <notype>
adapted object $iw extends scala.AnyRef {
@@ -263,12 +263,12 @@
$iw.super.<init>();
()
};
- def $ires1: g.NameType => Name.this.ThisNameType = ((x$1: g.NameType) => (x$1: g.NameType).encode)
+ def $ires2: g.Name => g.Name#ThisNameType = ((x$1: g.Name) => (x$1: g.Name).encode)
}
}: <notype> to ?,
typed object $read: <notype>
adapted object $read extends scala.AnyRef {
- def <init>(): $line8.$read.type = {
+ def <init>(): $line9.$read.type = {
$read.super.<init>();
()
};
@@ -286,14 +286,14 @@
$iw.super.<init>();
()
};
- def $ires1: g.NameType => Name.this.ThisNameType = ((x$1: g.NameType) => (x$1: g.NameType).encode)
+ def $ires2: g.Name => g.Name#ThisNameType = ((x$1: g.Name) => (x$1: g.Name).encode)
}
}
}: <notype> to ?,
-g.NameType => Name.this.ThisNameType
+g.Name => g.Name#ThisNameType
scala>
\ No newline at end of file
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment