I hereby claim:
- I am DavidGregory084 on github.
- I am davidgregory084 (https://keybase.io/davidgregory084) on keybase.
- I have a public key whose fingerprint is 9D3A 57B1 FACC 5C6A 860E 7950 7BB0 E7F7 102A FCAD
To claim this, I am signing this object:
David Gregory DavidGregory084
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [[" "," ","#"," ","#"," ","#"," ","#"," "," "," "," "," "," ","#"," ","#"," "," "," "," "," ","#"," "], | |
| [" "," "," ","#"," "," "," "," "," "," "," ","#","#"," ","#"," ","#"," ","#"," "," "," "," "," ","#"], | |
| [" "," "," "," "," "," "," "," "," "," ","#"," "," ","#"," "," "," ","#"," "," "," ","#","#","#"," "], | |
| [" ","#"," "," "," "," ","#"," "," "," "," "," ","#","#","#"," "," "," "," "," "," "," "," "," ","#"], | |
| [" "," "," ","#"," "," "," "," "," "," "," ","#","#"," "," "," ","#"," "," "," ","#"," ","#"," "," "], | |
| ["#"," "," "," "," "," ","#"," ","#","#"," "," ","#"," "," ","#"," "," "," "," "," ","#"," "," "," "], | |
| ["#"," ","#"," "," "," "," "," ","#"," ","#"," "," "," "," ","#"," "," ","#"," "," "," "," "," "," "], | |
| ["#"," ","#"," ","#","#","#"," "," "," ","#"," "," ","#","#"," "," "," "," ","#"," ","#"," "," "," "], | |
| [" "," ","#"," "," "," "," "," "," ","#"," "," ","#"," "," "," "," "," "," "," ","#"," "," "," "," "], | |
| [" "," ","#"," "," ","#"," ","#","#"," ","#"," "," "," "," "," "," "," ","#"," "," "," |
DavidGregory084
/ cloud-init-buildkite.yaml
Created
April 27, 2019 02:54
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #cloud-config | |
| apt: | |
| sources: | |
| buildkite-agent.list: | |
| source: "deb https://apt.buildkite.com/buildkite-agent stable main" | |
| keyid: 6452D198 | |
| sbt.list: | |
| source: "deb https://dl.bintray.com/sbt/debian /" | |
| keyid: 642AC823 |
DavidGregory084
/ fix-let.patch
Created
March 9, 2019 02:08
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/typechecker/src/inc/typechecker/Gather.scala b/typechecker/src/inc/typechecker/Gather.scala | |
| index 4288483..e472854 100644 | |
| --- a/typechecker/src/inc/typechecker/Gather.scala | |
| +++ b/typechecker/src/inc/typechecker/Gather.scala | |
| @@ -46,6 +46,11 @@ class Gather(isTraceEnabled: Boolean) { | |
| } | |
| } | |
| + def substitute(env: Environment, subst: Substitution): Environment = { | |
| + if (subst.nonEmpty) scribe.trace(NL + "Apply substitution: " + Printer.print(subst)) |
DavidGregory084
/ gist:295d3b8135cecad4758df8534e4f240f
Created
August 10, 2018 12:32
Generating ASTs
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| CodegenSpec: | |
| Codegen | |
| - should generate code for a simple module | |
| - should parse a module definition from a generated class file | |
| -------------------------------------------------- | |
| module ke.yeeHt.igeqo.uv.c {let a = -9223372036854775808; let d = a} | |
| -------------------------------------------------- | |
| // class version 52.0 (52) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2 files changed, 14 insertions(+), 10 deletions(-) | |
| build.sc | 6 ++---- | |
| main/client/src/mill/main/client/MillClientMain.java | 18 ++++++++++++------ | |
| modified build.sc | |
| @@ -112,11 +112,9 @@ object main extends MillModule { | |
| } | |
| object client extends MillPublishModule{ | |
| + def mainClass = Some("mill.main.client.MillClientMain") |
DavidGregory084
/ keybase.md
Created
July 13, 2017 23:32