blob: b8ed962a625193c57c424965f656d53e3e130794 (
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
36
37
|
{-# 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
c = {-# GENERATED "foob\x61r" 1 : 2 - 3 : 4 #-} 0.00
|
