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