Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
T
test-primops
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Iterations
Wiki
Requirements
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Releases
Package Registry
Container Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Code review analytics
Issue analytics
Insights
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Glasgow Haskell Compiler
test-primops
Merge requests
!10
Enable testing of Word64# on 32-bit platforms
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Enable testing of Word64# on 32-bit platforms
word64
into
master
Overview
7
Commits
22
Pipelines
32
Changes
17
Merged
Ben Gamari
requested to merge
word64
into
master
1 year ago
Overview
7
Commits
22
Pipelines
32
Changes
17
Expand
0
0
Merge request reports
Compare
master
version 16
526d1f05
1 year ago
version 15
55e2136b
1 year ago
version 14
a1ad98dc
1 year ago
version 13
24abb44c
1 year ago
version 12
218022f3
1 year ago
version 11
9b18b6ac
1 year ago
version 10
2943a689
1 year ago
version 9
894e50fd
1 year ago
version 8
9b3c5c77
1 year ago
version 7
b241c30c
1 year ago
version 6
beab656f
1 year ago
version 5
7bd581e6
1 year ago
version 4
8dd4990d
1 year ago
version 3
cfb7ea78
1 year ago
version 2
02953863
1 year ago
version 1
a40f66a3
1 year ago
master (base)
and
latest version
latest version
dacc7761
22 commits,
1 year ago
version 16
526d1f05
22 commits,
1 year ago
version 15
55e2136b
21 commits,
1 year ago
version 14
a1ad98dc
13 commits,
1 year ago
version 13
24abb44c
12 commits,
1 year ago
version 12
218022f3
12 commits,
1 year ago
version 11
9b18b6ac
11 commits,
1 year ago
version 10
2943a689
10 commits,
1 year ago
version 9
894e50fd
10 commits,
1 year ago
version 8
9b3c5c77
9 commits,
1 year ago
version 7
b241c30c
8 commits,
1 year ago
version 6
beab656f
7 commits,
1 year ago
version 5
7bd581e6
6 commits,
1 year ago
version 4
8dd4990d
5 commits,
1 year ago
version 3
cfb7ea78
4 commits,
1 year ago
version 2
02953863
4 commits,
1 year ago
version 1
a40f66a3
3 commits,
1 year ago
17 files
+
352
−
166
Inline
Compare changes
Side-by-side
Inline
Show whitespace changes
Show one file at a time
Files
17
Search (e.g. *.vue) (Ctrl+P)
src
/Main.hs
→
app
/Main.hs
+
5
−
7
Options
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}
-- | Cmm pipeline correctness testsuite.
module
Main
(
module
Main
@@ -21,7 +26,6 @@ import Interpreter
import
MulMayOverflow
import
Number
import
RunGhc
import
ToCmm
import
Width
newtype
UsedEvalMethod
=
UsedEvalMethod
EvalMethod
@@ -66,12 +70,6 @@ instance IsOption Emulator where
optionCLParser
=
Emulator
.
Just
<$>
option
str
(
long
"emulator"
<>
help
"Path to emulator executable"
)
basicCompiler
::
FilePath
->
Compiler
basicCompiler
ghcPath
=
Compiler
{
compPath
=
ghcPath
,
compArgs
=
[
"-dcmm-lint"
,
"-dasm-lint"
,
"-O0"
]
}
-- * Properties
expr_prop
::
EvalMethod
->
Expr
WordSize
->
Property
Loading