Code

Add native Dotty REPL#2991

Code

Merged

felixmulder merged 90 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:topic/new-repldotty-staging/dotty:topic/new-replCopy head branch name to clipboard

Aug 23, 2017

Commits

Commits on Aug 23, 2017

• Add initial scaffolding for REPL project

  felixmulder

  committed
  7687f4b

  Copy full SHA for 7687f4b

• Add ammonite sources and implement prompt with highlighting

  felixmulder

  committed
  cb1332c

  Copy full SHA for cb1332c

• Add multiline support

  felixmulder

  committed
  11dceca

  Copy full SHA for 11dceca

• Apply workaround for #2711

  felixmulder

  committed
  a40175e

  Copy full SHA for a40175e

• Refactor side-effecty logic in AmmoniteReader

  felixmulder

  committed
  f9d48ec

  Copy full SHA for f9d48ec

• Replace command by ADT

  felixmulder

  committed
  a7a7c9a

  Copy full SHA for a7a7c9a

• Fix sbt `run` in `dotty-repl`

  felixmulder

  committed
  a7b5460

  Copy full SHA for a7b5460

• Get rid of interactive compiler in REPL

  felixmulder

  committed
  c96ce66

  Copy full SHA for c96ce66

• Implement compilation without need for reparsing trees

  felixmulder

  committed
  38e2649

  Copy full SHA for 38e2649

• Move typechecking to throwaway class

  felixmulder

  committed
  e6f678b

  Copy full SHA for e6f678b

• Turn ReplCompiler into ReplTyper

  felixmulder

  committed
  0a3532d

  Copy full SHA for 0a3532d

• Clean up compilation logic, make union decorator work

  felixmulder

  committed
  905ada0

  Copy full SHA for 905ada0

• Add crash tests

  felixmulder

  committed
  358c3a9

  Copy full SHA for 358c3a9

• Add test for tree injector

  felixmulder

  committed
  774a21f

  Copy full SHA for 774a21f

• Implement fresh injection of trees into `ReplSession` object

  felixmulder

  committed
  8b1352d

  Copy full SHA for 8b1352d

• Use single compiler instance instead of split pipeline

  felixmulder

  committed
  1b129cd

  Copy full SHA for 1b129cd

• Modularize compilation steps

  felixmulder

  committed
  3520967

  Copy full SHA for 3520967

• Get rid of union either, clean up `repl.State`

  felixmulder

  committed
  fbf90e5

  Copy full SHA for fbf90e5

• Add printing of definition names and kinds

  felixmulder

  committed
  a43e3f5

  Copy full SHA for a43e3f5

• Implement showing of basic results

  felixmulder

  committed
  a807b30

  Copy full SHA for a807b30

• Use semantic names encoding in repl

  felixmulder

  committed
  fcbb4f7

  Copy full SHA for fcbb4f7

• Don't evaluate lazy vals

  felixmulder

  committed
  2697436

  Copy full SHA for 2697436

• Add missing type case to render

  felixmulder

  committed
  1efb41a

  Copy full SHA for 1efb41a

• Only evaluate side-effecty expression once

  felixmulder

  committed
  e4241d5

  Copy full SHA for e4241d5

• Allow args to commands

  felixmulder

  committed
  260f4f1

  Copy full SHA for 260f4f1

• Compile expressions with show

  felixmulder

  committed
  9b35296

  Copy full SHA for 9b35296

• Implement `:type <expr>`

  felixmulder

  committed
  f674efb

  Copy full SHA for f674efb

• Clean up `ParseResult.scala`

  felixmulder

  committed
  d44b246

  Copy full SHA for d44b246

• Fix `:type` depending on existing variables

  felixmulder

  committed
  a71122c

  Copy full SHA for a71122c

• Add ability to customize repl `out`

  felixmulder

  committed
  49d62fa

  Copy full SHA for 49d62fa

• Add tests, fix `var` rendering

  felixmulder

  committed
  2f64d98

  Copy full SHA for 2f64d98

• Don't add type to `...Show` methods

  felixmulder

  committed
  692aa6a

  Copy full SHA for 692aa6a

• Add support for `import x`

  felixmulder

  committed
  a83fe4f

  Copy full SHA for a83fe4f

• Keep history even on unsuccessful readLines

  felixmulder

  committed
  28d3004

  Copy full SHA for 28d3004

• Add support for `:imports`

  felixmulder

  committed
  63dbd86

  Copy full SHA for 63dbd86

• Migrate compilation to context based imports

  felixmulder

  committed
  51a1af4

  Copy full SHA for 51a1af4

• Add magic imports to `:type` checking as well

  felixmulder

  committed
  b11c634

  Copy full SHA for b11c634

• Make sure nested contexts get a fresh scope

  felixmulder

  committed
  88f5c0e

  Copy full SHA for 88f5c0e

• Make the `dotty-repl` the default repl in Build.scala

  felixmulder

  committed
  128e053

  Copy full SHA for 128e053

• Partially update ammonite to 6883f48

  felixmulder

  committed
  497adf8

  Copy full SHA for 497adf8

• Split typeOf into typeCheck and typeOf

  felixmulder

  committed
  bbc5a14

  Copy full SHA for bbc5a14

• Port tab-completion from ammonite, implement dummy completion

  felixmulder

  committed
  3ca99b6

  Copy full SHA for 3ca99b6

• Propagate TermAction instead of String from Terminal.readLine

  felixmulder

  committed
  4932444

  Copy full SHA for 4932444

• Fix highlighting of capital letter selections e.g: `x.Y`

  felixmulder

  committed
  4b13494

  Copy full SHA for 4b13494

• Filter string representation of typedefs

  felixmulder

  committed
  8d75b73

  Copy full SHA for 8d75b73

• Fix rebinding of vars

  felixmulder

  committed
  2d791cc

  Copy full SHA for 2d791cc

• Make repl work with interactive API for tab-completion

  felixmulder

  committed
  62e1abc

  Copy full SHA for 62e1abc

• Make tab-completion use basic filtering

  felixmulder

  committed
  ad2b7dc

  Copy full SHA for ad2b7dc

• Add tabcomplete tests

  felixmulder

  committed
  347b351

  Copy full SHA for 347b351

• Add IDE modes to `myCtx` in Repl.scala

  Show description for 24d5845
  felixmulder

  committed
  24d5845

  Copy full SHA for 24d5845

• Make sure test context has a `StoreReporter`

  felixmulder

  committed
  3e33a3b

  Copy full SHA for 3e33a3b

• Fix crash in Interactive when boundary is `NoSymbol`

  felixmulder

  committed
  b0b216c

  Copy full SHA for b0b216c

• Filter `Artifact` and `Synthetic` from IDE

  felixmulder

  committed
  0a8c384

  Copy full SHA for 0a8c384

• Make pattern matcher's `isInstanceOf` synthetic

  felixmulder

  committed
  1e9a835

  Copy full SHA for 1e9a835

• Clean up and add docstrings

  felixmulder

  committed
  1175916

  Copy full SHA for 1175916

• fixup tab-completion tests

  felixmulder

  committed
  b89b84e

  Copy full SHA for b89b84e

• Refactor Repl run interface to yield `State` instead of `Unit`

  felixmulder

  committed
  54f0b5c

  Copy full SHA for 54f0b5c

• Add new `UserFacingPrinter` instead of using `RefinedPrinter` w hacks

  felixmulder

  committed
  85ef9f2

  Copy full SHA for 85ef9f2

• Move `isInfixType` to member of `Type`

  felixmulder

  committed
  ead77da

  Copy full SHA for ead77da

• Cover more of the language in the user facing printer

  felixmulder

  committed
  fcf6332

  Copy full SHA for fcf6332

• Use time travel to properly print definitions in Repl

  felixmulder

  committed
  800bf17

  Copy full SHA for 800bf17

• Make `Interactive.completions` return completion point

  felixmulder

  committed
  77e44a9

  Copy full SHA for 77e44a9

• Harden tab completion

  felixmulder

  committed
  ebc7788

  Copy full SHA for ebc7788

• Don't use `Apply` on free expressions for `.show`

  felixmulder

  committed
  0d86885

  Copy full SHA for 0d86885

• Handle assignments correctly in REPL

  felixmulder

  committed
  d8808a5

  Copy full SHA for d8808a5

• Make UserFacingPrinter extend PlainPrinter for deduplication

  felixmulder

  committed
  fc78787

  Copy full SHA for fc78787

• Add tests from old repl to new

  felixmulder

  committed
  596d54a

  Copy full SHA for 596d54a

• Move `rootContext` method to Run from Compiler

  felixmulder

  committed
  514ad1b

  Copy full SHA for 514ad1b

• Make isValidAt safer to use

  felixmulder

  committed
  aae9234

  Copy full SHA for aae9234

• Rewrite logic in compiler to use newRun and shadowing classloader

  felixmulder

  committed
  adf9697

  Copy full SHA for adf9697

• Add method `isRunnable` to `Phase` instead of adhoc checking

  felixmulder

  committed
  db2205b

  Copy full SHA for db2205b

• Add configurable `compileUnits` method to `Run`

  felixmulder

  committed
  86e9e31

  Copy full SHA for 86e9e31

• Refactor ReplDriver to use a state with a `Run` instead of `Context`

  felixmulder

  committed
  f0b20f1

  Copy full SHA for f0b20f1

• Use `StdNames` constants instead of hardcoded literals

  felixmulder

  committed
  9e44871

  Copy full SHA for 9e44871

• Make the show member a `DefDef`

  Show description for 2372340
  felixmulder

  committed
  2372340

  Copy full SHA for 2372340

• Get rid of hardcoded library in repl tests

  felixmulder

  committed
  96daa58

  Copy full SHA for 96daa58

• Remove more duplication from UserFacingPrinter

  felixmulder

  committed
  6ae8853

  Copy full SHA for 6ae8853

• Change Driver API to not need definition of `newCompiler`

  felixmulder

  committed
  c9e6074

  Copy full SHA for c9e6074

• Remove `newCompiler` override from ReplDriver

  felixmulder

  committed
  a6b0aa1

  Copy full SHA for a6b0aa1

• Make sure compilation yields a state with a new `Run`

  felixmulder

  committed
  9a0a742

  Copy full SHA for 9a0a742

• Fix missing case for widlcard in UserFacingPrinter

  felixmulder

  committed
  1375e79

  Copy full SHA for 1375e79

• Kill old REPL with 🔥

  felixmulder

  committed
  0aa7533

  Copy full SHA for 0aa7533

• Temporarily disable console in sbt bridge

  felixmulder

  committed
  64862a0

  Copy full SHA for 64862a0

• Turn `dotty-repl` project into a Scala 2 project

  felixmulder

  committed
  bc48498

  Copy full SHA for bc48498

• Make new REPL work with sbt bridge

  felixmulder

  committed
  ec6fbbb

  Copy full SHA for ec6fbbb

• Replace `Result` with right biased Either alias

  felixmulder

  committed
  5f8672c

  Copy full SHA for 5f8672c

• Add instructions on how to add `initialCommands` to REPL

  felixmulder

  committed
  d601fdf

  Copy full SHA for d601fdf

• Add null-check to `<id>Show` method

  Show description for 8c78e9a
  felixmulder

  committed
  8c78e9a

  Copy full SHA for 8c78e9a

• Don't aggregate on dotty-repl in sbt script

  felixmulder

  committed
  dd17d1e

  Copy full SHA for dd17d1e

• Address reviewer feedback

  felixmulder

  committed
  331892e

  Copy full SHA for 331892e