Hacky way to get VSCode to activate idris2-lsp.
-
cd vscode-extensions-samples/lsp-sample and follow the README
-
Apply the following diff adapting
serverModuleto your environment
Rodrigo Bamboo bamboo
bamboo
/ settings.gradle.kts
Created
August 19, 2020 21:48
BuildService + projectsEvaluated callback example
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 { | |
| } |
bamboo
/ build.gradle.kts
Last active
April 21, 2021 18:20
Gradle ArtifactTransform example using the Gradle Kotlin DSL
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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" | |
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // 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 |
bamboo
/ dotnet-idris-faster-than-idris.md
Created
January 9, 2017 18:12
dotnet core can execute idris faster than idris
➜ /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
bamboo
/ popcnt-after-optimization.il
Created
November 27, 2016 18:12
Idris bit population count as emitted by idris-cil before and after boxing optimization
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| .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) |
bamboo
/ build.gradle.kts
Created
May 30, 2016 14:26
Repro project for gradle/kotlin-dsl-samples#25 - loader constraint violation error
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |
bamboo
/ ExternalComponentsAsFirstClassElements.gradle
Last active
November 24, 2015 10:18
External Components as First Class Model Elements
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| model { | |
| components { | |
| // External components are modeled just like internal ones. | |
| mavenLibrary 'collections' { | |
| org 'com.acme' | |
| version '1.0' | |
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| .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 | |
| { |
NewerOlder