Implemented kernel recognition

utwente-fmt · Sep 13, 2023 · 4e3e261 · 4e3e261
1 parent c426da7
commit 4e3e261
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/col/vct/col/ast/lang/CPPLambdaRefImpl.scala b/src/col/vct/col/ast/lang/CPPLambdaRefImpl.scala
@@ -0,0 +1,11 @@
+package vct.col.ast.lang
+
+import vct.col.ast.{CPPLambdaRef, TRef, Type}
+import vct.col.print.{Ctx, Doc, Text}
+import vct.col.resolve.ctx._
+
+trait CPPLambdaRefImpl[G] { this: CPPLambdaRef[G] =>
+  override lazy val t: Type[G] = TRef()
+
+  override def layout(implicit ctx: Ctx): Doc = Text("lambda_ref")
+}