Hacky way to get VSCode to activate idris2-lsp.
-
cd vscode-extensions-samples/lsp-sample and follow the README
-
Apply the following diff adapting
serverModule
to your environment
Hacky way to get VSCode to activate idris2-lsp.
cd vscode-extensions-samples/lsp-sample and follow the README
Apply the following diff adapting serverModule
to your environment
import org.gradle.tooling.events.FinishEvent | |
import javax.inject.Inject | |
abstract class TraceService : BuildService<TraceService.Parameters>, org.gradle.tooling.events.OperationCompletionListener { | |
private | |
var projectsEvaluated = false | |
interface Parameters : BuildServiceParameters { | |
} |
import org.gradle.api.internal.artifacts.repositories.layout.IvyRepositoryLayout | |
import java.io.InputStream | |
import java.util.zip.* | |
object Attributes { | |
val artifactType = Attribute.of("artifactType", String::class.java) | |
val zipType = "zip" | |
val jars = "jars" | |
} |
// Execute Kotlin script with: | |
// | |
// gradle -q foo | |
// | |
// For correctness, we're going to configure two independent classpath configurations, one for kotlinc and the other for the | |
// script(s) we want to execute. | |
configurations { | |
kotlinc |
➜ /tmp time ./pythag-idris > /dev/null
4.49s user 0.02s system 99% cpu 4.514 total
➜ /tmp time dotnet pythag-idris.exe > /dev/null
4.23s user 0.03s system 99% cpu 4.265 total
.method static assembly object 'Data.HashSet.popcnt'(object 'e0') cil managed | |
{ | |
.maxstack 2 | |
.locals init ( | |
int32 l0, | |
int32 l1, | |
int32 l2, | |
int32 l3, | |
int32 l4, | |
int32 l5) |
import org.gradle.api.artifacts.dsl.* | |
import org.gradle.api.plugins.* | |
import org.gradle.api.publish.* | |
import org.gradle.api.publish.maven.* | |
import org.gradle.api.tasks.bundling.Zip | |
import org.gradle.api.tasks.bundling.ZipEntryCompression | |
import org.gradle.jvm.tasks.Jar | |
import org.gradle.script.lang.kotlin.* | |
import java.util.concurrent.Callable |
model { | |
components { | |
// External components are modeled just like internal ones. | |
mavenLibrary 'collections' { | |
org 'com.acme' | |
version '1.0' | |
} |
SFun Prelude.Applicative.*> [{e0},{e1},{e2},{e3},{e4},{e5}] 5 | |
(SLet (Loc 6) | |
(SLet (Loc 6) | |
(SLet (Loc 6) SNothing | |
(SLet (Loc 7) SNothing | |
(SLet (Loc 8) SNothing | |
(SApp False Prelude.Applicative.<*> [Loc 6,Loc 7,Loc 8,Loc 3])))) | |
(SLet (Loc 7) | |
(SLet (Loc 7) | |
(SLet (Loc 7) |
.assembly extern mscorlib | |
{ | |
.ver 2:0:0:0 | |
.publickeytoken = (B7 7A 5C 56 19 34 E0 89) | |
} | |
.assembly 'HelloIdris' {} | |
.class private M | |
{ | |
.method static assembly object call__IO(object e0, object e1, object e2) cil managed | |
{ |