pkg/kernel/lib/coq_annot.dart

// Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
//
// Please see the comments in `pkg/kernel/lib/transformations/coq.dart` for more
// info.

library kernel.coq_annot;

const coq = 1; // field or class
const coqref = 2; // class only
const nocoq = 3; // field only
const coqopt = 4; // field only
const coqsingle = 5; // treat List<A> as just A
const coqdef = 6;
const coqsingledef = 7;

// library only
class CoqLib {
  final String destPathRelative;
  const CoqLib(this.destPathRelative);
}

// TODO(30609): Since fasta currently throws away annotations on Enums, we use a
// list to identify which enums to convert.
//
// We'll uncomment these enums once the Coq formalization is sufficiently complete.
var coqEnums = [/*"kernel.ast::ProcedureKind", "kernel.ast::AsyncMarker"*/];