DavidGregory084

[[" "," ","#"," ","#"," ","#"," ","#"," "," "," "," "," "," ","#"," ","#"," "," "," "," "," ","#"," "],
 [" "," "," ","#"," "," "," "," "," "," "," ","#","#"," ","#"," ","#"," ","#"," "," "," "," "," ","#"],
 [" "," "," "," "," "," "," "," "," "," ","#"," "," ","#"," "," "," ","#"," "," "," ","#","#","#"," "],
 [" ","#"," "," "," "," ","#"," "," "," "," "," ","#","#","#"," "," "," "," "," "," "," "," "," ","#"],
 [" "," "," ","#"," "," "," "," "," "," "," ","#","#"," "," "," ","#"," "," "," ","#"," ","#"," "," "],
 ["#"," "," "," "," "," ","#"," ","#","#"," "," ","#"," "," ","#"," "," "," "," "," ","#"," "," "," "],
 ["#"," ","#"," "," "," "," "," ","#"," ","#"," "," "," "," ","#"," "," ","#"," "," "," "," "," "," "],
 ["#"," ","#"," ","#","#","#"," "," "," ","#"," "," ","#","#"," "," "," "," ","#"," ","#"," "," "," "],
 [" "," ","#"," "," "," "," "," "," ","#"," "," ","#"," "," "," "," "," "," "," ","#"," "," "," "," "],
 [" "," ","#"," "," ","#"," ","#","#"," ","#"," "," "," "," "," "," "," ","#"," "," "," 

DavidGregory084

#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

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

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)

DavidGregory084

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 proof

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: