packages feed

moonlight-homology-0.1.0.0: test/fixtures/CompileFail/Phase1BettiLeak.hs

{-# LANGUAGE DataKinds #-}

module CompileFail.Phase1BettiLeak (forbiddenPhase1Capability) where

import Moonlight.Homology

forbiddenPhase1Capability :: BettiCapability 'Phase1 Rational
forbiddenPhase1Capability =
  fieldBettiCapability RationalFieldRankBackend