In [ ]:
#nowarn 0686
Supervisor (Polyglot)¶
In [ ]:
#r @"../../../../../../../.nuget/packages/fsharp.control.asyncseq/3.2.1/lib/netstandard2.1/FSharp.Control.AsyncSeq.dll"
#r @"../../../../../../../.nuget/packages/system.reactive/6.0.1-preview.1/lib/net6.0/System.Reactive.dll"
#r @"../../../../../../../.nuget/packages/system.reactive.linq/6.0.1-preview.1/lib/netstandard2.0/System.Reactive.Linq.dll"
#r @"../../../../../../../.nuget/packages/argu/6.2.4/lib/netstandard2.0/Argu.dll"
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.http.connections.common/7.0.0/lib/net7.0/Microsoft.AspNetCore.Http.Connections.Common.dll"
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.http.connections.client/7.0.0/lib/net7.0/Microsoft.AspNetCore.Http.Connections.Client.dll"
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.signalr.common/7.0.0/lib/net7.0/Microsoft.AspNetCore.SignalR.Common.dll"
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.signalr.client/7.0.0/lib/net7.0/Microsoft.AspNetCore.SignalR.Client.dll"
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.signalr.client.core/7.0.0/lib/net7.0/Microsoft.AspNetCore.SignalR.Client.Core.dll"
#r @"../../../../../../../.nuget/packages/fsharp.json/0.4.1/lib/netstandard2.0/FSharp.Json.dll"
In [ ]:
#!import ../../lib/fsharp/Notebooks.dib
#!import ../../lib/fsharp/Testing.dib
In [ ]:
#!import ../../lib/fsharp/Common.fs
#!import ../../lib/fsharp/CommonFSharp.fs
#!import ../../lib/fsharp/Async.fs
#!import ../../lib/fsharp/AsyncSeq.fs
#!import ../../lib/fsharp/Runtime.fs
#!import ../../lib/fsharp/FileSystem.fs
In [ ]:
#if !INTERACTIVE
open Lib
#endif
In [ ]:
open Common
open SpiralFileSystem.Operators
open Microsoft.AspNetCore.SignalR.Client
sendJson¶
In [ ]:
let sendJson (port : int) (json : string) = async {
let host = "127.0.0.1"
let! portOpen = SpiralNetworking.test_port_open host port
if portOpen then
try
let connection = HubConnectionBuilder().WithUrl($"http://{host}:{port}").Build()
do! connection.StartAsync () |> Async.AwaitTask
let! result = connection.InvokeAsync<string> ("ClientToServerMsg", json) |> Async.AwaitTask
do! connection.StopAsync () |> Async.AwaitTask
trace Verbose (fun () -> $"Supervisor.sendJson / port: {port} / json: {json |> SpiralSm.ellipsis_end 200} / result: {result |> Option.ofObj |> Option.map (SpiralSm.ellipsis_end 200)}") _locals
return Some result
with ex ->
trace Critical (fun () -> $"Supervisor.sendJson / port: {port} / json: {json |> SpiralSm.ellipsis_end 200} / ex: {ex |> SpiralSm.format_exception}") _locals
return None
else
trace Debug (fun () -> $"Supervisor.sendJson / port: {port} / error: port not open") _locals
return None
}
sendObj¶
In [ ]:
let sendObj port obj =
obj
|> System.Text.Json.JsonSerializer.Serialize
|> sendJson port
workspaceRoot¶
In [ ]:
let workspaceRoot = SpiralFileSystem.get_workspace_root ()
getFilePathFromUri¶
In [ ]:
let getFilePathFromUri uri =
match System.Uri.TryCreate (uri, System.UriKind.Absolute) with
| true, uri -> uri.AbsolutePath |> System.IO.Path.GetFullPath
| _ -> failwith "invalid uri"
getCompilerPort¶
In [ ]:
let getCompilerPort () =
13805
serialize_obj¶
In [ ]:
let serializeObj obj =
try
obj
|> FSharp.Json.Json.serialize
|> SpiralSm.replace "\\\\" "\\"
|> SpiralSm.replace "\\r\\n" "\n"
|> SpiralSm.replace "\\n" "\n"
with ex ->
trace Critical (fun () -> "Supervisor.serialize_obj / obj: %A{obj}") _locals
""
Backend¶
In [ ]:
type Backend =
| Gleam
| Fsharp
| Python
| Cpp
In [ ]:
#r @"../../../../../../../.nuget/packages/fsharpx.collections/3.1.0/lib/netstandard2.0/FSharpx.Collections.dll"
#r @"../../../../../../../.nuget/packages/hopac/0.5.1/lib/netstandard2.0/Hopac.dll"
#r @"../../../../../../../.nuget/packages/hopac/0.5.1/lib/netstandard2.0/Hopac.Core.dll"
#r @"../../../../../../../.nuget/packages/fparsec/2.0.0-beta2/lib/netstandard2.1/FParsec.dll"
#r @"../../../../../../../.nuget/packages/fparsec/2.0.0-beta2/lib/netstandard2.1/FParsecCS.dll"
#if _LINUX
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.linux-x64/9.0.3/runtimes/linux-x64/lib/net9.0/Microsoft.AspNetCore.dll"
#else
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.win-x64/9.0.3/runtimes/win-x64/lib/net9.0/Microsoft.AspNetCore.dll"
#endif
#if _LINUX
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.linux-x64/9.0.3/runtimes/linux-x64/lib/net9.0/Microsoft.AspNetCore.SignalR.dll"
#else
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.win-x64/9.0.3/runtimes/win-x64/lib/net9.0/Microsoft.AspNetCore.SignalR.dll"
#endif
#if _LINUX
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.linux-x64/9.0.3/runtimes/linux-x64/lib/net9.0/Microsoft.AspNetCore.SignalR.Core.dll"
#else
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.win-x64/9.0.3/runtimes/win-x64/lib/net9.0/Microsoft.AspNetCore.SignalR.Core.dll"
#endif
#if _LINUX
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.linux-x64/9.0.3/runtimes/linux-x64/lib/net9.0/Microsoft.AspNetCore.Cors.dll"
#else
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.win-x64/9.0.3/runtimes/win-x64/lib/net9.0/Microsoft.AspNetCore.Cors.dll"
#endif
#if _LINUX
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.linux-x64/9.0.3/runtimes/linux-x64/lib/net9.0/Microsoft.AspNetCore.Http.Abstractions.dll"
#else
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.win-x64/9.0.3/runtimes/win-x64/lib/net9.0/Microsoft.AspNetCore.Http.Abstractions.dll"
#endif
#if _LINUX
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.linux-x64/9.0.3/runtimes/linux-x64/lib/net9.0/Microsoft.AspNetCore.Connections.Abstractions.dll"
#else
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.win-x64/9.0.3/runtimes/win-x64/lib/net9.0/Microsoft.AspNetCore.Connections.Abstractions.dll"
#endif
#if _LINUX
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.linux-x64/9.0.3/runtimes/linux-x64/lib/net9.0/Microsoft.AspNetCore.Hosting.Abstractions.dll"
#else
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.win-x64/9.0.3/runtimes/win-x64/lib/net9.0/Microsoft.AspNetCore.Hosting.Abstractions.dll"
#endif
#if _LINUX
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.linux-x64/9.0.3/runtimes/linux-x64/lib/net9.0/Microsoft.AspNetCore.Http.Connections.dll"
#else
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.win-x64/9.0.3/runtimes/win-x64/lib/net9.0/Microsoft.AspNetCore.Http.Connections.dll"
#endif
#if _LINUX
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.linux-x64/9.0.3/runtimes/linux-x64/lib/net9.0/Microsoft.AspNetCore.Routing.dll"
#else
#r @"../../../../../../../.nuget/packages/microsoft.aspnetcore.app.runtime.win-x64/9.0.3/runtimes/win-x64/lib/net9.0/Microsoft.AspNetCore.Routing.dll"
#endif
In [ ]:
#r @"../../../../../../../.nuget/packages/microsoft.extensions.logging/9.0.0/lib/net9.0/Microsoft.Extensions.Logging.dll"
#r @"../../../../../../../.nuget/packages/microsoft.extensions.logging.abstractions/9.0.0/lib/net9.0/Microsoft.Extensions.Logging.Abstractions.dll"
#r @"../../../../../../../.nuget/packages/microsoft.extensions.dependencyinjection.abstractions/9.0.0/lib/net9.0/Microsoft.Extensions.DependencyInjection.Abstractions.dll"
In [ ]:
#r @"../../../../../../../.nuget/packages/system.management/9.0.0/lib/netstandard2.0/System.Management.dll"
In [ ]:
#!import ../../deps/spiral/apps/compiler/spiral_compiler.fs
In [ ]:
open spiral_compiler
awaitCompiler¶
In [ ]:
let awaitCompiler port cancellationToken = async {
let host = "127.0.0.1"
let struct (ct, disposable) = cancellationToken |> SpiralThreading.new_disposable_token
let! ct = ct |> SpiralAsync.merge_cancellation_token_with_default_async
let compiler = MailboxProcessor.Start (fun inbox -> async {
let! availablePort = SpiralNetworking.get_available_port (Some 180) host port
if availablePort <> port then
inbox.Post (port, false)
else
let compilerDir =
workspaceRoot </> "deps/spiral/apps/compiler/dist"
|> System.IO.Path.GetFullPath
let compilerPath = compilerDir </> $"spiral_compiler{SpiralPlatform.get_executable_suffix ()}"
let! exitCode, result =
SpiralRuntime.execution_options (fun x ->
{ x with
l0 = $"\"{compilerPath}\" --port {availablePort} --default-int i32 --default-float f64"
l1 = Some ct
l3 = Some (fun struct (_, line, _) -> async {
if line |> SpiralSm.contains $"System.IO.IOException: Failed to bind to address http://{host}:{port}: address already in use." then
inbox.Post (port, false)
if line |> SpiralSm.contains $"Server bound to: http://localhost:{availablePort}" then
let rec loop retry = async {
do!
SpiralNetworking.wait_for_port_access (Some 100) true host availablePort
|> Async.runWithTimeoutAsync 500
|> Async.Ignore
let _locals () = $"port: {availablePort} / retry: {retry} / {_locals ()}"
try
let pingObj = {| Ping = true |}
let! pingResult = pingObj |> sendObj availablePort
trace Verbose (fun () -> $"Supervisor.awaitCompiler / Ping / result: '%A{pingResult}'") _locals
match pingResult with
| Some _ -> inbox.Post (availablePort, true)
| None -> do! loop (retry + 1)
with ex ->
trace Verbose (fun () -> $"Supervisor.awaitCompiler / Ping / ex: {ex |> SpiralSm.format_exception}") _locals
do! loop (retry + 1)
}
do! loop 1
})
l6 = Some workspaceRoot
}
)
|> SpiralRuntime.execute_with_options_async
trace Debug (fun () -> $"Supervisor.awaitCompiler / exitCode: {exitCode} / result: {result}") _locals
disposable.Dispose ()
}, ct)
let! serverPort, managed = compiler.Receive ()
let connection = HubConnectionBuilder().WithUrl($"http://{host}:{serverPort}").Build ()
do! connection.StartAsync () |> Async.AwaitTask
let event = Event<_> ()
let disposable' = connection.On<string> ("ServerToClientMsg", event.Trigger)
let stream =
FSharp.Control.AsyncSeq.unfoldAsync
(fun () -> async {
let! msg = event.Publish |> Async.AwaitEvent
return Some (msg |> FSharp.Json.Json.deserialize<ClientErrorsRes>, ())
})
()
let disposable' =
new_disposable (fun () ->
async {
disposable'.Dispose ()
do! connection.StopAsync () |> Async.AwaitTask
disposable.Dispose ()
if managed
then do!
SpiralNetworking.wait_for_port_access (Some 100) false host serverPort
|> Async.runWithTimeoutAsync 1500
|> Async.Ignore
}
|> Async.RunSynchronously
)
return
serverPort,
stream,
ct,
disposable'
}
In [ ]:
open Hopac
open Hopac.Infixes
server¶
In [ ]:
let server1 = new_server<Job<unit>, obj, string option, Job<unit>, unit> ()
let server2 = new_server<Job<unit>, obj, int array, Job<unit>, unit> ()
buildFile¶
In [ ]:
let buildFile backend timeout port cancellationToken path =
let rec loop retry = async {
let fullPath = path |> System.IO.Path.GetFullPath |> SpiralFileSystem.normalize_path
let fileDir = fullPath |> System.IO.Path.GetDirectoryName
let fileName = fullPath |> System.IO.Path.GetFileNameWithoutExtension
let! code = fullPath |> SpiralFileSystem.read_all_text_async
// let stream, disposable = fileDir |> FileSystem.watchDirectory (fun _ -> true)
// use _ = disposable
let struct (token, disposable) = SpiralThreading.new_disposable_token cancellationToken
use _ = disposable
let outputFileName =
match backend with
| Gleam -> $"{fileName}.gleam"
| Fsharp -> $"{fileName}.fsx"
| Python -> $"{fileName}.py"
| Cpp -> $"{fileName}.cpp"
// let outputContentSeq =
// stream
// |> FSharp.Control.AsyncSeq.chooseAsync (function
// | _, (FileSystem.FileSystemChange.Changed (path, Some text))
// when (path |> System.IO.Path.GetFileName) = outputFileName
// ->
// // fileDir </> path |> SpiralFileSystem.read_all_text_retry_async
// text |> Some |> Async.init
// | _ -> None |> Async.init
// )
// |> FSharp.Control.AsyncSeq.map (fun content ->
// Some (content |> SpiralSm.replace "\r\n" "\n"), None
// )
let printErrorData (data : {| uri : string; errors : RString list |}) =
let fileName = data.uri |> System.IO.Path.GetFileName
let errors =
data.errors
|> List.map snd
|> SpiralSm.concat "\n"
$"{fileName}:\n{errors}"
let port = port |> Option.defaultWith getCompilerPort
// let! serverPort, errors, ct, disposable = awaitCompiler port (Some token)
let serverPort = port
// use _ = disposable
let errorsSeq =
server1.errors
|> FSharp.Control.AsyncSeq.choose (fun error ->
match error with
| FatalError message ->
Some (message, error)
| TracedError data ->
Some (data.message, error)
| PackageErrors data when data.errors |> List.isEmpty |> not ->
Some (data |> printErrorData, error)
| TokenizerErrors data when data.errors |> List.isEmpty |> not ->
Some (data |> printErrorData, error)
| ParserErrors data when data.errors |> List.isEmpty |> not ->
Some (data |> printErrorData, error)
| TypeErrors data when data.errors |> List.isEmpty |> not ->
Some (data |> printErrorData, error)
| _ -> None
)
|> FSharp.Control.AsyncSeq.map (fun (message, error) ->
None, Some (message, error)
)
let timerSeq =
500
|> FSharp.Control.AsyncSeq.intervalMs
|> FSharp.Control.AsyncSeq.map (fun _ -> None, None)
let compilerEvent = Event<option<string> * option<string * ClientErrorsRes>> ()
// let disposable' = connection.On<string> ("ServerToClientMsg", event.Trigger)
let outputContentSeq =
FSharp.Control.AsyncSeq.unfoldAsync
(fun () -> async {
let! msg = compilerEvent.Publish |> Async.AwaitEvent
trace Verbose (fun () -> $"Supervisor.buildFile / outputContentSeq unfoldAsync / msg: %A{msg}") _locals
return Some (msg, ())
})
()
let compilerEvent2 = Event<option<string> * (string * ClientErrorsRes) list * int> ()
// let disposable' = connection.On<string> ("ServerToClientMsg", event.Trigger)
let outputContentSeq2 =
FSharp.Control.AsyncSeq.unfoldAsync
(fun () -> async {
let! msg = compilerEvent2.Publish |> Async.AwaitEvent
trace Verbose (fun () -> $"Supervisor.buildFile / outputContentSeq2 unfoldAsync / msg: %A{msg}") _locals
return Some (msg, ())
})
()
let outputSeq =
[ outputContentSeq; errorsSeq; timerSeq ]
// [ errorsSeq; timerSeq ]
|> FSharp.Control.AsyncSeq.mergeAll
let! outputChild =
((None, [], 0), outputSeq)
||> FSharp.Control.AsyncSeq.scan (
fun (outputContentResult, errors, typeErrorCount) (outputContent, error) ->
trace Verbose (fun () -> $"Supervisor.buildFile / AsyncSeq.scan / outputContent:\n'{outputContent |> Option.map (SpiralSm.ellipsis_end 1500)} / errors: {errors |> serializeObj} / outputContentResult: {outputContentResult} / typeErrorCount: {typeErrorCount} / retry: {retry} / error: {error} / path: {path}'") _locals
match outputContent, error with
| Some outputContent, None -> Some outputContent, errors, typeErrorCount
| None, Some (
_,
FatalError "File main has a type error somewhere in its path."
) ->
outputContentResult, errors, typeErrorCount + 1
| None, Some error -> outputContentResult, error :: errors, typeErrorCount
| None, None when typeErrorCount >= 1 ->
outputContentResult, errors, typeErrorCount + 1
| _ -> outputContentResult, errors, typeErrorCount
)
|> FSharp.Control.AsyncSeq.takeWhileInclusive (fun (outputContent, errors, typeErrorCount) ->
trace
Verbose
(fun () -> $"Supervisor.buildFile / takeWhileInclusive / outputContent:\n'{outputContent |> Option.map (SpiralSm.ellipsis_end 1500)}' / errors: {errors |> serializeObj} / typeErrorCount: {typeErrorCount} / retry: {retry} / path: {path}")
_locals
#if INTERACTIVE
let errorWait = 1
#else
let errorWait = 1
#endif
match outputContent, errors with
| None, [] when typeErrorCount > errorWait -> false
| _, [ message, TypeErrors errors ] ->
compilerEvent.Trigger (None, Some (message, TypeErrors errors))
trace Verbose (fun () -> $"Supervisor.buildFile / takeWhileInclusive / TypeErrors trigger") _locals
false
| None, [] -> true
| _ -> false
)
|> FSharp.Control.AsyncSeq.tryLast
// |> Async.withCancellationToken ct
|> Async.catch
|> Async.runWithTimeoutAsync timeout
|> Async.StartChild
// do! Async.Sleep 60
let fullPathUri = fullPath |> SpiralFileSystem.normalize_path |> SpiralFileSystem.new_file_uri
trace Verbose (fun () -> $"Supervisor.buildFile / fullPathUri: %A{fullPathUri}") (fun () -> "")
// let fileOpenObj = {| FileOpen = {| uri = fullPathUri; spiText = code |} |}
// let! _fileOpenResult = fileOpenObj |> sendObj serverPort
let fileOpenArgs = {| uri = fullPathUri; spiText = code |}
let! _fileOpenResult =
server1.job_null (server1.supervisor *<+ SupervisorReq.FileOpen fileOpenArgs)
|> Async.AwaitTask
|> Async.runWithTimeoutAsync 60000
|> Async.map Option.get
trace Verbose (fun () -> $"Supervisor.buildFile / _fileOpenResult: %A{_fileOpenResult}") (fun () -> "")
// let! _fileOpenResult = fileOpenObj |> sendObj serverPort
// do! Async.Sleep 60
let backendId =
match backend with
| Gleam -> "Gleam"
| Fsharp -> "Fsharp"
| Python -> "Python + Cuda"
| Cpp -> "Cpp + Cuda"
// let buildFileObj = {| BuildFile = {| uri = fullPathUri; backend = backendId |} |}
// let backend = Supervisor.Fsharp
let buildFileArgs = {| uri = fullPathUri; backend = backendId |}
let buildFileResultAsync =
server1.job_val (fun res -> server1.supervisor *<+ SupervisorReq.BuildFile(buildFileArgs,res))
|> Async.AwaitTask
|> Async.runWithTimeoutAsync timeout
|> Async.map Option.get
let buildFileResultAsync = async {
let! buildFileResult = buildFileResultAsync
let buildFileResult =
if buildFileResult = "" || buildFileResult = null
then None
else buildFileResult |> SpiralSm.replace "\r\n" "\n" |> Some
trace Verbose (fun () -> $"Supervisor.buildFile / buildFileResult: %A{buildFileResult}") (fun () -> "")
if buildFileResult.IsSome then
compilerEvent2.Trigger (buildFileResult, [], 0)
return buildFileResult, [], 0
}
let resultAsync =
outputChild
|> Async.map (fun x ->
trace Verbose (fun () -> $"Supervisor.buildFile / outputChild / x: %A{x}") _locals
match x with
| Some (Ok (Some (outputCode, errors, typeErrorCount))) ->
let x =
match errors with
| [ message, TypeErrors errors ] ->
trace Verbose (fun () -> $"Supervisor.buildFile / outputChild |> Async.map") _locals
compilerEvent2.Trigger (None, [ message, TypeErrors errors ], 0)
trace Verbose (fun () -> $"Supervisor.buildFile / outputChild |> Async.map") _locals
| _ -> ()
outputCode, errors |> List.distinct |> List.rev, typeErrorCount
| Some (Error ex) ->
trace Critical (fun () -> $"Supervisor.buildFile / error: {ex |> SpiralSm.format_exception} / retry: {retry}") _locals
None, [], 0
| _ -> None, [], 0
)
trace Verbose (fun () -> $"Supervisor.buildFile / before result: %A{()}") (fun () -> "")
// let resultSeq =
// [| buildFileResultAsync; resultAsync |]
// |> FSharp.Control.AsyncSeq.ofSeqAsync
let buildFileResultSeq = [| buildFileResultAsync |] |> FSharp.Control.AsyncSeq.ofSeqAsync
let resultSeq = [| resultAsync |] |> FSharp.Control.AsyncSeq.ofSeqAsync
let resultSeq =
[ outputContentSeq2; buildFileResultSeq; resultSeq ]
|> FSharp.Control.AsyncSeq.mergeAll
let! buildFileResult, result, typeErrorCount =
resultSeq
// |> FSharp.Control.AsyncSeq.collect (Array.singleton >> FSharp.Control.AsyncSeq.ofSeq)
|> FSharp.Control.AsyncSeq.collect (fun x ->
trace Verbose (fun () -> $"Supervisor.buildFile / ofSeqAsync / x: %A{x}") _locals
match x with
| Some _, _, _ as x -> [| x |]
| _, _ :: _, _ as x -> [| x |]
| _ -> [||]
|> FSharp.Control.AsyncSeq.ofSeq
)
|> FSharp.Control.AsyncSeq.tryFirst
|> Async.map Option.get
trace Verbose (fun () -> $"Supervisor.buildFile / result: %A{result} / buildFileResult: %A{buildFileResult} / typeErrorCount: {typeErrorCount}") (fun () -> "")
match buildFileResult with
// | None when typeErrorCount > 0 && retry = 0 ->
// trace Verbose (fun () -> $"Supervisor.buildFile / result: {result} / retry: {retry} / typeErrorCount: {typeErrorCount} / fileDir: {fileDir} / targetDir: {targetDir}") _locals
// return! loop (retry + 1)
| _ ->
let targetDir = workspaceRoot </> "target"
trace Verbose (fun () -> $"Supervisor.buildFile / retry: {retry} / typeErrorCount: {typeErrorCount} / fileDir: {fileDir} / targetDir: {targetDir}") _locals
if fileDir |> SpiralSm.starts_with targetDir then
let fileDirUri = fileDir |> SpiralFileSystem.normalize_path |> SpiralFileSystem.new_file_uri
// let fileDeleteObj = {| FileDelete = {| uris = [| fileDirUri |] |} |}
// let! _fileDeleteResult = fileDeleteObj |> sendObj serverPort
let fileDeleteArgs = {| uris = [| fileDirUri |] |}
let! _fileDeleteResult =
server1.job_null (server1.supervisor *<+ SupervisorReq.FileDelete fileDeleteArgs)
|> Async.AwaitTask
()
let outputPath = fileDir </> outputFileName
return outputPath, buildFileResult, result
}
loop 0
SpiralInput¶
In [ ]:
type SpiralInput =
| Spi of string * string option
| Spir of string
persistCode¶
In [ ]:
let persistCode (input: {| backend : Backend option; input: SpiralInput; packages: string [] |}) = async {
let targetDir = workspaceRoot </> "target/spiral_Eval"
let packagesDir = targetDir </> "packages"
let hashHex = $"%A{input.backend}%A{input.input}" |> SpiralCrypto.hash_text
let packageDir = packagesDir </> hashHex
let packageDir =
if input.backend = Some Gleam
then packageDir </> "src"
else packageDir
packageDir |> System.IO.Directory.CreateDirectory |> ignore
let moduleName = "main"
let spirModule, spiModule =
match input.input with
| Spi (_spi, Some _spir) -> true, true
| Spi (_spi, None) -> false, true
| Spir _spir -> true, false
|> fun (spir, spi) ->
(if spir then $"{moduleName}_real*-" else ""),
if spi then moduleName else ""
let libLinkTargetPath = workspaceRoot </> "../spiral/lib/spiral"
let libLinkPath = packageDir </> "spiral"
let packagesModule =
input.packages
|> Array.map (fun package ->
let path = workspaceRoot </> package
let packageName = path |> System.IO.Path.GetFileName
let libLinkPath = packageDir </> packageName
libLinkPath |> SpiralFileSystem.link_directory path
$"{packageName}-"
)
|> String.concat "\n "
let packageDir' =
if input.packages |> Array.isEmpty
then workspaceRoot </> "../spiral/lib"
else
libLinkPath |> SpiralFileSystem.link_directory libLinkTargetPath
packageDir
let spiprojPath = packageDir </> "package.spiproj"
let spiprojCode =
$"""packageDir: {packageDir'}
packages:
|core-
spiral-
{packagesModule}
modules:
{spirModule}
{spiModule}
"""
do! spiprojCode |> SpiralFileSystem.write_all_text_exists spiprojPath
let spirPath = packageDir </> $"{moduleName}_real.spir"
let spiPath = packageDir </> $"{moduleName}.spi"
let spirCode, spiCode =
match input.input with
| Spi (spi, Some spir) -> Some spir, Some spi
| Spi (spi, None) -> None, Some spi
| Spir spir -> Some spir, None
match spirCode with
| Some spir -> do! spir |> SpiralFileSystem.write_all_text_exists spirPath
| None -> ()
match spiCode with
| Some spi -> do! spi |> SpiralFileSystem.write_all_text_exists spiPath
| None -> ()
let spiralPath =
match input.input with
| Spi _ -> spiPath
| Spir _ -> spirPath
match input.backend with
| None -> return spiralPath, None
| Some backend ->
let outputFileName =
let fileName =
match input.input with
| Spi _ -> moduleName
| Spir _ -> $"{moduleName}_real"
match backend with
| Gleam -> $"{fileName}.gleam"
| Fsharp -> $"{fileName}.fsx"
| Python -> $"{fileName}.py"
| Cpp -> $"{fileName}.cpp"
let outputPath = packageDir </> outputFileName
if outputPath |> System.IO.File.Exists |> not
then return spiralPath, None
else
let! oldCode = spiralPath |> SpiralFileSystem.read_all_text_async
if oldCode <> (spiCode |> Option.defaultValue (spirCode |> Option.defaultValue ""))
then return spiralPath, None
else
let! outputCode = outputPath |> SpiralFileSystem.read_all_text_async
return spiralPath, Some (outputPath, outputCode |> SpiralSm.replace "\r\n" "\n")
}
buildCode¶
In [ ]:
let buildCode backend packages isCache timeout cancellationToken input = async {
let! mainPath, outputCache =
persistCode {| input = input; backend = Some backend; packages = packages |}
match outputCache with
| Some (outputPath, outputCode) when isCache -> return mainPath, (outputPath, Some outputCode), []
| _ ->
let! outputPath, outputCode, errors = mainPath |> buildFile backend timeout None cancellationToken
return mainPath, (outputPath, outputCode), errors
}
In [ ]:
//// test
SpiralTrace.TraceLevel.US0_0 |> set_trace_level
"""inl app () =
console.write_line "text"
1i32
inl main () =
app
|> dyn
|> ignore
"""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 20000 None
|> Async.runWithTimeout 21000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
Some """let rec closure1 () () : unit =
let v0 : (string -> unit) = System.Console.WriteLine
let v1 : string = "text"
v0 v1
and closure0 () () : int32 =
let v3 : unit = ()
let v4 : (unit -> unit) = closure1()
let v5 : unit = (fun () -> v4 (); v3) ()
1
let v0 : (unit -> int32) = closure0()
()
""",
[]
)
)
00:00:55 v #1 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi" 00:00:55 v #2 Supervisor.buildFile / _fileOpenResult: <null> 00:00:55 v #3 Supervisor.buildFile / before result: () 00:00:55 v #4 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi 00:00:55 v #7 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi' 00:00:55 v #8 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi 00:00:56 v #540 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi' 00:00:56 v #541 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi 00:00:56 v #849 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi' 00:00:56 v #850 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi 00:00:57 v #1137 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi' 00:00:57 v #1138 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi 00:00:57 v #1315 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi' 00:00:57 v #1316 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6/main.spi 00:00:58 v #1326 Supervisor.buildFile / buildFileResult: Some "let rec closure1 () () : unit = let v0 : (string -> unit) = System.Console.WriteLine let v1 : string = "text" v0 v1 and closure0 () () : int32 = let v3 : unit = () let v4 : (unit -> unit) = closure1() let v5 : unit = (fun () -> v4 (); v3) () 1 let v0 : (unit -> int32) = closure0() () " 00:00:58 v #1327 Supervisor.buildFile / outputContentSeq2 unfoldAsync / msg: (Some "let rec closure1 () () : unit = let v0 : (string -> unit) = System.Console.WriteLine let v1 : string = "text" v0 v1 and closure0 () () : int32 = let v3 : unit = () let v4 : (unit -> unit) = closure1() let v5 : unit = (fun () -> v4 (); v3) () 1 let v0 : (unit -> int32) = closure0() () ", [], 0) 00:00:58 v #1328 Supervisor.buildFile / ofSeqAsync / x: (Some "let rec closure1 () () : unit = let v0 : (string -> unit) = System.Console.WriteLine let v1 : string = "text" v0 v1 and closure0 () () : int32 = let v3 : unit = () let v4 : (unit -> unit) = closure1() let v5 : unit = (fun () -> v4 (); v3) () 1 let v0 : (unit -> int32) = closure0() () ", [], 0) 00:00:58 v #1329 Supervisor.buildFile / result: [] / buildFileResult: Some "let rec closure1 () () : unit = let v0 : (string -> unit) = System.Console.WriteLine let v1 : string = "text" v0 v1 and closure0 () () : int32 = let v3 : unit = () let v4 : (unit -> unit) = closure1() let v5 : unit = (fun () -> v4 (); v3) () 1 let v0 : (unit -> int32) = closure0() () " / typeErrorCount: 0 00:00:58 v #1330 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/22ccd04317d5605c65f81c7f777766f357e85dc69f2d6d04b9dc60aebd08a0d6 / targetDir: /home/runner/work/polyglot/polyglot/target Some (Some "let rec closure1 () () : unit = let v0 : (string -> unit) = System.Console.WriteLine let v1 : string = "text" v0 v1 and closure0 () () : int32 = let v3 : unit = () let v4 : (unit -> unit) = closure1() let v5 : unit = (fun () -> v4 (); v3) () 1 let v0 : (unit -> int32) = closure0() () ", [])
In [ ]:
//// test
"""
inl init_series start end inc =
inl total : f64 = conv ((end - start) / inc) + 1
listm.init total (conv >> (*) inc >> (+) start) : list f64
type integration = (f64 -> f64) -> f64 -> f64 -> f64
inl integral dt : integration =
fun f a b =>
init_series (a + dt / 2) (b - dt / 2) dt
|> listm.map (f >> (*) dt)
|> listm.fold (+) 0
inl main () =
integral 0.1 (fun x => x ** 2) 0 1
"""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
Some "0.3325000000000001\n",
[]
)
)
00:00:58 v #1349 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c127414de2a2a92d9fd93ea5a8e9312a6aad9129ffd3cbd56ac7f0327106f1db/main.spi 00:00:58 v #1350 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c127414de2a2a92d9fd93ea5a8e9312a6aad9129ffd3cbd56ac7f0327106f1db/main.spi" 00:00:58 v #1351 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c127414de2a2a92d9fd93ea5a8e9312a6aad9129ffd3cbd56ac7f0327106f1db/main.spi' 00:00:58 v #1352 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c127414de2a2a92d9fd93ea5a8e9312a6aad9129ffd3cbd56ac7f0327106f1db/main.spi 00:00:58 v #1353 Supervisor.buildFile / _fileOpenResult: <null> 00:00:58 v #1354 Supervisor.buildFile / before result: () 00:00:58 v #1590 Supervisor.buildFile / buildFileResult: Some "0.3325000000000001 " 00:00:58 v #1591 Supervisor.buildFile / outputContentSeq2 unfoldAsync / msg: (Some "0.3325000000000001 ", [], 0) 00:00:58 v #1592 Supervisor.buildFile / ofSeqAsync / x: (Some "0.3325000000000001 ", [], 0) 00:00:58 v #1593 Supervisor.buildFile / result: [] / buildFileResult: Some "0.3325000000000001 " / typeErrorCount: 0 00:00:58 v #1594 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c127414de2a2a92d9fd93ea5a8e9312a6aad9129ffd3cbd56ac7f0327106f1db / targetDir: /home/runner/work/polyglot/polyglot/target Some (Some "0.3325000000000001 ", [])
In [ ]:
//// test
"""
inl init_series start end inc =
inl total : f64 = conv ((end - start) / inc) + 1
listm.init total (conv >> (*) inc >> (+) start) : list f64
type integration = (f64 -> f64) -> f64 -> f64 -> f64
inl integral dt : integration =
fun f a b =>
init_series (a + dt / 2) (b - dt / 2) dt
|> listm.map (f >> (*) dt)
|> listm.fold (+) 0
inl main () =
integral 0.1 (fun x => x ** 2) 0 1
"""
|> fun code -> Spi (code, None)
|> buildCode Python [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
Some @"kernels_aux = r""""""
// The types of these two will be replaced during compilation by the Spiral code generator.
// It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is.
// The two statements need to begin at the start of a line.
using default_int = int;
using default_uint = unsigned int;
#ifndef __NVRTC__
// NVRTC has these includes by default so they need to be left out if it is used as the compiler.
#include <new>
#include <assert.h>
#include <stdio.h>
#endif
// For error checking on the host.
#define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); }
template <typename T> inline __device__ void destroy(T& obj) { obj.~T(); }
inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) {
if (error != cudaSuccess) {
fprintf(stderr, ""GPUassert: %s %s %d\n"", cudaGetErrorString(error), file, line);
if (abort) exit(error);
}
}
template <typename el>
struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work.
{
el* base;
__device__ sptr() : base(nullptr) {}
__device__ sptr(el* ptr) : base(ptr) { this->base->refc++; }
__device__ ~sptr()
{
if (this->base != nullptr && --this->base->refc == 0)
{
delete this->base;
this->base = nullptr;
}
}
__device__ sptr(sptr& x)
{
this->base = x.base;
this->base->refc++;
}
__device__ sptr(sptr&& x)
{
this->base = x.base;
x.base = nullptr;
}
__device__ sptr& operator=(sptr& x)
{
if (this->base != x.base)
{
delete this->base;
this->base = x.base;
this->base->refc++;
}
return *this;
}
__device__ sptr& operator=(sptr&& x)
{
if (this->base != x.base)
{
delete this->base;
this->base = x.base;
x.base = nullptr;
}
return *this;
}
};
template <typename el>
struct csptr : public sptr<el>
{ // Shared pointer for closures specifically.
using sptr<el>::sptr;
template <typename... Args>
__device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...))
{
return this->base->operator()(args...);
}
};
template <typename el, default_int max_length>
struct static_array
{
el ptr[max_length];
__device__ el& operator[](default_int i) {
assert(""The index has to be in range."" && 0 <= i && i < max_length);
return this->ptr[i];
}
};
template <typename el, default_int max_length>
struct static_array_list
{
default_int length{ 0 };
el ptr[max_length];
__device__ el& operator[](default_int i) {
assert(""The index has to be in range."" && 0 <= i && i < this->length);
return this->ptr[i];
}
__device__ void push(el& x) {
ptr[this->length++] = x;
assert(""The array after pushing should not be greater than max length."" && this->length <= max_length);
}
__device__ void push(el&& x) {
ptr[this->length++] = std::move(x);
assert(""The array after pushing should not be greater than max length."" && this->length <= max_length);
}
__device__ el pop() {
assert(""The array before popping should be greater than 0."" && 0 < this->length);
auto x = ptr[--this->length];
ptr[this->length].~el();
new (&ptr[this->length]) el();
return x;
}
// Should be used only during initialization.
__device__ void unsafe_set_length(default_int i) {
assert(""The new length should be in range."" && 0 <= i && i <= max_length);
this->length = i;
}
};
template <typename el, default_int max_length>
struct dynamic_array_base
{
int refc{ 0 };
el* ptr;
__device__ dynamic_array_base() : ptr(new el[max_length]) {}
__device__ ~dynamic_array_base() { delete[] this->ptr; }
__device__ el& operator[](default_int i) {
assert(""The index has to be in range."" && 0 <= i && i < this->length);
return this->ptr[i];
}
};
template <typename el, default_int max_length>
struct dynamic_array
{
sptr<dynamic_array_base<el, max_length>> ptr;
__device__ dynamic_array() = default;
__device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {}
__device__ el& operator[](default_int i) {
return this->ptr.base->operator[](i);
}
};
template <typename el, default_int max_length>
struct dynamic_array_list_base
{
int refc{ 0 };
default_int length{ 0 };
el* ptr;
__device__ dynamic_array_list_base() : ptr(new el[max_length]) {}
__device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); }
__device__ ~dynamic_array_list_base() { delete[] this->ptr; }
__device__ el& operator[](default_int i) {
assert(""The index has to be in range."" && 0 <= i && i < this->length);
return this->ptr[i];
}
__device__ void push(el& x) {
ptr[this->length++] = x;
assert(""The array after pushing should not be greater than max length."" && this->length <= max_length);
}
__device__ void push(el&& x) {
ptr[this->length++] = std::move(x);
assert(""The array after pushing should not be greater than max length."" && this->length <= max_length);
}
__device__ el pop() {
assert(""The array before popping should be greater than 0."" && 0 < this->length);
auto x = ptr[--this->length];
ptr[this->length].~el();
new (&ptr[this->length]) el();
return x;
}
// Should be used only during initialization.
__device__ void unsafe_set_length(default_int i) {
assert(""The new length should be in range."" && 0 <= i && i <= max_length);
this->length = i;
}
};
template <typename el, default_int max_length>
struct dynamic_array_list
{
sptr<dynamic_array_list_base<el, max_length>> ptr;
__device__ dynamic_array_list() = default;
__device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {}
__device__ el& operator[](default_int i) {
return this->ptr.base->operator[](i);
}
__device__ void push(el& x) {
this->ptr.base->push(x);
}
__device__ void push(el&& x) {
this->ptr.base->push(std::move(x));
}
__device__ el pop() {
return this->ptr.base->pop();
}
// Should be used only during initialization.
__device__ void unsafe_set_length(default_int i) {
this->ptr.base->unsafe_set_length(i);
}
__device__ default_int length_() {
return this->ptr.base->length;
}
};
""""""
class static_array():
def __init__(self, length):
self.ptr = []
for _ in range(length):
self.ptr.append(None)
def __getitem__(self, index):
assert 0 <= index < len(self.ptr), ""The get index needs to be in range.""
return self.ptr[index]
def __setitem__(self, index, value):
assert 0 <= index < len(self.ptr), ""The set index needs to be in range.""
self.ptr[index] = value
class static_array_list(static_array):
def __init__(self, length):
super().__init__(length)
self.length = 0
def __getitem__(self, index):
assert 0 <= index < self.length, ""The get index needs to be in range.""
return self.ptr[index]
def __setitem__(self, index, value):
assert 0 <= index < self.length, ""The set index needs to be in range.""
self.ptr[index] = value
def push(self,value):
assert (self.length < len(self.ptr)), ""The length before pushing has to be less than the maximum length of the array.""
self.ptr[self.length] = value
self.length += 1
def pop(self):
assert (0 < self.length), ""The length before popping has to be greater than 0.""
self.length -= 1
return self.ptr[self.length]
def unsafe_set_length(self,i):
assert 0 <= i <= len(self.ptr), ""The new length has to be in range.""
self.length = i
class dynamic_array(static_array):
pass
class dynamic_array_list(static_array_list):
def length_(self): return self.length
kernels_main = r""""""
""""""
from main_auto import *
kernels = kernels_aux + kernels_main
import cupy as cp
import numpy as np
from dataclasses import dataclass
from typing import NamedTuple, Union, Callable, Tuple
i8 = int; i16 = int; i32 = int; i64 = int; u8 = int; u16 = int; u32 = int; u64 = int; f32 = float; f64 = float; char = str; string = str
cuda = False
# fwd_dcls
# types
# functions
# main_defs
def main_body():
return 0.3325000000000001
def main():
r = main_body()
if cuda: cp.cuda.get_current_stream().synchronize() # This line is here so the `__trap()` calls on the kernel aren't missed.
return r
if __name__ == '__main__': result = main(); None if result is None else print(result)
",
[]
)
)
00:00:58 v #1611 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a4224c9f3d674d70fd56b6ecd3ae8c8ff3178a7124ae34f592336fef263568ea/main.spi 00:00:58 v #1612 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a4224c9f3d674d70fd56b6ecd3ae8c8ff3178a7124ae34f592336fef263568ea/main.spi' 00:00:58 v #1613 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a4224c9f3d674d70fd56b6ecd3ae8c8ff3178a7124ae34f592336fef263568ea/main.spi 00:00:58 v #1614 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a4224c9f3d674d70fd56b6ecd3ae8c8ff3178a7124ae34f592336fef263568ea/main.spi" 00:00:58 v #1615 Supervisor.buildFile / _fileOpenResult: <null> 00:00:58 v #1616 Supervisor.buildFile / before result: () 00:00:59 v #1854 Supervisor.buildFile / buildFileResult: Some "kernels_aux = r""" // The types of these two will be replaced during compilation by the Spiral code generator. // It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is. // The two statements need to begin at the start of a line. using default_int = int; using default_uint = unsigned int; #ifndef __NVRTC__ // NVRTC has these includes by default so they need to be left out if it is used as the compiler. #include <new> #include <assert.h> #include <stdio.h> #endif // For error checking on the host. #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } template <typename T> inline __device__ void destroy(T& obj) { obj.~T(); } inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) { if (error != cudaSuccess) { fprintf(stderr, "GPUassert: %s %s %d\n", cudaGetErrorString(error), file, line); if (abort) exit(error); } } template <typename el> struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work. { el* base; __device__ sptr() : base(nullptr) {} __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; } __device__ ~sptr() { if (this->base != nullptr && --this->base->refc == 0) { delete this->base; this->base = nullptr; } } __device__ sptr(sptr& x) { this->base = x.base; this->base->refc++; } __device__ sptr(sptr&& x) { this->base = x.base; x.base = nullptr; } __device__ sptr& operator=(sptr& x) { if (this->base != x.base) { delete this->base; this->base = x.base; this->base->refc++; } return *this; } __device__ sptr& operator=(sptr&& x) { if (this->base != x.base) { delete this->base; this->base = x.base; x.base = nullptr; } return *this; } }; template <typename el> struct csptr : public sptr<el> { // Shared pointer for closures specifically. using sptr<el>::sptr; template <typename... Args> __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...)) { return this->base->operator()(args...); } }; template <typename el, default_int max_length> struct static_array { el ptr[max_length]; __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < max_length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct static_array_list { default_int length{ 0 }; el ptr[max_length]; __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_base { int refc{ 0 }; el* ptr; __device__ dynamic_array_base() : ptr(new el[max_length]) {} __device__ ~dynamic_array_base() { delete[] this->ptr; } __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct dynamic_array { sptr<dynamic_array_base<el, max_length>> ptr; __device__ dynamic_array() = default; __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {} __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } }; template <typename el, default_int max_length> struct dynamic_array_list_base { int refc{ 0 }; default_int length{ 0 }; el* ptr; __device__ dynamic_array_list_base() : ptr(new el[max_length]) {} __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); } __device__ ~dynamic_array_list_base() { delete[] this->ptr; } __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_list { sptr<dynamic_array_list_base<el, max_length>> ptr; __device__ dynamic_array_list() = default; __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {} __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } __device__ void push(el& x) { this->ptr.base->push(x); } __device__ void push(el&& x) { this->ptr.base->push(std::move(x)); } __device__ el pop() { return this->ptr.base->pop(); } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { this->ptr.base->unsafe_set_length(i); } __device__ default_int length_() { return this->ptr.base->length; } }; """ class static_array(): def __init__(self, length): self.ptr = [] for _ in range(length): self.ptr.append(None) def __getitem__(self, index): assert 0 <= index < len(self.ptr), "The get index needs to be in range." return self.ptr[index] def __setitem__(self, index, value): assert 0 <= index < len(self.ptr), "The set index needs to be in range." self.ptr[index] = value class static_array_list(static_array): def __init__(self, length): super().__init__(length) self.length = 0 def __getitem__(self, index): assert 0 <= index < self.length, "The get index needs to be in range." return self.ptr[index] def __setitem__(self, index, value): assert 0 <= index < self.length, "The set index needs to be in range." self.ptr[index] = value def push(self,value): assert (self.length < len(self.ptr)), "The length before pushing has to be less than the maximum length of the array." self.ptr[self.length] = value self.length += 1 def pop(self): assert (0 < self.length), "The length before popping has to be greater than 0." self.length -= 1 return self.ptr[self.length] def unsafe_set_length(self,i): assert 0 <= i <= len(self.ptr), "The new length has to be in range." self.length = i class dynamic_array(static_array): pass class dynamic_array_list(static_array_list): def length_(self): return self.length kernels_main = r""" """ from main_auto import * kernels = kernels_aux + kernels_main import cupy as cp import numpy as np from dataclasses import dataclass from typing import NamedTuple, Union, Callable, Tuple i8 = int; i16 = int; i32 = int; i64 = int; u8 = int; u16 = int; u32 = int; u64 = int; f32 = float; f64 = float; char = str; string = str cuda = False # fwd_dcls # types # functions # main_defs def main_body(): return 0.3325000000000001 def main(): r = main_body() if cuda: cp.cuda.get_current_stream().synchronize() # This line is here so the `__trap()` calls on the kernel aren't missed. return r if __name__ == '__main__': result = main(); None if result is None else print(result) " 00:00:59 v #1855 Supervisor.buildFile / outputContentSeq2 unfoldAsync / msg: (Some "kernels_aux = r""" // The types of these two will be replaced during compilation by the Spiral code generator. // It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is. // The two statements need to begin at the start of a line. using default_int = int; using default_uint = unsigned int; #ifndef __NVRTC__ // NVRTC has these includes by default so they need to be left out if it is used as the compiler. #include <new> #include <assert.h> #include <stdio.h> #endif // For error checking on the host. #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } template <typename T> inline __device__ void destroy(T& obj) { obj.~T(); } inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) { if (error != cudaSuccess) { fprintf(stderr, "GPUassert: %s %s %d\n", cudaGetErrorString(error), file, line); if (abort) exit(error); } } template <typename el> struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work. { el* base; __device__ sptr() : base(nullptr) {} __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; } __device__ ~sptr() { if (this->base != nullptr && --this->base->refc == 0) { delete this->base; this->base = nullptr; } } __device__ sptr(sptr& x) { this->base = x.base; this->base->refc++; } __device__ sptr(sptr&& x) { this->base = x.base; x.base = nullptr; } __device__ sptr& operator=(sptr& x) { if (this->base != x.base) { delete this->base; this->base = x.base; this->base->refc++; } return *this; } __device__ sptr& operator=(sptr&& x) { if (this->base != x.base) { delete this->base; this->base = x.base; x.base = nullptr; } return *this; } }; template <typename el> struct csptr : public sptr<el> { // Shared pointer for closures specifically. using sptr<el>::sptr; template <typename... Args> __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...)) { return this->base->operator()(args...); } }; template <typename el, default_int max_length> struct static_array { el ptr[max_length]; __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < max_length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct static_array_list { default_int length{ 0 }; el ptr[max_length]; __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_base { int refc{ 0 }; el* ptr; __device__ dynamic_array_base() : ptr(new el[max_length]) {} __device__ ~dynamic_array_base() { delete[] this->ptr; } __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct dynamic_array { sptr<dynamic_array_base<el, max_length>> ptr; __device__ dynamic_array() = default; __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {} __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } }; template <typename el, default_int max_length> struct dynamic_array_list_base { int refc{ 0 }; default_int length{ 0 }; el* ptr; __device__ dynamic_array_list_base() : ptr(new el[max_length]) {} __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); } __device__ ~dynamic_array_list_base() { delete[] this->ptr; } __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_list { sptr<dynamic_array_list_base<el, max_length>> ptr; __device__ dynamic_array_list() = default; __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {} __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } __device__ void push(el& x) { this->ptr.base->push(x); } __device__ void push(el&& x) { this->ptr.base->push(std::move(x)); } __device__ el pop() { return this->ptr.base->pop(); } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { this->ptr.base->unsafe_set_length(i); } __device__ default_int length_() { return this->ptr.base->length; } }; """ class static_array(): def __init__(self, length): self.ptr = [] for _ in range(length): self.ptr.append(None) def __getitem__(self, index): assert 0 <= index < len(self.ptr), "The get index needs to be in range." return self.ptr[index] def __setitem__(self, index, value): assert 0 <= index < len(self.ptr), "The set index needs to be in range." self.ptr[index] = value class static_array_list(static_array): def __init__(self, length): super().__init__(length) self.length = 0 def __getitem__(self, index): assert 0 <= index < self.length, "The get index needs to be in range." return self.ptr[index] def __setitem__(self, index, value): assert 0 <= index < self.length, "The set index needs to be in range." self.ptr[index] = value def push(self,value): assert (self.length < len(self.ptr)), "The length before pushing has to be less than the maximum length of the array." self.ptr[self.length] = value self.length += 1 def pop(self): assert (0 < self.length), "The length before popping has to be greater than 0." self.length -= 1 return self.ptr[self.length] def unsafe_set_length(self,i): assert 0 <= i <= len(self.ptr), "The new length has to be in range." self.length = i class dynamic_array(static_array): pass class dynamic_array_list(static_array_list): def length_(self): return self.length kernels_main = r""" """ from main_auto import * kernels = kernels_aux + kernels_main import cupy as cp import numpy as np from dataclasses import dataclass from typing import NamedTuple, Union, Callable, Tuple i8 = int; i16 = int; i32 = int; i64 = int; u8 = int; u16 = int; u32 = int; u64 = int; f32 = float; f64 = float; char = str; string = str cuda = False # fwd_dcls # types # functions # main_defs def main_body(): return 0.3325000000000001 def main(): r = main_body() if cuda: cp.cuda.get_current_stream().synchronize() # This line is here so the `__trap()` calls on the kernel aren't missed. return r if __name__ == '__main__': result = main(); None if result is None else print(result) ", [], 0) 00:00:59 v #1856 Supervisor.buildFile / ofSeqAsync / x: (Some "kernels_aux = r""" // The types of these two will be replaced during compilation by the Spiral code generator. // It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is. // The two statements need to begin at the start of a line. using default_int = int; using default_uint = unsigned int; #ifndef __NVRTC__ // NVRTC has these includes by default so they need to be left out if it is used as the compiler. #include <new> #include <assert.h> #include <stdio.h> #endif // For error checking on the host. #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } template <typename T> inline __device__ void destroy(T& obj) { obj.~T(); } inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) { if (error != cudaSuccess) { fprintf(stderr, "GPUassert: %s %s %d\n", cudaGetErrorString(error), file, line); if (abort) exit(error); } } template <typename el> struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work. { el* base; __device__ sptr() : base(nullptr) {} __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; } __device__ ~sptr() { if (this->base != nullptr && --this->base->refc == 0) { delete this->base; this->base = nullptr; } } __device__ sptr(sptr& x) { this->base = x.base; this->base->refc++; } __device__ sptr(sptr&& x) { this->base = x.base; x.base = nullptr; } __device__ sptr& operator=(sptr& x) { if (this->base != x.base) { delete this->base; this->base = x.base; this->base->refc++; } return *this; } __device__ sptr& operator=(sptr&& x) { if (this->base != x.base) { delete this->base; this->base = x.base; x.base = nullptr; } return *this; } }; template <typename el> struct csptr : public sptr<el> { // Shared pointer for closures specifically. using sptr<el>::sptr; template <typename... Args> __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...)) { return this->base->operator()(args...); } }; template <typename el, default_int max_length> struct static_array { el ptr[max_length]; __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < max_length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct static_array_list { default_int length{ 0 }; el ptr[max_length]; __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_base { int refc{ 0 }; el* ptr; __device__ dynamic_array_base() : ptr(new el[max_length]) {} __device__ ~dynamic_array_base() { delete[] this->ptr; } __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct dynamic_array { sptr<dynamic_array_base<el, max_length>> ptr; __device__ dynamic_array() = default; __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {} __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } }; template <typename el, default_int max_length> struct dynamic_array_list_base { int refc{ 0 }; default_int length{ 0 }; el* ptr; __device__ dynamic_array_list_base() : ptr(new el[max_length]) {} __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); } __device__ ~dynamic_array_list_base() { delete[] this->ptr; } __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_list { sptr<dynamic_array_list_base<el, max_length>> ptr; __device__ dynamic_array_list() = default; __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {} __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } __device__ void push(el& x) { this->ptr.base->push(x); } __device__ void push(el&& x) { this->ptr.base->push(std::move(x)); } __device__ el pop() { return this->ptr.base->pop(); } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { this->ptr.base->unsafe_set_length(i); } __device__ default_int length_() { return this->ptr.base->length; } }; """ class static_array(): def __init__(self, length): self.ptr = [] for _ in range(length): self.ptr.append(None) def __getitem__(self, index): assert 0 <= index < len(self.ptr), "The get index needs to be in range." return self.ptr[index] def __setitem__(self, index, value): assert 0 <= index < len(self.ptr), "The set index needs to be in range." self.ptr[index] = value class static_array_list(static_array): def __init__(self, length): super().__init__(length) self.length = 0 def __getitem__(self, index): assert 0 <= index < self.length, "The get index needs to be in range." return self.ptr[index] def __setitem__(self, index, value): assert 0 <= index < self.length, "The set index needs to be in range." self.ptr[index] = value def push(self,value): assert (self.length < len(self.ptr)), "The length before pushing has to be less than the maximum length of the array." self.ptr[self.length] = value self.length += 1 def pop(self): assert (0 < self.length), "The length before popping has to be greater than 0." self.length -= 1 return self.ptr[self.length] def unsafe_set_length(self,i): assert 0 <= i <= len(self.ptr), "The new length has to be in range." self.length = i class dynamic_array(static_array): pass class dynamic_array_list(static_array_list): def length_(self): return self.length kernels_main = r""" """ from main_auto import * kernels = kernels_aux + kernels_main import cupy as cp import numpy as np from dataclasses import dataclass from typing import NamedTuple, Union, Callable, Tuple i8 = int; i16 = int; i32 = int; i64 = int; u8 = int; u16 = int; u32 = int; u64 = int; f32 = float; f64 = float; char = str; string = str cuda = False # fwd_dcls # types # functions # main_defs def main_body(): return 0.3325000000000001 def main(): r = main_body() if cuda: cp.cuda.get_current_stream().synchronize() # This line is here so the `__trap()` calls on the kernel aren't missed. return r if __name__ == '__main__': result = main(); None if result is None else print(result) ", [], 0) 00:00:59 v #1857 Supervisor.buildFile / result: [] / buildFileResult: Some "kernels_aux = r""" // The types of these two will be replaced during compilation by the Spiral code generator. // It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is. // The two statements need to begin at the start of a line. using default_int = int; using default_uint = unsigned int; #ifndef __NVRTC__ // NVRTC has these includes by default so they need to be left out if it is used as the compiler. #include <new> #include <assert.h> #include <stdio.h> #endif // For error checking on the host. #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } template <typename T> inline __device__ void destroy(T& obj) { obj.~T(); } inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) { if (error != cudaSuccess) { fprintf(stderr, "GPUassert: %s %s %d\n", cudaGetErrorString(error), file, line); if (abort) exit(error); } } template <typename el> struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work. { el* base; __device__ sptr() : base(nullptr) {} __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; } __device__ ~sptr() { if (this->base != nullptr && --this->base->refc == 0) { delete this->base; this->base = nullptr; } } __device__ sptr(sptr& x) { this->base = x.base; this->base->refc++; } __device__ sptr(sptr&& x) { this->base = x.base; x.base = nullptr; } __device__ sptr& operator=(sptr& x) { if (this->base != x.base) { delete this->base; this->base = x.base; this->base->refc++; } return *this; } __device__ sptr& operator=(sptr&& x) { if (this->base != x.base) { delete this->base; this->base = x.base; x.base = nullptr; } return *this; } }; template <typename el> struct csptr : public sptr<el> { // Shared pointer for closures specifically. using sptr<el>::sptr; template <typename... Args> __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...)) { return this->base->operator()(args...); } }; template <typename el, default_int max_length> struct static_array { el ptr[max_length]; __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < max_length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct static_array_list { default_int length{ 0 }; el ptr[max_length]; __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_base { int refc{ 0 }; el* ptr; __device__ dynamic_array_base() : ptr(new el[max_length]) {} __device__ ~dynamic_array_base() { delete[] this->ptr; } __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct dynamic_array { sptr<dynamic_array_base<el, max_length>> ptr; __device__ dynamic_array() = default; __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {} __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } }; template <typename el, default_int max_length> struct dynamic_array_list_base { int refc{ 0 }; default_int length{ 0 }; el* ptr; __device__ dynamic_array_list_base() : ptr(new el[max_length]) {} __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); } __device__ ~dynamic_array_list_base() { delete[] this->ptr; } __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_list { sptr<dynamic_array_list_base<el, max_length>> ptr; __device__ dynamic_array_list() = default; __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {} __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } __device__ void push(el& x) { this->ptr.base->push(x); } __device__ void push(el&& x) { this->ptr.base->push(std::move(x)); } __device__ el pop() { return this->ptr.base->pop(); } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { this->ptr.base->unsafe_set_length(i); } __device__ default_int length_() { return this->ptr.base->length; } }; """ class static_array(): def __init__(self, length): self.ptr = [] for _ in range(length): self.ptr.append(None) def __getitem__(self, index): assert 0 <= index < len(self.ptr), "The get index needs to be in range." return self.ptr[index] def __setitem__(self, index, value): assert 0 <= index < len(self.ptr), "The set index needs to be in range." self.ptr[index] = value class static_array_list(static_array): def __init__(self, length): super().__init__(length) self.length = 0 def __getitem__(self, index): assert 0 <= index < self.length, "The get index needs to be in range." return self.ptr[index] def __setitem__(self, index, value): assert 0 <= index < self.length, "The set index needs to be in range." self.ptr[index] = value def push(self,value): assert (self.length < len(self.ptr)), "The length before pushing has to be less than the maximum length of the array." self.ptr[self.length] = value self.length += 1 def pop(self): assert (0 < self.length), "The length before popping has to be greater than 0." self.length -= 1 return self.ptr[self.length] def unsafe_set_length(self,i): assert 0 <= i <= len(self.ptr), "The new length has to be in range." self.length = i class dynamic_array(static_array): pass class dynamic_array_list(static_array_list): def length_(self): return self.length kernels_main = r""" """ from main_auto import * kernels = kernels_aux + kernels_main import cupy as cp import numpy as np from dataclasses import dataclass from typing import NamedTuple, Union, Callable, Tuple i8 = int; i16 = int; i32 = int; i64 = int; u8 = int; u16 = int; u32 = int; u64 = int; f32 = float; f64 = float; char = str; string = str cuda = False # fwd_dcls # types # functions # main_defs def main_body(): return 0.3325000000000001 def main(): r = main_body() if cuda: cp.cuda.get_current_stream().synchronize() # This line is here so the `__trap()` calls on the kernel aren't missed. return r if __name__ == '__main__': result = main(); None if result is None else print(result) " / typeErrorCount: 0 00:00:59 v #1858 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a4224c9f3d674d70fd56b6ecd3ae8c8ff3178a7124ae34f592336fef263568ea / targetDir: /home/runner/work/polyglot/polyglot/target Some (Some "kernels_aux = r""" // The types of these two will be replaced during compilation by the Spiral code generator. // It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is. // The two statements need to begin at the start of a line. using default_int = int; using default_uint = unsigned int; #ifndef __NVRTC__ // NVRTC has these includes by default so they need to be left out if it is used as the compiler. #include <new> #include <assert.h> #include <stdio.h> #endif // For error checking on the host. #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } template <typename T> inline __device__ void destroy(T& obj) { obj.~T(); } inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) { if (error != cudaSuccess) { fprintf(stderr, "GPUassert: %s %s %d\n", cudaGetErrorString(error), file, line); if (abort) exit(error); } } template <typename el> struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work. { el* base; __device__ sptr() : base(nullptr) {} __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; } __device__ ~sptr() { if (this->base != nullptr && --this->base->refc == 0) { delete this->base; this->base = nullptr; } } __device__ sptr(sptr& x) { this->base = x.base; this->base->refc++; } __device__ sptr(sptr&& x) { this->base = x.base; x.base = nullptr; } __device__ sptr& operator=(sptr& x) { if (this->base != x.base) { delete this->base; this->base = x.base; this->base->refc++; } return *this; } __device__ sptr& operator=(sptr&& x) { if (this->base != x.base) { delete this->base; this->base = x.base; x.base = nullptr; } return *this; } }; template <typename el> struct csptr : public sptr<el> { // Shared pointer for closures specifically. using sptr<el>::sptr; template <typename... Args> __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...)) { return this->base->operator()(args...); } }; template <typename el, default_int max_length> struct static_array { el ptr[max_length]; __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < max_length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct static_array_list { default_int length{ 0 }; el ptr[max_length]; __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_base { int refc{ 0 }; el* ptr; __device__ dynamic_array_base() : ptr(new el[max_length]) {} __device__ ~dynamic_array_base() { delete[] this->ptr; } __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct dynamic_array { sptr<dynamic_array_base<el, max_length>> ptr; __device__ dynamic_array() = default; __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {} __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } }; template <typename el, default_int max_length> struct dynamic_array_list_base { int refc{ 0 }; default_int length{ 0 }; el* ptr; __device__ dynamic_array_list_base() : ptr(new el[max_length]) {} __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); } __device__ ~dynamic_array_list_base() { delete[] this->ptr; } __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_list { sptr<dynamic_array_list_base<el, max_length>> ptr; __device__ dynamic_array_list() = default; __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {} __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } __device__ void push(el& x) { this->ptr.base->push(x); } __device__ void push(el&& x) { this->ptr.base->push(std::move(x)); } __device__ el pop() { return this->ptr.base->pop(); } // Should be used only during initialization. __device__ void unsafe_set_length(default_int i) { this->ptr.base->unsafe_set_length(i); } __device__ default_int length_() { return this->ptr.base->length; } }; """ class static_array(): def __init__(self, length): self.ptr = [] for _ in range(length): self.ptr.append(None) def __getitem__(self, index): assert 0 <= index < len(self.ptr), "The get index needs to be in range." return self.ptr[index] def __setitem__(self, index, value): assert 0 <= index < len(self.ptr), "The set index needs to be in range." self.ptr[index] = value class static_array_list(static_array): def __init__(self, length): super().__init__(length) self.length = 0 def __getitem__(self, index): assert 0 <= index < self.length, "The get index needs to be in range." return self.ptr[index] def __setitem__(self, index, value): assert 0 <= index < self.length, "The set index needs to be in range." self.ptr[index] = value def push(self,value): assert (self.length < len(self.ptr)), "The length before pushing has to be less than the maximum length of the array." self.ptr[self.length] = value self.length += 1 def pop(self): assert (0 < self.length), "The length before popping has to be greater than 0." self.length -= 1 return self.ptr[self.length] def unsafe_set_length(self,i): assert 0 <= i <= len(self.ptr), "The new length has to be in range." self.length = i class dynamic_array(static_array): pass class dynamic_array_list(static_array_list): def length_(self): return self.length kernels_main = r""" """ from main_auto import * kernels = kernels_aux + kernels_main import cupy as cp import numpy as np from dataclasses import dataclass from typing import NamedTuple, Union, Callable, Tuple i8 = int; i16 = int; i32 = int; i64 = int; u8 = int; u16 = int; u32 = int; u64 = int; f32 = float; f64 = float; char = str; string = str cuda = False # fwd_dcls # types # functions # main_defs def main_body(): return 0.3325000000000001 def main(): r = main_body() if cuda: cp.cuda.get_current_stream().synchronize() # This line is here so the `__trap()` calls on the kernel aren't missed. return r if __name__ == '__main__': result = main(); None if result is None else print(result) ", [])
In [ ]:
//// test
"""
inl init_series start end inc =
inl total : f64 = conv ((end - start) / inc) + 1
listm.init total (conv >> (*) inc >> (+) start) : list f64
type integration = (f64 -> f64) -> f64 -> f64 -> f64
inl integral dt : integration =
fun f a b =>
init_series (a + dt / 2) (b - dt / 2) dt
|> listm.map (f >> (*) dt)
|> listm.fold (+) 0
inl main () =
integral 0.1 (fun x => x ** 2) 0 1 |> convert : i32
"""
|> fun code -> Spi (code, None)
|> buildCode Cpp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
Some @"// The types of these two will be replaced during compilation by the Spiral code generator.
// It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is.
// The two statements need to begin at the start of a line.
using default_int = int;
using default_uint = unsigned int;
#ifndef __NVRTC__
// NVRTC has these includes by default so they need to be left out if it is used as the compiler.
#include <new>
#include <assert.h>
#include <stdio.h>
#endif
// For error checking on the host.
#define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); }
template <typename T> inline __host__ __device__ void destroy(T& obj) { obj.~T(); }
inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) {
if (error != cudaSuccess) {
fprintf(stderr, ""GPUassert: %s %s %d\n"", cudaGetErrorString(error), file, line);
if (abort) exit(error);
}
}
template <typename el>
struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work.
{
el* base;
__host__ __device__ sptr() : base(nullptr) {}
__host__ __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; }
__host__ __device__ ~sptr()
{
if (this->base != nullptr && --this->base->refc == 0)
{
delete this->base;
this->base = nullptr;
}
}
__host__ __device__ sptr(sptr& x)
{
this->base = x.base;
this->base->refc++;
}
__host__ __device__ sptr(sptr&& x)
{
this->base = x.base;
x.base = nullptr;
}
__host__ __device__ sptr& operator=(sptr& x)
{
if (this->base != x.base)
{
delete this->base;
this->base = x.base;
this->base->refc++;
}
return *this;
}
__host__ __device__ sptr& operator=(sptr&& x)
{
if (this->base != x.base)
{
delete this->base;
this->base = x.base;
x.base = nullptr;
}
return *this;
}
};
template <typename el>
struct csptr : public sptr<el>
{ // Shared pointer for closures specifically.
using sptr<el>::sptr;
template <typename... Args>
__host__ __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...))
{
return this->base->operator()(args...);
}
};
template <typename el, default_int max_length>
struct static_array
{
el ptr[max_length];
__host__ __device__ el& operator[](default_int i) {
assert(""The index has to be in range."" && 0 <= i && i < max_length);
return this->ptr[i];
}
};
template <typename el, default_int max_length>
struct static_array_list
{
default_int length{ 0 };
el ptr[max_length];
__host__ __device__ el& operator[](default_int i) {
assert(""The index has to be in range."" && 0 <= i && i < this->length);
return this->ptr[i];
}
__host__ __device__ void push(el& x) {
ptr[this->length++] = x;
assert(""The array after pushing should not be greater than max length."" && this->length <= max_length);
}
__host__ __device__ void push(el&& x) {
ptr[this->length++] = std::move(x);
assert(""The array after pushing should not be greater than max length."" && this->length <= max_length);
}
__host__ __device__ el pop() {
assert(""The array before popping should be greater than 0."" && 0 < this->length);
auto x = ptr[--this->length];
ptr[this->length].~el();
new (&ptr[this->length]) el();
return x;
}
// Should be used only during initialization.
__host__ __device__ void unsafe_set_length(default_int i) {
assert(""The new length should be in range."" && 0 <= i && i <= max_length);
this->length = i;
}
};
template <typename el, default_int max_length>
struct dynamic_array_base
{
int refc{ 0 };
el* ptr;
__host__ __device__ dynamic_array_base() : ptr(new el[max_length]) {}
__host__ __device__ ~dynamic_array_base() { delete[] this->ptr; }
__host__ __device__ el& operator[](default_int i) {
assert(""The index has to be in range."" && 0 <= i && i < this->length);
return this->ptr[i];
}
};
template <typename el, default_int max_length>
struct dynamic_array
{
sptr<dynamic_array_base<el, max_length>> ptr;
__host__ __device__ dynamic_array() = default;
__host__ __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {}
__host__ __device__ el& operator[](default_int i) {
return this->ptr.base->operator[](i);
}
};
template <typename el, default_int max_length>
struct dynamic_array_list_base
{
int refc{ 0 };
default_int length{ 0 };
el* ptr;
__host__ __device__ dynamic_array_list_base() : ptr(new el[max_length]) {}
__host__ __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); }
__host__ __device__ ~dynamic_array_list_base() { delete[] this->ptr; }
__host__ __device__ el& operator[](default_int i) {
assert(""The index has to be in range."" && 0 <= i && i < this->length);
return this->ptr[i];
}
__host__ __device__ void push(el& x) {
ptr[this->length++] = x;
assert(""The array after pushing should not be greater than max length."" && this->length <= max_length);
}
__host__ __device__ void push(el&& x) {
ptr[this->length++] = std::move(x);
assert(""The array after pushing should not be greater than max length."" && this->length <= max_length);
}
__host__ __device__ el pop() {
assert(""The array before popping should be greater than 0."" && 0 < this->length);
auto x = ptr[--this->length];
ptr[this->length].~el();
new (&ptr[this->length]) el();
return x;
}
// Should be used only during initialization.
__host__ __device__ void unsafe_set_length(default_int i) {
assert(""The new length should be in range."" && 0 <= i && i <= max_length);
this->length = i;
}
};
template <typename el, default_int max_length>
struct dynamic_array_list
{
sptr<dynamic_array_list_base<el, max_length>> ptr;
__host__ __device__ dynamic_array_list() = default;
__host__ __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {}
__host__ __device__ el& operator[](default_int i) {
return this->ptr.base->operator[](i);
}
__host__ __device__ void push(el& x) {
this->ptr.base->push(x);
}
__host__ __device__ void push(el&& x) {
this->ptr.base->push(std::move(x));
}
__host__ __device__ el pop() {
return this->ptr.base->pop();
}
// Should be used only during initialization.
__host__ __device__ void unsafe_set_length(default_int i) {
this->ptr.base->unsafe_set_length(i);
}
__host__ __device__ default_int length_() {
return this->ptr.base->length;
}
};
#include ""main.auto.cu""
namespace Device {
}
int main_body() {
int v3;
v3 = ;
return v3;
}
int main(){
auto r = main_body();
gpuErrchk(cudaDeviceSynchronize()); // This line is here so the `__trap()` calls on the kernel aren't missed.
return r;
}
",
[]
)
)
00:00:59 v #1876 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a702c5b29a050eccfe7c911beeea63f353f61e71985bbebdb653ac32f3395c52/main.spi 00:00:59 v #1877 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a702c5b29a050eccfe7c911beeea63f353f61e71985bbebdb653ac32f3395c52/main.spi' 00:00:59 v #1878 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a702c5b29a050eccfe7c911beeea63f353f61e71985bbebdb653ac32f3395c52/main.spi 00:00:59 v #1879 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a702c5b29a050eccfe7c911beeea63f353f61e71985bbebdb653ac32f3395c52/main.spi" 00:00:59 v #1880 Supervisor.buildFile / _fileOpenResult: <null> 00:00:59 v #1881 Supervisor.buildFile / before result: () 00:00:59 v #2121 Supervisor.buildFile / buildFileResult: Some "// The types of these two will be replaced during compilation by the Spiral code generator. // It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is. // The two statements need to begin at the start of a line. using default_int = int; using default_uint = unsigned int; #ifndef __NVRTC__ // NVRTC has these includes by default so they need to be left out if it is used as the compiler. #include <new> #include <assert.h> #include <stdio.h> #endif // For error checking on the host. #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } template <typename T> inline __host__ __device__ void destroy(T& obj) { obj.~T(); } inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) { if (error != cudaSuccess) { fprintf(stderr, "GPUassert: %s %s %d\n", cudaGetErrorString(error), file, line); if (abort) exit(error); } } template <typename el> struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work. { el* base; __host__ __device__ sptr() : base(nullptr) {} __host__ __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; } __host__ __device__ ~sptr() { if (this->base != nullptr && --this->base->refc == 0) { delete this->base; this->base = nullptr; } } __host__ __device__ sptr(sptr& x) { this->base = x.base; this->base->refc++; } __host__ __device__ sptr(sptr&& x) { this->base = x.base; x.base = nullptr; } __host__ __device__ sptr& operator=(sptr& x) { if (this->base != x.base) { delete this->base; this->base = x.base; this->base->refc++; } return *this; } __host__ __device__ sptr& operator=(sptr&& x) { if (this->base != x.base) { delete this->base; this->base = x.base; x.base = nullptr; } return *this; } }; template <typename el> struct csptr : public sptr<el> { // Shared pointer for closures specifically. using sptr<el>::sptr; template <typename... Args> __host__ __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...)) { return this->base->operator()(args...); } }; template <typename el, default_int max_length> struct static_array { el ptr[max_length]; __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < max_length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct static_array_list { default_int length{ 0 }; el ptr[max_length]; __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __host__ __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_base { int refc{ 0 }; el* ptr; __host__ __device__ dynamic_array_base() : ptr(new el[max_length]) {} __host__ __device__ ~dynamic_array_base() { delete[] this->ptr; } __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct dynamic_array { sptr<dynamic_array_base<el, max_length>> ptr; __host__ __device__ dynamic_array() = default; __host__ __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {} __host__ __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } }; template <typename el, default_int max_length> struct dynamic_array_list_base { int refc{ 0 }; default_int length{ 0 }; el* ptr; __host__ __device__ dynamic_array_list_base() : ptr(new el[max_length]) {} __host__ __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); } __host__ __device__ ~dynamic_array_list_base() { delete[] this->ptr; } __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __host__ __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_list { sptr<dynamic_array_list_base<el, max_length>> ptr; __host__ __device__ dynamic_array_list() = default; __host__ __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {} __host__ __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } __host__ __device__ void push(el& x) { this->ptr.base->push(x); } __host__ __device__ void push(el&& x) { this->ptr.base->push(std::move(x)); } __host__ __device__ el pop() { return this->ptr.base->pop(); } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { this->ptr.base->unsafe_set_length(i); } __host__ __device__ default_int length_() { return this->ptr.base->length; } }; #include "main.auto.cu" namespace Device { } int main_body() { int v3; v3 = ; return v3; } int main(){ auto r = main_body(); gpuErrchk(cudaDeviceSynchronize()); // This line is here so the `__trap()` calls on the kernel aren't missed. return r; } " 00:00:59 v #2122 Supervisor.buildFile / outputContentSeq2 unfoldAsync / msg: (Some "// The types of these two will be replaced during compilation by the Spiral code generator. // It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is. // The two statements need to begin at the start of a line. using default_int = int; using default_uint = unsigned int; #ifndef __NVRTC__ // NVRTC has these includes by default so they need to be left out if it is used as the compiler. #include <new> #include <assert.h> #include <stdio.h> #endif // For error checking on the host. #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } template <typename T> inline __host__ __device__ void destroy(T& obj) { obj.~T(); } inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) { if (error != cudaSuccess) { fprintf(stderr, "GPUassert: %s %s %d\n", cudaGetErrorString(error), file, line); if (abort) exit(error); } } template <typename el> struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work. { el* base; __host__ __device__ sptr() : base(nullptr) {} __host__ __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; } __host__ __device__ ~sptr() { if (this->base != nullptr && --this->base->refc == 0) { delete this->base; this->base = nullptr; } } __host__ __device__ sptr(sptr& x) { this->base = x.base; this->base->refc++; } __host__ __device__ sptr(sptr&& x) { this->base = x.base; x.base = nullptr; } __host__ __device__ sptr& operator=(sptr& x) { if (this->base != x.base) { delete this->base; this->base = x.base; this->base->refc++; } return *this; } __host__ __device__ sptr& operator=(sptr&& x) { if (this->base != x.base) { delete this->base; this->base = x.base; x.base = nullptr; } return *this; } }; template <typename el> struct csptr : public sptr<el> { // Shared pointer for closures specifically. using sptr<el>::sptr; template <typename... Args> __host__ __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...)) { return this->base->operator()(args...); } }; template <typename el, default_int max_length> struct static_array { el ptr[max_length]; __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < max_length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct static_array_list { default_int length{ 0 }; el ptr[max_length]; __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __host__ __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_base { int refc{ 0 }; el* ptr; __host__ __device__ dynamic_array_base() : ptr(new el[max_length]) {} __host__ __device__ ~dynamic_array_base() { delete[] this->ptr; } __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct dynamic_array { sptr<dynamic_array_base<el, max_length>> ptr; __host__ __device__ dynamic_array() = default; __host__ __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {} __host__ __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } }; template <typename el, default_int max_length> struct dynamic_array_list_base { int refc{ 0 }; default_int length{ 0 }; el* ptr; __host__ __device__ dynamic_array_list_base() : ptr(new el[max_length]) {} __host__ __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); } __host__ __device__ ~dynamic_array_list_base() { delete[] this->ptr; } __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __host__ __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_list { sptr<dynamic_array_list_base<el, max_length>> ptr; __host__ __device__ dynamic_array_list() = default; __host__ __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {} __host__ __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } __host__ __device__ void push(el& x) { this->ptr.base->push(x); } __host__ __device__ void push(el&& x) { this->ptr.base->push(std::move(x)); } __host__ __device__ el pop() { return this->ptr.base->pop(); } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { this->ptr.base->unsafe_set_length(i); } __host__ __device__ default_int length_() { return this->ptr.base->length; } }; #include "main.auto.cu" namespace Device { } int main_body() { int v3; v3 = ; return v3; } int main(){ auto r = main_body(); gpuErrchk(cudaDeviceSynchronize()); // This line is here so the `__trap()` calls on the kernel aren't missed. return r; } ", [], 0) 00:00:59 v #2123 Supervisor.buildFile / ofSeqAsync / x: (Some "// The types of these two will be replaced during compilation by the Spiral code generator. // It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is. // The two statements need to begin at the start of a line. using default_int = int; using default_uint = unsigned int; #ifndef __NVRTC__ // NVRTC has these includes by default so they need to be left out if it is used as the compiler. #include <new> #include <assert.h> #include <stdio.h> #endif // For error checking on the host. #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } template <typename T> inline __host__ __device__ void destroy(T& obj) { obj.~T(); } inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) { if (error != cudaSuccess) { fprintf(stderr, "GPUassert: %s %s %d\n", cudaGetErrorString(error), file, line); if (abort) exit(error); } } template <typename el> struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work. { el* base; __host__ __device__ sptr() : base(nullptr) {} __host__ __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; } __host__ __device__ ~sptr() { if (this->base != nullptr && --this->base->refc == 0) { delete this->base; this->base = nullptr; } } __host__ __device__ sptr(sptr& x) { this->base = x.base; this->base->refc++; } __host__ __device__ sptr(sptr&& x) { this->base = x.base; x.base = nullptr; } __host__ __device__ sptr& operator=(sptr& x) { if (this->base != x.base) { delete this->base; this->base = x.base; this->base->refc++; } return *this; } __host__ __device__ sptr& operator=(sptr&& x) { if (this->base != x.base) { delete this->base; this->base = x.base; x.base = nullptr; } return *this; } }; template <typename el> struct csptr : public sptr<el> { // Shared pointer for closures specifically. using sptr<el>::sptr; template <typename... Args> __host__ __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...)) { return this->base->operator()(args...); } }; template <typename el, default_int max_length> struct static_array { el ptr[max_length]; __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < max_length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct static_array_list { default_int length{ 0 }; el ptr[max_length]; __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __host__ __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_base { int refc{ 0 }; el* ptr; __host__ __device__ dynamic_array_base() : ptr(new el[max_length]) {} __host__ __device__ ~dynamic_array_base() { delete[] this->ptr; } __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct dynamic_array { sptr<dynamic_array_base<el, max_length>> ptr; __host__ __device__ dynamic_array() = default; __host__ __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {} __host__ __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } }; template <typename el, default_int max_length> struct dynamic_array_list_base { int refc{ 0 }; default_int length{ 0 }; el* ptr; __host__ __device__ dynamic_array_list_base() : ptr(new el[max_length]) {} __host__ __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); } __host__ __device__ ~dynamic_array_list_base() { delete[] this->ptr; } __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __host__ __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_list { sptr<dynamic_array_list_base<el, max_length>> ptr; __host__ __device__ dynamic_array_list() = default; __host__ __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {} __host__ __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } __host__ __device__ void push(el& x) { this->ptr.base->push(x); } __host__ __device__ void push(el&& x) { this->ptr.base->push(std::move(x)); } __host__ __device__ el pop() { return this->ptr.base->pop(); } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { this->ptr.base->unsafe_set_length(i); } __host__ __device__ default_int length_() { return this->ptr.base->length; } }; #include "main.auto.cu" namespace Device { } int main_body() { int v3; v3 = ; return v3; } int main(){ auto r = main_body(); gpuErrchk(cudaDeviceSynchronize()); // This line is here so the `__trap()` calls on the kernel aren't missed. return r; } ", [], 0) 00:00:59 v #2124 Supervisor.buildFile / result: [] / buildFileResult: Some "// The types of these two will be replaced during compilation by the Spiral code generator. // It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is. // The two statements need to begin at the start of a line. using default_int = int; using default_uint = unsigned int; #ifndef __NVRTC__ // NVRTC has these includes by default so they need to be left out if it is used as the compiler. #include <new> #include <assert.h> #include <stdio.h> #endif // For error checking on the host. #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } template <typename T> inline __host__ __device__ void destroy(T& obj) { obj.~T(); } inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) { if (error != cudaSuccess) { fprintf(stderr, "GPUassert: %s %s %d\n", cudaGetErrorString(error), file, line); if (abort) exit(error); } } template <typename el> struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work. { el* base; __host__ __device__ sptr() : base(nullptr) {} __host__ __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; } __host__ __device__ ~sptr() { if (this->base != nullptr && --this->base->refc == 0) { delete this->base; this->base = nullptr; } } __host__ __device__ sptr(sptr& x) { this->base = x.base; this->base->refc++; } __host__ __device__ sptr(sptr&& x) { this->base = x.base; x.base = nullptr; } __host__ __device__ sptr& operator=(sptr& x) { if (this->base != x.base) { delete this->base; this->base = x.base; this->base->refc++; } return *this; } __host__ __device__ sptr& operator=(sptr&& x) { if (this->base != x.base) { delete this->base; this->base = x.base; x.base = nullptr; } return *this; } }; template <typename el> struct csptr : public sptr<el> { // Shared pointer for closures specifically. using sptr<el>::sptr; template <typename... Args> __host__ __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...)) { return this->base->operator()(args...); } }; template <typename el, default_int max_length> struct static_array { el ptr[max_length]; __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < max_length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct static_array_list { default_int length{ 0 }; el ptr[max_length]; __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __host__ __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_base { int refc{ 0 }; el* ptr; __host__ __device__ dynamic_array_base() : ptr(new el[max_length]) {} __host__ __device__ ~dynamic_array_base() { delete[] this->ptr; } __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct dynamic_array { sptr<dynamic_array_base<el, max_length>> ptr; __host__ __device__ dynamic_array() = default; __host__ __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {} __host__ __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } }; template <typename el, default_int max_length> struct dynamic_array_list_base { int refc{ 0 }; default_int length{ 0 }; el* ptr; __host__ __device__ dynamic_array_list_base() : ptr(new el[max_length]) {} __host__ __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); } __host__ __device__ ~dynamic_array_list_base() { delete[] this->ptr; } __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __host__ __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_list { sptr<dynamic_array_list_base<el, max_length>> ptr; __host__ __device__ dynamic_array_list() = default; __host__ __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {} __host__ __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } __host__ __device__ void push(el& x) { this->ptr.base->push(x); } __host__ __device__ void push(el&& x) { this->ptr.base->push(std::move(x)); } __host__ __device__ el pop() { return this->ptr.base->pop(); } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { this->ptr.base->unsafe_set_length(i); } __host__ __device__ default_int length_() { return this->ptr.base->length; } }; #include "main.auto.cu" namespace Device { } int main_body() { int v3; v3 = ; return v3; } int main(){ auto r = main_body(); gpuErrchk(cudaDeviceSynchronize()); // This line is here so the `__trap()` calls on the kernel aren't missed. return r; } " / typeErrorCount: 0 00:00:59 v #2125 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a702c5b29a050eccfe7c911beeea63f353f61e71985bbebdb653ac32f3395c52 / targetDir: /home/runner/work/polyglot/polyglot/target Some (Some "// The types of these two will be replaced during compilation by the Spiral code generator. // It matches on `using default_int = ` and `;` with the inner part being replaced so the form should be kept as is. // The two statements need to begin at the start of a line. using default_int = int; using default_uint = unsigned int; #ifndef __NVRTC__ // NVRTC has these includes by default so they need to be left out if it is used as the compiler. #include <new> #include <assert.h> #include <stdio.h> #endif // For error checking on the host. #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } template <typename T> inline __host__ __device__ void destroy(T& obj) { obj.~T(); } inline void gpuAssert(cudaError error, const char *file, int line, bool abort=true) { if (error != cudaSuccess) { fprintf(stderr, "GPUassert: %s %s %d\n", cudaGetErrorString(error), file, line); if (abort) exit(error); } } template <typename el> struct sptr // Shared pointer for the Spiral datatypes. They have to have the refc field inside them to work. { el* base; __host__ __device__ sptr() : base(nullptr) {} __host__ __device__ sptr(el* ptr) : base(ptr) { this->base->refc++; } __host__ __device__ ~sptr() { if (this->base != nullptr && --this->base->refc == 0) { delete this->base; this->base = nullptr; } } __host__ __device__ sptr(sptr& x) { this->base = x.base; this->base->refc++; } __host__ __device__ sptr(sptr&& x) { this->base = x.base; x.base = nullptr; } __host__ __device__ sptr& operator=(sptr& x) { if (this->base != x.base) { delete this->base; this->base = x.base; this->base->refc++; } return *this; } __host__ __device__ sptr& operator=(sptr&& x) { if (this->base != x.base) { delete this->base; this->base = x.base; x.base = nullptr; } return *this; } }; template <typename el> struct csptr : public sptr<el> { // Shared pointer for closures specifically. using sptr<el>::sptr; template <typename... Args> __host__ __device__ auto operator()(Args... args) -> decltype(this->base->operator()(args...)) { return this->base->operator()(args...); } }; template <typename el, default_int max_length> struct static_array { el ptr[max_length]; __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < max_length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct static_array_list { default_int length{ 0 }; el ptr[max_length]; __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __host__ __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_base { int refc{ 0 }; el* ptr; __host__ __device__ dynamic_array_base() : ptr(new el[max_length]) {} __host__ __device__ ~dynamic_array_base() { delete[] this->ptr; } __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } }; template <typename el, default_int max_length> struct dynamic_array { sptr<dynamic_array_base<el, max_length>> ptr; __host__ __device__ dynamic_array() = default; __host__ __device__ dynamic_array(bool t) : ptr(new dynamic_array_base<el, max_length>()) {} __host__ __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } }; template <typename el, default_int max_length> struct dynamic_array_list_base { int refc{ 0 }; default_int length{ 0 }; el* ptr; __host__ __device__ dynamic_array_list_base() : ptr(new el[max_length]) {} __host__ __device__ dynamic_array_list_base(default_int l) : ptr(new el[max_length]) { this->unsafe_set_length(l); } __host__ __device__ ~dynamic_array_list_base() { delete[] this->ptr; } __host__ __device__ el& operator[](default_int i) { assert("The index has to be in range." && 0 <= i && i < this->length); return this->ptr[i]; } __host__ __device__ void push(el& x) { ptr[this->length++] = x; assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ void push(el&& x) { ptr[this->length++] = std::move(x); assert("The array after pushing should not be greater than max length." && this->length <= max_length); } __host__ __device__ el pop() { assert("The array before popping should be greater than 0." && 0 < this->length); auto x = ptr[--this->length]; ptr[this->length].~el(); new (&ptr[this->length]) el(); return x; } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { assert("The new length should be in range." && 0 <= i && i <= max_length); this->length = i; } }; template <typename el, default_int max_length> struct dynamic_array_list { sptr<dynamic_array_list_base<el, max_length>> ptr; __host__ __device__ dynamic_array_list() = default; __host__ __device__ dynamic_array_list(default_int l) : ptr(new dynamic_array_list_base<el, max_length>(l)) {} __host__ __device__ el& operator[](default_int i) { return this->ptr.base->operator[](i); } __host__ __device__ void push(el& x) { this->ptr.base->push(x); } __host__ __device__ void push(el&& x) { this->ptr.base->push(std::move(x)); } __host__ __device__ el pop() { return this->ptr.base->pop(); } // Should be used only during initialization. __host__ __device__ void unsafe_set_length(default_int i) { this->ptr.base->unsafe_set_length(i); } __host__ __device__ default_int length_() { return this->ptr.base->length; } }; #include "main.auto.cu" namespace Device { } int main_body() { int v3; v3 = ; return v3; } int main(){ auto r = main_body(); gpuErrchk(cudaDeviceSynchronize()); // This line is here so the `__trap()` calls on the kernel aren't missed. return r; } ", [])
In [ ]:
//// test
"""
inl init_series start end inc =
inl total : f64 = conv ((end - start) / inc) + 1
listm.init total (conv >> (*) inc >> (+) start) : list f64
type integration = (f64 -> f64) -> f64 -> f64 -> f64
inl integral dt : integration =
fun f a b =>
init_series (a + dt / 2) (b - dt / 2) dt
|> listm.map (f >> (*) dt)
|> listm.fold (+) 0
inl main () =
integral 0.1 (fun x => x ** 2) 0 1
"""
|> fun code -> Spi (code, None)
|> buildCode Gleam [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
Some "pub fn main () { 0.3325000000000001\n }",
[]
)
)
00:00:59 v #2145 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/9fee147a19a3a90ab5113d3c8fb7b0b2072de018aa3d73cd2d4eb0e7e7a32620/src/main.spi 00:00:59 v #2146 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/9fee147a19a3a90ab5113d3c8fb7b0b2072de018aa3d73cd2d4eb0e7e7a32620/src/main.spi' 00:00:59 v #2147 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/9fee147a19a3a90ab5113d3c8fb7b0b2072de018aa3d73cd2d4eb0e7e7a32620/src/main.spi 00:00:59 v #2148 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/9fee147a19a3a90ab5113d3c8fb7b0b2072de018aa3d73cd2d4eb0e7e7a32620/src/main.spi" 00:00:59 v #2149 Supervisor.buildFile / _fileOpenResult: <null> 00:00:59 v #2150 Supervisor.buildFile / before result: () 00:00:59 v #2388 Supervisor.buildFile / buildFileResult: Some "pub fn main () { 0.3325000000000001 }" 00:00:59 v #2389 Supervisor.buildFile / outputContentSeq2 unfoldAsync / msg: (Some "pub fn main () { 0.3325000000000001 }", [], 0) 00:00:59 v #2390 Supervisor.buildFile / ofSeqAsync / x: (Some "pub fn main () { 0.3325000000000001 }", [], 0) 00:00:59 v #2391 Supervisor.buildFile / result: [] / buildFileResult: Some "pub fn main () { 0.3325000000000001 }" / typeErrorCount: 0 00:00:59 v #2392 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/9fee147a19a3a90ab5113d3c8fb7b0b2072de018aa3d73cd2d4eb0e7e7a32620/src / targetDir: /home/runner/work/polyglot/polyglot/target Some (Some "pub fn main () { 0.3325000000000001 }", [])
In [ ]:
//// test
SpiralTrace.TraceLevel.US0_0 |> set_trace_level
"""
inl init_series start end inc =
inl total : f64 = conv ((end - start) / inc) + 1
listm.init total (conv >> (*) inc >> (+) start) : list f64
type integration = (f64 -> f64) -> f64 -> f64 -> f64
inl integral dt : integration =
fun f a b =>
init_series (a + dt / 2) (b - dt / 2) dt
|> listm.map (f >> (*) dt)
|> listm.fold (+) 0
inl main () =
integral 0.01 (fun x => x ** 2) 0 1
"""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
Some "0.33332500000000004\n",
[]
)
)
// |> _assertEqual None
// |> fun x -> printfn $"{x.ToDisplayString ()}"
00:01:00 v #2415 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/2acc44d97e6b50ce3caf39a0b93135633484d22c3ef6e7797ce64875a41451f4/main.spi 00:01:00 v #2416 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/2acc44d97e6b50ce3caf39a0b93135633484d22c3ef6e7797ce64875a41451f4/main.spi' 00:01:00 v #2417 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/2acc44d97e6b50ce3caf39a0b93135633484d22c3ef6e7797ce64875a41451f4/main.spi 00:01:00 v #2418 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/2acc44d97e6b50ce3caf39a0b93135633484d22c3ef6e7797ce64875a41451f4/main.spi" 00:01:00 v #2419 Supervisor.buildFile / _fileOpenResult: <null> 00:01:00 v #2420 Supervisor.buildFile / before result: () 00:01:00 v #2658 Supervisor.buildFile / buildFileResult: Some "0.33332500000000004 " 00:01:00 v #2659 Supervisor.buildFile / outputContentSeq2 unfoldAsync / msg: (Some "0.33332500000000004 ", [], 0) 00:01:00 v #2660 Supervisor.buildFile / ofSeqAsync / x: (Some "0.33332500000000004 ", [], 0) 00:01:00 v #2661 Supervisor.buildFile / result: [] / buildFileResult: Some "0.33332500000000004 " / typeErrorCount: 0 00:01:00 v #2662 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/2acc44d97e6b50ce3caf39a0b93135633484d22c3ef6e7797ce64875a41451f4 / targetDir: /home/runner/work/polyglot/polyglot/target Some (Some "0.33332500000000004 ", [])
In [ ]:
//// test
SpiralTrace.TraceLevel.US0_0 |> set_trace_level
""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
None,
[ "Cannot find `main` in file main." ]
)
)
00:01:00 v #2686 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a65342ccc7da0da967b18d8e705d0260e9a932e5e68c0feb33db55c4d28170aa/main.spi 00:01:00 v #2687 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a65342ccc7da0da967b18d8e705d0260e9a932e5e68c0feb33db55c4d28170aa/main.spi' 00:01:00 v #2688 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a65342ccc7da0da967b18d8e705d0260e9a932e5e68c0feb33db55c4d28170aa/main.spi 00:01:00 v #2689 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a65342ccc7da0da967b18d8e705d0260e9a932e5e68c0feb33db55c4d28170aa/main.spi" 00:01:00 v #2690 Supervisor.buildFile / _fileOpenResult: <null> 00:01:00 v #2691 Supervisor.buildFile / before result: () 00:01:00 v #2932 Supervisor.buildFile / buildFileResult: None 00:01:00 v #2933 Supervisor.buildFile / ofSeqAsync / x: (None, [], 0) 00:01:00 v #2946 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: Some((Cannot find `main` in file main., FatalError "Cannot find `main` in file main.")) / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a65342ccc7da0da967b18d8e705d0260e9a932e5e68c0feb33db55c4d28170aa/main.spi' 00:01:00 v #2947 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [ [ "Cannot find `main` in file main.", { "FatalError": "Cannot find `main` in file main." } ] ] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a65342ccc7da0da967b18d8e705d0260e9a932e5e68c0feb33db55c4d28170aa/main.spi 00:01:00 v #2953 Supervisor.buildFile / outputChild / x: Some (Ok (Some (None, [("Cannot find `main` in file main.", FatalError "Cannot find `main` in file main.")], 0))) 00:01:00 v #2955 Supervisor.buildFile / ofSeqAsync / x: (None, [("Cannot find `main` in file main.", FatalError "Cannot find `main` in file main.")], 0) 00:01:00 v #2956 Supervisor.buildFile / result: [("Cannot find `main` in file main.", FatalError "Cannot find `main` in file main.")] / buildFileResult: None / typeErrorCount: 0 00:01:00 v #2957 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/a65342ccc7da0da967b18d8e705d0260e9a932e5e68c0feb33db55c4d28170aa / targetDir: /home/runner/work/polyglot/polyglot/target Some (None, ["Cannot find `main` in file main."])
In [ ]:
//// test
SpiralTrace.TraceLevel.US0_0 |> set_trace_level
"""inl main () =
1i32 / 0i32
"""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
None,
[ "An attempt to divide by zero has been detected at compile time." ]
)
)
00:01:00 v #2975 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi 00:01:00 v #2976 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi' 00:01:00 v #2977 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi 00:01:00 v #2978 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi" 00:01:00 v #2979 Supervisor.buildFile / _fileOpenResult: <null> 00:01:00 v #2980 Supervisor.buildFile / before result: () 00:01:00 v #3217 Supervisor.buildFile / buildFileResult: None 00:01:00 v #3218 Supervisor.buildFile / ofSeqAsync / x: (None, [], 0) 00:01:00 v #3219 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: Some((An attempt to divide by zero has been detected at compile time., TracedError { message = "An attempt to divide by zero has been detected at compile time." trace = ["Error trace on line: 1, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi. inl main () = ^ "; "Error trace on line: 2, column: 5 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi. 1i32 / 0i32 ^ "] })) / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi' 00:01:00 v #3220 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [ [ "An attempt to divide by zero has been detected at compile time.", { "TracedError": { "message": "An attempt to divide by zero has been detected at compile time.", "trace": [ "Error trace on line: 1, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi. inl main () = ^ ", "Error trace on line: 2, column: 5 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi. 1i32 / 0i32 ^ " ] } } ] ] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi 00:01:00 v #3222 Supervisor.buildFile / outputChild / x: Some (Ok (Some (None, [("An attempt to divide by zero has been detected at compile time.", TracedError { message = "An attempt to divide by zero has been detected at compile time." trace = ["Error trace on line: 1, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi. inl main () = ^ "; "Error trace on line: 2, column: 5 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi. 1i32 / 0i32 ^ "] })], 0))) 00:01:00 v #3223 Supervisor.buildFile / ofSeqAsync / x: (None, [("An attempt to divide by zero has been detected at compile time.", TracedError { message = "An attempt to divide by zero has been detected at compile time." trace = ["Error trace on line: 1, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi. inl main () = ^ "; "Error trace on line: 2, column: 5 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi. 1i32 / 0i32 ^ "] })], 0) 00:01:00 v #3224 Supervisor.buildFile / result: [("An attempt to divide by zero has been detected at compile time.", TracedError { message = "An attempt to divide by zero has been detected at compile time." trace = ["Error trace on line: 1, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi. inl main () = ^ "; "Error trace on line: 2, column: 5 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2/main.spi. 1i32 / 0i32 ^ "] })] / buildFileResult: None / typeErrorCount: 0 00:01:00 v #3225 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/fef9812d9b06b75b1ab26589e52c6d6ff05910b73ead9e8c4f27f88d2a5cdfb2 / targetDir: /home/runner/work/polyglot/polyglot/target Some (None, ["An attempt to divide by zero has been detected at compile time."])
In [ ]:
//// test
SpiralTrace.TraceLevel.US0_0 |> set_trace_level
"""
inl main () =
real
inl unbox_real forall a. (obj : a) : a =
typecase obj with
| _ => obj
unbox_real ()
()
"""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
None,
[ "Cannot apply a forall with a term." ]
)
)
00:01:01 v #3243 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi 00:01:01 v #3244 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi' 00:01:01 v #3245 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi 00:01:01 v #3246 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi" 00:01:01 v #3247 Supervisor.buildFile / _fileOpenResult: <null> 00:01:01 v #3248 Supervisor.buildFile / before result: () 00:01:01 v #3485 Supervisor.buildFile / buildFileResult: None 00:01:01 v #3486 Supervisor.buildFile / ofSeqAsync / x: (None, [], 0) 00:01:01 v #3487 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: Some((Cannot apply a forall with a term., TracedError { message = "Cannot apply a forall with a term." trace = ["Error trace on line: 2, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl main () = ^ "; "Error trace on line: 4, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl unbox_real forall a. (obj : a) : a = ^ "; "Error trace on line: 7, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. unbox_real () ^ "] })) / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi' 00:01:01 v #3488 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [ [ "Cannot apply a forall with a term.", { "TracedError": { "message": "Cannot apply a forall with a term.", "trace": [ "Error trace on line: 2, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl main () = ^ ", "Error trace on line: 4, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl unbox_real forall a. (obj : a) : a = ^ ", "Error trace on line: 7, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. unbox_real () ^ " ] } } ] ] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi 00:01:01 v #3490 Supervisor.buildFile / outputChild / x: Some (Ok (Some (None, [("Cannot apply a forall with a term.", TracedError { message = "Cannot apply a forall with a term." trace = ["Error trace on line: 2, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl main () = ^ "; "Error trace on line: 4, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl unbox_real forall a. (obj : a) : a = ^ "; "Error trace on line: 7, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. unbox_real () ^ "] })], 0))) 00:01:01 v #3491 Supervisor.buildFile / ofSeqAsync / x: (None, [("Cannot apply a forall with a term.", TracedError { message = "Cannot apply a forall with a term." trace = ["Error trace on line: 2, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl main () = ^ "; "Error trace on line: 4, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl unbox_real forall a. (obj : a) : a = ^ "; "Error trace on line: 7, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. unbox_real () ^ "] })], 0) 00:01:01 v #3492 Supervisor.buildFile / result: [("Cannot apply a forall with a term.", TracedError { message = "Cannot apply a forall with a term." trace = ["Error trace on line: 2, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl main () = ^ "; "Error trace on line: 4, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl unbox_real forall a. (obj : a) : a = ^ "; "Error trace on line: 7, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. unbox_real () ^ "] })] / buildFileResult: None / typeErrorCount: 0 00:01:01 v #3493 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a / targetDir: /home/runner/work/polyglot/polyglot/target Some (None, ["Cannot apply a forall with a term."])
In [ ]:
//// test
SpiralTrace.TraceLevel.US0_0 |> set_trace_level
"""
inl main () =
real
inl unbox_real forall a. (obj : a) : a =
typecase obj with
| _ => obj
unbox_real `i32 1
"""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
None,
[ "The main function should not have a forall." ]
)
)
00:01:01 v #3509 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/0ba44c42df309b790acdf4f9fc55fcc7912380f5dd2d90fad118bad793251c4f/main.spi 00:01:01 v #3510 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/0ba44c42df309b790acdf4f9fc55fcc7912380f5dd2d90fad118bad793251c4f/main.spi' 00:01:01 v #3511 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/0ba44c42df309b790acdf4f9fc55fcc7912380f5dd2d90fad118bad793251c4f/main.spi 00:01:01 v #3512 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/0ba44c42df309b790acdf4f9fc55fcc7912380f5dd2d90fad118bad793251c4f/main.spi" 00:01:01 v #3513 Supervisor.buildFile / _fileOpenResult: <null> 00:01:01 v #3514 Supervisor.buildFile / before result: () 00:01:01 v #3751 Supervisor.buildFile / buildFileResult: None 00:01:01 v #3752 Supervisor.buildFile / ofSeqAsync / x: (None, [], 0) 00:01:01 v #3753 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: Some((The main function should not have a forall., TracedError { message = "The main function should not have a forall." trace = [] })) / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/0ba44c42df309b790acdf4f9fc55fcc7912380f5dd2d90fad118bad793251c4f/main.spi' 00:01:01 v #3754 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [ [ "The main function should not have a forall.", { "TracedError": { "message": "The main function should not have a forall.", "trace": [] } } ] ] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/0ba44c42df309b790acdf4f9fc55fcc7912380f5dd2d90fad118bad793251c4f/main.spi 00:01:01 v #3756 Supervisor.buildFile / outputChild / x: Some (Ok (Some (None, [("The main function should not have a forall.", TracedError { message = "The main function should not have a forall." trace = [] })], 0))) 00:01:01 v #3757 Supervisor.buildFile / ofSeqAsync / x: (None, [("The main function should not have a forall.", TracedError { message = "The main function should not have a forall." trace = [] })], 0) 00:01:01 v #3758 Supervisor.buildFile / result: [("The main function should not have a forall.", TracedError { message = "The main function should not have a forall." trace = [] })] / buildFileResult: None / typeErrorCount: 0 00:01:01 v #3759 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/0ba44c42df309b790acdf4f9fc55fcc7912380f5dd2d90fad118bad793251c4f / targetDir: /home/runner/work/polyglot/polyglot/target Some (None, ["The main function should not have a forall."])
In [ ]:
//// test
SpiralTrace.TraceLevel.US0_0 |> set_trace_level
"""
inl main () =
real
inl unbox_real forall a. (obj : a) : a =
typecase obj with
| _ => obj
unbox_real ()
()
"""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
None,
[ "Cannot apply a forall with a term." ]
)
)
00:01:01 v #3777 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi 00:01:01 v #3778 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi' 00:01:01 v #3779 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi 00:01:01 v #3780 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi" 00:01:01 v #3781 Supervisor.buildFile / _fileOpenResult: <null> 00:01:01 v #3782 Supervisor.buildFile / before result: () 00:01:02 v #4019 Supervisor.buildFile / buildFileResult: None 00:01:02 v #4020 Supervisor.buildFile / ofSeqAsync / x: (None, [], 0) 00:01:02 v #4021 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: Some((Cannot apply a forall with a term., TracedError { message = "Cannot apply a forall with a term." trace = ["Error trace on line: 2, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl main () = ^ "; "Error trace on line: 4, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl unbox_real forall a. (obj : a) : a = ^ "; "Error trace on line: 7, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. unbox_real () ^ "] })) / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi' 00:01:02 v #4022 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [ [ "Cannot apply a forall with a term.", { "TracedError": { "message": "Cannot apply a forall with a term.", "trace": [ "Error trace on line: 2, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl main () = ^ ", "Error trace on line: 4, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl unbox_real forall a. (obj : a) : a = ^ ", "Error trace on line: 7, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. unbox_real () ^ " ] } } ] ] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi 00:01:02 v #4024 Supervisor.buildFile / outputChild / x: Some (Ok (Some (None, [("Cannot apply a forall with a term.", TracedError { message = "Cannot apply a forall with a term." trace = ["Error trace on line: 2, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl main () = ^ "; "Error trace on line: 4, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl unbox_real forall a. (obj : a) : a = ^ "; "Error trace on line: 7, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. unbox_real () ^ "] })], 0))) 00:01:02 v #4025 Supervisor.buildFile / ofSeqAsync / x: (None, [("Cannot apply a forall with a term.", TracedError { message = "Cannot apply a forall with a term." trace = ["Error trace on line: 2, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl main () = ^ "; "Error trace on line: 4, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl unbox_real forall a. (obj : a) : a = ^ "; "Error trace on line: 7, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. unbox_real () ^ "] })], 0) 00:01:02 v #4026 Supervisor.buildFile / result: [("Cannot apply a forall with a term.", TracedError { message = "Cannot apply a forall with a term." trace = ["Error trace on line: 2, column: 10 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl main () = ^ "; "Error trace on line: 4, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. inl unbox_real forall a. (obj : a) : a = ^ "; "Error trace on line: 7, column: 9 in module: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a/main.spi. unbox_real () ^ "] })] / buildFileResult: None / typeErrorCount: 0 00:01:02 v #4027 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/667528659dc2e5af51a6ec17f1774bd7ffff5b5a47e4e117eec78e740987f29a / targetDir: /home/runner/work/polyglot/polyglot/target Some (None, ["Cannot apply a forall with a term."])
In [ ]:
//// test
SpiralTrace.TraceLevel.US0_0 |> set_trace_level
"""inl main () =
1 + ""
"""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
None,
[
"main.spi:
Constraint satisfaction error.
Got: string
Fails to satisfy: number"
]
)
)
00:01:02 v #4045 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi 00:01:02 v #4046 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi' 00:01:02 v #4047 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi 00:01:02 v #4048 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi" 00:01:02 v #4049 Supervisor.buildFile / _fileOpenResult: <null> 00:01:02 v #4050 Supervisor.buildFile / before result: () 00:01:02 v #4130 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: Some((main.spi: Constraint satisfaction error. Got: string Fails to satisfy: number, TypeErrors { errors = [(({ character = 8 line = 1 }, { character = 10 line = 1 }), "Constraint satisfaction error. Got: string Fails to satisfy: number")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi" })) / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi' 00:01:02 v #4134 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [ [ "main.spi: Constraint satisfaction error. Got: string Fails to satisfy: number", { "TypeErrors": { "errors": [ [ [ { "character": 8, "line": 1 }, { "character": 10, "line": 1 } ], "Constraint satisfaction error. Got: string Fails to satisfy: number" ] ], "uri": "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi" } } ] ] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi 00:01:02 v #4141 Supervisor.buildFile / outputContentSeq unfoldAsync / msg: (None, Some ("main.spi: Constraint satisfaction error. Got: string Fails to satisfy: number", TypeErrors { errors = [(({ character = 8 line = 1 }, { character = 10 line = 1 }), "Constraint satisfaction error. Got: string Fails to satisfy: number")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi" })) 00:01:02 v #4143 Supervisor.buildFile / takeWhileInclusive / TypeErrors trigger 00:01:02 v #4148 Supervisor.buildFile / outputChild / x: Some (Ok (Some (None, [("main.spi: Constraint satisfaction error. Got: string Fails to satisfy: number", TypeErrors { errors = [(({ character = 8 line = 1 }, { character = 10 line = 1 }), "Constraint satisfaction error. Got: string Fails to satisfy: number")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi" })], 0))) 00:01:02 v #4149 Supervisor.buildFile / outputChild |> Async.map 00:01:02 v #4152 Supervisor.buildFile / outputContentSeq2 unfoldAsync / msg: (None, [("main.spi: Constraint satisfaction error. Got: string Fails to satisfy: number", TypeErrors { errors = [(({ character = 8 line = 1 }, { character = 10 line = 1 }), "Constraint satisfaction error. Got: string Fails to satisfy: number")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi" })], 0) 00:01:02 v #4155 Supervisor.buildFile / ofSeqAsync / x: (None, [("main.spi: Constraint satisfaction error. Got: string Fails to satisfy: number", TypeErrors { errors = [(({ character = 8 line = 1 }, { character = 10 line = 1 }), "Constraint satisfaction error. Got: string Fails to satisfy: number")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi" })], 0) 00:01:02 v #4158 Supervisor.buildFile / result: [("main.spi: Constraint satisfaction error. Got: string Fails to satisfy: number", TypeErrors { errors = [(({ character = 8 line = 1 }, { character = 10 line = 1 }), "Constraint satisfaction error. Got: string Fails to satisfy: number")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0/main.spi" })] / buildFileResult: None / typeErrorCount: 0 00:01:02 v #4159 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/c030f84f8e553befcbdd9aabeace67685221d91a46e3655199e42df713504aa0 / targetDir: /home/runner/work/polyglot/polyglot/target 00:01:02 v #4161 Supervisor.buildFile / outputChild |> Async.map Some (None, ["main.spi: Constraint satisfaction error. Got: string Fails to satisfy: number"])
In [ ]:
//// test
SpiralTrace.TraceLevel.US0_0 |> set_trace_level
"""inl main () =
x + y
"""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
None,
[
"main.spi:
Unbound variable: x.
Unbound variable: y."
]
)
)
00:01:02 v #4316 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi 00:01:02 v #4317 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi' 00:01:02 v #4318 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi 00:01:02 v #4319 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi" 00:01:02 v #4320 Supervisor.buildFile / _fileOpenResult: <null> 00:01:02 v #4321 Supervisor.buildFile / before result: () 00:01:02 v #4362 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: Some((main.spi: Unbound variable: x. Unbound variable: y., TypeErrors { errors = [(({ character = 4 line = 1 }, { character = 5 line = 1 }), "Unbound variable: x."); (({ character = 8 line = 1 }, { character = 9 line = 1 }), "Unbound variable: y.")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi" })) / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi' 00:01:02 v #4364 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [ [ "main.spi: Unbound variable: x. Unbound variable: y.", { "TypeErrors": { "errors": [ [ [ { "character": 4, "line": 1 }, { "character": 5, "line": 1 } ], "Unbound variable: x." ], [ [ { "character": 8, "line": 1 }, { "character": 9, "line": 1 } ], "Unbound variable: y." ] ], "uri": "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi" } } ] ] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi 00:01:02 v #4368 Supervisor.buildFile / outputContentSeq unfoldAsync / msg: (None, Some ("main.spi: Unbound variable: x. Unbound variable: y.", TypeErrors { errors = [(({ character = 4 line = 1 }, { character = 5 line = 1 }), "Unbound variable: x."); (({ character = 8 line = 1 }, { character = 9 line = 1 }), "Unbound variable: y.")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi" })) 00:01:02 v #4369 Supervisor.buildFile / takeWhileInclusive / TypeErrors trigger 00:01:02 v #4374 Supervisor.buildFile / outputChild / x: Some (Ok (Some (None, [("main.spi: Unbound variable: x. Unbound variable: y.", TypeErrors { errors = [(({ character = 4 line = 1 }, { character = 5 line = 1 }), "Unbound variable: x."); (({ character = 8 line = 1 }, { character = 9 line = 1 }), "Unbound variable: y.")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi" })], 0))) 00:01:02 v #4375 Supervisor.buildFile / outputChild |> Async.map 00:01:02 v #4378 Supervisor.buildFile / outputContentSeq2 unfoldAsync / msg: (None, [("main.spi: Unbound variable: x. Unbound variable: y.", TypeErrors { errors = [(({ character = 4 line = 1 }, { character = 5 line = 1 }), "Unbound variable: x."); (({ character = 8 line = 1 }, { character = 9 line = 1 }), "Unbound variable: y.")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi" })], 0) 00:01:02 v #4380 Supervisor.buildFile / ofSeqAsync / x: (None, [("main.spi: Unbound variable: x. Unbound variable: y.", TypeErrors { errors = [(({ character = 4 line = 1 }, { character = 5 line = 1 }), "Unbound variable: x."); (({ character = 8 line = 1 }, { character = 9 line = 1 }), "Unbound variable: y.")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi" })], 0) 00:01:02 v #4383 Supervisor.buildFile / result: [("main.spi: Unbound variable: x. Unbound variable: y.", TypeErrors { errors = [(({ character = 4 line = 1 }, { character = 5 line = 1 }), "Unbound variable: x."); (({ character = 8 line = 1 }, { character = 9 line = 1 }), "Unbound variable: y.")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1/main.spi" })] / buildFileResult: None / typeErrorCount: 0 00:01:02 v #4384 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/6cdeec507f9de5ba9c8429cfa7049b777a622aa3bf7333b151c767fde35dc5d1 / targetDir: /home/runner/work/polyglot/polyglot/target 00:01:02 v #4386 Supervisor.buildFile / outputChild |> Async.map Some (None, ["main.spi: Unbound variable: x. Unbound variable: y."])
In [ ]:
//// test
SpiralTrace.TraceLevel.US0_0 |> set_trace_level
"""inl rec main () = main"""
|> fun code -> Spi (code, None)
|> buildCode Fsharp [||] false 10000 None
|> Async.runWithTimeout 11000
|> Option.map (fun (_, (_, outputContent), errors) -> outputContent, errors |> List.map fst)
|> _assertEqual (
Some (
None,
[
"main.spi:
Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself.
Got: 'a
Expected: () -> 'a"
]
)
)
// |> _assertEqual None
// |> fun x -> printfn $"{x.ToDisplayString ()}"
00:01:02 v #4587 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi 00:01:02 v #4588 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi' 00:01:02 v #4589 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi 00:01:02 v #4590 Supervisor.buildFile / fullPathUri: "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi" 00:01:02 v #4591 Supervisor.buildFile / _fileOpenResult: <null> 00:01:02 v #4592 Supervisor.buildFile / before result: () 00:01:02 v #4633 Supervisor.buildFile / AsyncSeq.scan / outputContent: ' / errors: [] / outputContentResult: / typeErrorCount: 0 / retry: 0 / error: Some((main.spi: Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a, TypeErrors { errors = [(({ character = 18 line = 0 }, { character = 22 line = 0 }), "Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi" })) / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi' 00:01:02 v #4635 Supervisor.buildFile / takeWhileInclusive / outputContent: '' / errors: [ [ "main.spi: Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a", { "TypeErrors": { "errors": [ [ [ { "character": 18, "line": 0 }, { "character": 22, "line": 0 } ], "Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a" ] ], "uri": "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi" } } ] ] / typeErrorCount: 0 / retry: 0 / path: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi 00:01:02 v #4637 Supervisor.buildFile / outputContentSeq unfoldAsync / msg: (None, Some ("main.spi: Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a", TypeErrors { errors = [(({ character = 18 line = 0 }, { character = 22 line = 0 }), "Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi" })) 00:01:02 v #4638 Supervisor.buildFile / takeWhileInclusive / TypeErrors trigger 00:01:02 v #4641 Supervisor.buildFile / outputChild / x: Some (Ok (Some (None, [("main.spi: Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a", TypeErrors { errors = [(({ character = 18 line = 0 }, { character = 22 line = 0 }), "Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi" })], 0))) 00:01:02 v #4643 Supervisor.buildFile / outputChild |> Async.map 00:01:02 v #4645 Supervisor.buildFile / outputContentSeq2 unfoldAsync / msg: (None, [("main.spi: Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a", TypeErrors { errors = [(({ character = 18 line = 0 }, { character = 22 line = 0 }), "Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi" })], 0) 00:01:02 v #4648 Supervisor.buildFile / ofSeqAsync / x: (None, [("main.spi: Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a", TypeErrors { errors = [(({ character = 18 line = 0 }, { character = 22 line = 0 }), "Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi" })], 0) 00:01:02 v #4650 Supervisor.buildFile / result: [("main.spi: Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a", TypeErrors { errors = [(({ character = 18 line = 0 }, { character = 22 line = 0 }), "Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a")] uri = "file:///home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7/main.spi" })] / buildFileResult: None / typeErrorCount: 0 00:01:02 v #4651 Supervisor.buildFile / retry: 0 / typeErrorCount: 0 / fileDir: /home/runner/work/polyglot/polyglot/target/spiral_Eval/packages/883e0123fe6304a9501da46e85facc39c4ac4e3dbb77895f8ccd4581901ee2b7 / targetDir: /home/runner/work/polyglot/polyglot/target 00:01:02 v #4654 Supervisor.buildFile / outputChild |> Async.map Some (None, ["main.spi: Recursive metavariables are not allowed. A metavar cannot be unified with a type that has itself. Got: 'a Expected: () -> 'a"])
getFileTokenRange¶
In [ ]:
let getFileTokenRange port cancellationToken path = async {
let fullPath = path |> System.IO.Path.GetFullPath
let! code = fullPath |> SpiralFileSystem.read_all_text_async
let lines = code |> SpiralSm.split "\n"
let struct (token, disposable) = SpiralThreading.new_disposable_token cancellationToken
use _ = disposable
let port = port |> Option.defaultWith getCompilerPort
// let! serverPort, _errors, ct, disposable = awaitCompiler port (Some token)
// use _ = disposable
let fullPathUri = fullPath |> SpiralFileSystem.normalize_path |> SpiralFileSystem.new_file_uri
// let fileOpenObj = {| FileOpen = {| uri = fullPathUri; spiText = code |} |}
// let! _fileOpenResult = fileOpenObj |> sendObj serverPort
let fileOpenArgs = {| uri = fullPathUri; spiText = code |}
let! _fileOpenResult =
server2.job_null (server2.supervisor *<+ SupervisorReq.FileOpen fileOpenArgs)
|> Async.AwaitTask
// do! Async.Sleep 60
let fileTokenRangeArgs =
{|
uri = fullPathUri
range =
{|
line = 0
character = 0
|},
{|
line = lines.Length - 1
character = lines.[lines.Length - 1].Length
|}
|}
// let! fileTokenRangeResult =
// fileTokenRangeObj
// |> sendObj serverPort
// |> Async.withCancellationToken ct
// let fileTokenRangeArgs = {| uri = fullPathUri; backend = backendId |}
let! fileTokenRangeResult =
server2.job_val (fun res -> server2.supervisor *<+ SupervisorReq.FileTokenRange(fileTokenRangeArgs,res))
|> Async.AwaitTask
let fileDir = fullPath |> System.IO.Path.GetDirectoryName
if fileDir |> SpiralSm.starts_with (workspaceRoot </> "target") then
let fileDirUri = fileDir |> SpiralFileSystem.normalize_path |> SpiralFileSystem.new_file_uri
// let fileDeleteObj = {| FileDelete = {| uris = [| fileDirUri |] |} |}
// let! _fileDeleteResult = fileDeleteObj |> sendObj serverPort
let fileDeleteArgs = {| uris = [| fileDirUri |] |}
let! _fileDeleteResult =
server2.job_null (server2.supervisor *<+ SupervisorReq.FileDelete fileDeleteArgs)
|> Async.AwaitTask
()
return fileTokenRangeResult |> FSharp.Json.Json.deserialize<int array> |> Some
}
getCodeTokenRange¶
In [ ]:
let getCodeTokenRange cancellationToken code = async {
let! mainPath, _ =
persistCode {| input = Spi (code, None); backend = None; packages = [||] |}
let codeDir = mainPath |> System.IO.Path.GetDirectoryName
let tokensPath = codeDir </> "tokens.json"
let! tokens = async {
if tokensPath |> System.IO.File.Exists |> not
then return None
else
let! text = tokensPath |> SpiralFileSystem.read_all_text_async
return
if text.Length > 2
then text |> FSharp.Json.Json.deserialize<int array> |> Some
else None
}
match tokens with
| Some tokens ->
return tokens |> Some
| None -> return! mainPath |> getFileTokenRange None cancellationToken
}
In [ ]:
//// test
"""inl main () = ()"""
|> getCodeTokenRange None
|> Async.runWithTimeout 10000
|> Option.flatten
|> _assertEqual (Some [| 0; 0; 3; 7; 0; 0; 4; 4; 0; 0; 0; 5; 1; 8; 0; 0; 1; 1; 8; 0; 0; 2; 1; 4; 0; 0;
2; 1; 8; 0; 0; 1; 1; 8; 0 |])
Some [|0; 0; 3; 7; 0; 0; 4; 4; 0; 0; 0; 5; 1; 8; 0; 0; 1; 1; 8; 0; 0; 2; 1; 4; 0; 0; 2; 1; 8; 0; 0; 1; 1; 8; 0|]
In [ ]:
//// test
"""inl main () = 1i32"""
|> getCodeTokenRange None
|> Async.runWithTimeout 10000
|> Option.flatten
|> _assertEqual (Some [| 0; 0; 3; 7; 0; 0; 4; 4; 0; 0; 0; 5; 1; 8; 0; 0; 1; 1; 8; 0; 0; 2; 1; 4; 0; 0;
2; 1; 3; 0; 0; 1; 3; 12; 0 |])
Some [|0; 0; 3; 7; 0; 0; 4; 4; 0; 0; 0; 5; 1; 8; 0; 0; 1; 1; 8; 0; 0; 2; 1; 4; 0; 0; 2; 1; 3; 0; 0; 1; 3; 12; 0|]
getFileHoverAt¶
In [ ]:
let getFileHoverAt
port
cancellationToken
path
(position : {| line: int; character: int |})
= async {
let fullPath = path |> System.IO.Path.GetFullPath
let! code = fullPath |> SpiralFileSystem.read_all_text_async
let lines = code |> SpiralSm.split "\n"
let struct (token, disposable) = SpiralThreading.new_disposable_token cancellationToken
use _ = disposable
let port = port |> Option.defaultWith getCompilerPort
// let! serverPort, _errors, ct, disposable = awaitCompiler port (Some token)
// use _ = disposable
let fullPathUri = fullPath |> SpiralFileSystem.normalize_path |> SpiralFileSystem.new_file_uri
// let fileOpenObj = {| FileOpen = {| uri = fullPathUri; spiText = code |} |}
// let! _fileOpenResult = fileOpenObj |> sendObj serverPort
let fileOpenArgs = {| uri = fullPathUri; spiText = code |}
let! _fileOpenResult =
server1.job_null (server1.supervisor *<+ SupervisorReq.FileOpen fileOpenArgs)
|> Async.AwaitTask
// do! Async.Sleep 60
let hoverAtArgs =
{|
uri = fullPathUri
pos = position
|}
let! hoverAtResult =
server1.job_val (fun res -> server1.supervisor *<+ SupervisorReq.HoverAt(hoverAtArgs,res))
|> Async.AwaitTask
let fileDir = fullPath |> System.IO.Path.GetDirectoryName
if fileDir |> SpiralSm.starts_with (workspaceRoot </> "target") then
let fileDirUri = fileDir |> SpiralFileSystem.normalize_path |> SpiralFileSystem.new_file_uri
// let fileDeleteObj = {| FileDelete = {| uris = [| fileDirUri |] |} |}
// let! _fileDeleteResult = fileDeleteObj |> sendObj serverPort
let fileDeleteArgs = {| uris = [| fileDirUri |] |}
let! _fileDeleteResult =
server1.job_null (server1.supervisor *<+ SupervisorReq.FileDelete fileDeleteArgs)
|> Async.AwaitTask
|> Async.runWithTimeoutAsync 60000
|> Async.map Option.get
()
return hoverAtResult |> Some
}
getCodeHoverAt¶
In [ ]:
let getCodeHoverAt cancellationToken code position = async {
let! mainPath, _ =
persistCode {| input = Spi (code, None); backend = None; packages = [||] |}
let codeDir = mainPath |> System.IO.Path.GetDirectoryName
let filePath = codeDir </> "hover.json"
let! output = async {
if filePath |> System.IO.File.Exists |> not
then return None
else
let! text = filePath |> SpiralFileSystem.read_all_text_async
return
if text.Length > 2
then text |> Some
else None
}
match output with
| Some output ->
return output |> Some
| None -> return! getFileHoverAt None cancellationToken mainPath position
}
In [ ]:
//// test
getCodeHoverAt None """inl main () = ()""" {| line = 0; character = 4 |}
|> Async.runWithTimeout 10000
|> Option.flatten
|> _assertEqual (Some "() -> ()")
Some "() -> ()"
In [ ]:
//// test
getCodeHoverAt None """inl main () = ()""" {| line = 0; character = 0 |}
|> Async.runWithTimeout 10000
|> Option.flatten
|> _assertEqual (Some null)
Some null
In [ ]:
//// test
getCodeHoverAt None """inl rec main () = main""" {| line = 0; character = 8 |}
|> Async.runWithTimeout 10000
|> Option.flatten
|> _assertEqual (Some "forall 'a. () -> 'a")
Some "forall 'a. () -> 'a"
In [ ]:
//// test
getCodeHoverAt None """inl main () = 1""" {| line = 0; character = 4 |}
|> Async.runWithTimeout 10000
|> Option.flatten
|> _assertEqual (Some "forall 'a {number}. () -> 'a")
Some "forall 'a {number}. () -> 'a"
Arguments¶
In [ ]:
[<RequireQualifiedAccess>]
type Arguments =
| Build_File of string * string
| File_Token_Range of string * string
| File_Hover_At of string * string * int * int
| Execute_Command of string
| [<Argu.ArguAttributes.Unique>] Timeout of int
| [<Argu.ArguAttributes.Unique>] Port of int
| [<Argu.ArguAttributes.Unique>] Parallel
| [<Argu.ArguAttributes.Unique>] Exit_On_Error
interface Argu.IArgParserTemplate with
member s.Usage =
match s with
| Build_File _ -> nameof Build_File
| File_Token_Range _ -> nameof File_Token_Range
| File_Hover_At _ -> nameof File_Hover_At
| Execute_Command _ -> nameof Execute_Command
| Timeout _ -> nameof Timeout
| Port _ -> nameof Port
| Parallel -> nameof Parallel
| Exit_On_Error-> nameof Exit_On_Error
In [ ]:
//// test
Argu.ArgumentParser.Create<Arguments>().PrintUsage ()
"USAGE: dotnet-repl [--help] [--build-file <string> <string>]
[--file-token-range <string> <string>]
[--file-hover-at <string> <string> <int> <int>]
[--execute-command <string>] [--timeout <int>] [--port <int>]
[--parallel] [--exit-on-error]
OPTIONS:
--build-file <string> <string>
Build_File
--file-token-range <string> <string>
File_Token_Range
--file-hover-at <string> <string> <int> <int>
File_Hover_At
--execute-command <string>
Execute_Command
--timeout <int> Timeout
--port <int> Port
--parallel Parallel
--exit-on-error Exit_On_Error
--help display this list of options.
"
main¶
In [ ]:
let main args =
SpiralTrace.TraceLevel.US0_1 |> set_trace_level
let argsMap = args |> Runtime.parseArgsMap<Arguments>
let buildFileActions =
argsMap
|> Map.tryFind (nameof Arguments.Build_File)
|> Option.defaultValue []
|> List.choose (function
| Arguments.Build_File (inputPath, outputPath) -> Some (inputPath, outputPath)
| _ -> None
)
let fileTokenRangeActions =
argsMap
|> Map.tryFind (nameof Arguments.File_Token_Range)
|> Option.defaultValue []
|> List.choose (function
| Arguments.File_Token_Range (inputPath, outputPath) -> Some (inputPath, outputPath)
| _ -> None
)
let fileHoverAtActions =
argsMap
|> Map.tryFind (nameof Arguments.File_Hover_At)
|> Option.defaultValue []
|> List.choose (function
| Arguments.File_Hover_At (inputPath, outputPath, line, character) ->
Some (inputPath, outputPath, line, character)
| _ -> None
)
let executeCommandActions =
argsMap
|> Map.tryFind (nameof Arguments.Execute_Command)
|> Option.defaultValue []
|> List.choose (function
| Arguments.Execute_Command command -> Some command
| _ -> None
)
let timeout =
match argsMap |> Map.tryFind (nameof Arguments.Timeout) with
| Some [ Arguments.Timeout timeout ] -> timeout
| _ -> 60002 * 60 * 24
let port =
match argsMap |> Map.tryFind (nameof Arguments.Port) with
| Some [ Arguments.Port port ] -> Some port
| _ -> None
let isParallel = argsMap |> Map.containsKey (nameof Arguments.Parallel)
let isExitOnError = argsMap |> Map.containsKey (nameof Arguments.Exit_On_Error)
async {
let port =
port
|> Option.defaultWith getCompilerPort
let struct (localToken, disposable) = SpiralThreading.new_disposable_token None
// let! serverPort, _errors, compilerToken, disposable = awaitCompiler port (Some localToken)
let serverPort = port
let struct (compilerToken, disposable) = SpiralThreading.new_disposable_token None
use _ = disposable
let buildFileAsync =
buildFileActions
|> List.map (fun (inputPath, outputPath) -> async {
let! _outputPath, outputCode, errors =
let backend =
if outputPath |> SpiralSm.ends_with ".gleam"
then Gleam
elif outputPath |> SpiralSm.ends_with ".fsx"
then Fsharp
elif outputPath |> SpiralSm.ends_with ".py"
then Python
elif outputPath |> SpiralSm.ends_with ".cpp"
then Cpp
else failwith $"Supervisor.main / invalid backend / outputPath: {outputPath}"
let isReal = inputPath |> SpiralSm.ends_with ".spir"
inputPath |> buildFile backend timeout (Some serverPort) None
errors
|> List.map snd
|> List.iter (fun error ->
trace Critical (fun () -> $"main / error: {error |> serializeObj}") _locals
)
match outputCode with
| Some outputCode ->
do! outputCode |> SpiralFileSystem.write_all_text_exists outputPath
return 0
| None ->
if isExitOnError
then SpiralRuntime.current_process_kill ()
return 1
})
let fileTokenRangeAsync =
fileTokenRangeActions
|> List.map (fun (inputPath, outputPath) -> async {
let! tokenRange = inputPath |> getFileTokenRange (Some serverPort) None
match tokenRange with
| Some tokenRange ->
do! tokenRange |> FSharp.Json.Json.serialize |> SpiralFileSystem.write_all_text_exists outputPath
return 0
| None ->
if isExitOnError
then SpiralRuntime.current_process_kill ()
return 1
})
let fileHoverAtAsync =
fileHoverAtActions
|> List.map (fun (inputPath, outputPath, line, character) -> async {
let! hoverAt =
getFileHoverAt
(Some serverPort)
None
inputPath
{| line = line; character = character |}
match hoverAt with
| Some hoverAt ->
do! hoverAt |> FSharp.Json.Json.serialize |> SpiralFileSystem.write_all_text_exists outputPath
return 0
| None ->
if isExitOnError
then SpiralRuntime.current_process_kill ()
return 1
})
let executeCommandAsync =
executeCommandActions
|> List.map (fun command -> async {
let! exitCode, result =
SpiralRuntime.execution_options (fun x ->
{ x with
l0 = command
l1 = Some compilerToken
}
)
|> SpiralRuntime.execute_with_options_async
trace Debug (fun () -> $"main / executeCommand / exitCode: {exitCode} / command: {command}") _locals
if isExitOnError && exitCode <> 0
then SpiralRuntime.current_process_kill ()
return exitCode
})
return!
[| buildFileAsync; fileTokenRangeAsync; fileHoverAtAsync; executeCommandAsync |]
|> Seq.collect id
|> fun x ->
if isParallel
then Async.Parallel (x, float System.Environment.ProcessorCount * 0.51 |> ceil |> int)
else Async.Sequential x
|> Async.map Array.sum
}
|> Async.runWithTimeout timeout
|> Option.defaultValue 1
In [ ]:
//// test
let args =
System.Environment.GetEnvironmentVariable "ARGS"
|> SpiralRuntime.split_args
|> Result.toArray
|> Array.collect id
match args with
| [||] -> 0
| args -> if main args = 0 then 0 else failwith "main failed"
0