aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/pragma/SourceLoopB.hs
{- ORACLE_TEST pass -}
module SourceLoopB where
import {-# SOURCE #-} SourceLoopA
data B = B A | B0
fromB :: B -> Int
fromB (B a) = fromA a
fromB B0 = 0
{- ORACLE_TEST pass -}
module SourceLoopB where
import {-# SOURCE #-} SourceLoopA
data B = B A | B0
fromB :: B -> Int
fromB (B a) = fromA a
fromB B0 = 0