{-
  Copyright (c) Meta Platforms, Inc. and affiliates.
  All rights reserved.

  This source code is licensed under the BSD-style license found in the
  LICENSE file in the root directory of this source tree.
-}

module Glean.Bytecode.SysCalls
  ( userQuerySysCalls
  , typecheckSysCalls
  ) where

-- This list has to sync up with the list in CodeGen.hs or
-- the wrong name will be printed
userQuerySysCalls :: [String]
userQuerySysCalls =
  ["seek","seekWithinSection","currentSeek", "endSeek"
  ,"next", "lookupKeyValue", "result", "resultWithPid"
  ,"newDerivedFact", "firstFreeId"
  ,"newSet", "insertOutputSet", "setToArray", "freeSet"
  ,"newWordSet", "insertWordSet", "wordSetToArray", "byteSetToArray"
  ,"freeWordSet"]

-- This list has to sync up with the list in Glean.RTS.Typecheck or
-- the wrong name will be printed
typecheckSysCalls :: [String]
typecheckSysCalls =
  ["rename", "newSet", "insertOutputSet", "setToArray", "freeSet"
  ,"newWordSet_", "insertBytesWordSet_", "wordSetToArray_"
  ,"byteSetToByteArray_", "freeWordSet_"
  ]