-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Fix file creation in quoted.QuoteCompiler
#5487
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Changes from 29 commits
Commits
Show all changes
30 commits
Select commit
Hold shift + click to select a range
72ef612
fix exception 'UnmappableCharacterException' in dottydoc on Windows
0f94c25
add batch scripts to build Dotty distro on Windows
36f6108
small improvements in batch scripts for Dotty 0.10
0717827
improved subcommands in build.bat
4e57388
move batch scripts for distro to correct directory
728cdff
fix goto label and help handling in batch scripts
52a4766
added batch scripts for sbt pack
89437fb
remove debug code
d30ef54
Merge branch 'master' of https://github.com/lampepfl/dotty
3455189
improved error messages in batch scripts
michelou 28b4c04
reverted commits up to 72ef612 (PR #5430)
michelou 6688ea6
added batch scripts for a new PR
michelou 205fab5
removed debug code from batch scripts
michelou a6df702
added compile subcommand to batch script
michelou 6a06639
Fix path separator on Windows
michelou 211ce5d
add -timer option, fix args subroutine
michelou c97b1fc
Merge remote-tracking branch 'upstream/master' into utf8-eol
michelou ceace56
Merge branch 'master' of https://github.com/lampepfl/dotty
michelou c46d803
merged from branch batch-files
michelou ef2ba09
Merge remote-tracking branch 'origin/fromtasty'
michelou cfdf69e
Merge remote-tracking branch 'origin/utf8-eol'
michelou ae3e368
2nd attempt (wrong merge operation ?)
michelou f58e122
Merge remote-tracking branch 'origin/utf8-eol'
michelou 2abde99
Merge branch 'master' of https://github.com/lampepfl/dotty into url-file
michelou e42b72c
PR #5487
michelou ca111b0
removed files not belonging the branch `quoted`
michelou 8232db1
reverted removal of Debug.scala
michelou b2c95db
attempt to resolve conficting files
michelou 0ffcf56
applied suggested change
michelou da92591
applied suggested change
michelou File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Why not simply:
new VirtualFile("<quote>")
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You're right! Update follows.