{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ViewPatterns #-}

module Unison.Codebase.BuiltinAnnotation (BuiltinAnnotation (..)) where

import Unison.Parser.Ann (Ann)
import Unison.Parser.Ann qualified as Ann

class BuiltinAnnotation a where
  builtinAnnotation :: a

instance BuiltinAnnotation Ann where
  builtinAnnotation :: Ann
builtinAnnotation = Ann
Ann.Intrinsic

instance BuiltinAnnotation () where
  builtinAnnotation :: ()
builtinAnnotation = ()