Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry
curry-frontend
Commits
a435c993
Commit
a435c993
authored
Jan 28, 2015
by
Björn Peemöller
Browse files
Enabled raw dump output for qualification phase
parent
3065da08
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/Modules.hs
View file @
a435c993
...
...
@@ -233,10 +233,9 @@ transModule opts mdl = do
-- ---------------------------------------------------------------------------
writeOutput
::
Options
->
FilePath
->
CompEnv
CS
.
Module
->
IO
()
writeOutput
opts
fn
(
env
,
modul
)
=
do
writeOutput
opts
fn
mdl
@
(
_
,
modul
)
=
do
writeParsed
opts
fn
modul
let
(
env1
,
qlfd
)
=
qual
opts
(
env
,
modul
)
doDump
(
optDebugOpts
opts
)
(
DumpQualified
,
env1
,
show
$
CS
.
ppModule
qlfd
)
(
env1
,
qlfd
)
<-
dumpWith
opts
CS
.
ppModule
DumpQualified
$
qual
opts
mdl
writeAbstractCurry
opts
fn
env1
qlfd
when
withFlat
$
do
(
env2
,
il
)
<-
transModule
opts
(
env1
,
qlfd
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment