try to set the filename as URI

Author: timfel

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/PythonLanguage.java

@@ -26,6 +26,7 @@
 package com.oracle.graal.python;
 
 import java.io.IOException;
+import java.net.URI;
 import java.net.URL;
 import java.text.MessageFormat;
 import java.util.ArrayList;
@@ -88,6 +89,7 @@
 import com.oracle.truffle.api.object.ObjectType;
 import com.oracle.truffle.api.object.Shape;
 import com.oracle.truffle.api.source.Source;
+import com.oracle.truffle.api.source.Source.LiteralBuilder;
 import com.oracle.truffle.api.source.Source.SourceBuilder;
 import com.oracle.truffle.api.source.SourceSection;
 
@@ -422,9 +424,13 @@ public static TruffleLogger getLogger() {
         return TruffleLogger.getLogger(ID);
     }
 
-    public static Source newSource(PythonContext ctxt, String src, String name) {
+    public static Source newSource(PythonContext ctxt, String src, String name, URI uri) {
         try {
-            return newSource(ctxt, Source.newBuilder(ID, src, name), name);
+            LiteralBuilder sourceBuilder = Source.newBuilder(ID, src, name);
+            if (uri != null) {
+                sourceBuilder.uri(uri);
+            }
+            return newSource(ctxt, sourceBuilder, name);
         } catch (IOException e) {
             throw new AssertionError();
         }

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/modules/BuiltinFunctions.java

@@ -74,6 +74,8 @@
 import java.io.PrintStream;
 import java.io.PrintWriter;
 import java.math.BigInteger;
+import java.net.URI;
+import java.net.URISyntaxException;
 import java.nio.CharBuffer;
 import java.util.List;
 import java.util.function.Supplier;
@@ -720,7 +722,12 @@ PCode compile(OpaqueBytes source, String filename, String mode, Object kwFlags,
         @Specialization
         @TruffleBoundary
         PCode compile(String expression, String filename, String mode, Object kwFlags, Object kwDontInherit, Object kwOptimize) {
-            Source source = PythonLanguage.newSource(getContext(), expression, filename);
+            URI uri = null;
+            try {
+                uri = new URI("file://" + filename);
+            } catch (URISyntaxException e) {
+            }
+            Source source = PythonLanguage.newSource(getContext(), expression, filename, uri);
             ParserMode pm;
             if (mode.equals("exec")) {
                 pm = ParserMode.File;