blob: a94c9eac91849b0abe40e3ec05f553cb0f573f4a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
{-# LANGUAGE PackageImports #-}
{-# LANGUAGE MagicHash, UnliftedFFITypes #-}
{-# LANGUAGE ForeignFunctionInterface #-}
module Test10313 where
import "b\x61se" Data.List ()
{-# WARNING Logic
, solverCheckAndGetModel
"New Z3 API support is still incomplete and fragile: \
\you may experience segmentation faults!"
#-}
{-# Deprecated Logic
, solverCheckAndGetModel
"Deprecation: \
\you may experience segmentation faults!"
#-}
data {-# Ctype "foo\x63" "b\x61r" #-} Logic = Logic
-- Should warn
foo1 x = x
{-# RULES "foo1\x67" [ 1] forall x. foo1 x = x #-}
foreign import prim unsafe "a\x62" a :: IO Int
{-# INLINE strictStream #-}
strictStream (Bitstream l v)
= S.concatMap stream (GV.stream v)
`S.sized`
Exact l
b = {-# SCC "foo\x64" #-} 006
|
