Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
curry
curry-frontend
Commits
919e2ac1
Commit
919e2ac1
authored
Apr 04, 2014
by
Björn Peemöller
Browse files
Options
Browse Files
Download
Plain Diff
Merge branch '0.3-stable'
parents
40112321
f731d1ec
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
3 additions
and
5 deletions
+3
-5
src/Checks/WarnCheck.hs
src/Checks/WarnCheck.hs
+3
-5
No files found.
src/Checks/WarnCheck.hs
View file @
919e2ac1
...
...
@@ -40,8 +40,6 @@ import Env.Value (ValueEnv, ValueInfo (..), qualLookupValue)
import
CompilerOpts
import
Debug.Trace
-- Find potentially incorrect code in a Curry program and generate warnings
-- for the following issues:
-- - multiply imported modules, multiply imported/hidden values
...
...
@@ -563,9 +561,9 @@ getUnusedCons qs@(q:_) = do
getConTy
::
QualIdent
->
WCM
Type
getConTy
q
=
do
tyEnv
<-
gets
valueEnv
return
$
trace
(
"getConTy: "
++
show
q
)
$
case
qualLookupValue
q
tyEnv
of
[
DataConstructor
_
_
(
ForAllExist
_
_
ty
)]
->
trace
(
show
ty
)
ty
[
NewtypeConstructor
_
(
ForAllExist
_
_
ty
)]
->
trace
(
show
ty
)
ty
return
$
case
qualLookupValue
q
tyEnv
of
[
DataConstructor
_
_
(
ForAllExist
_
_
ty
)]
->
ty
[
NewtypeConstructor
_
(
ForAllExist
_
_
ty
)]
->
ty
_
->
internalError
$
"Checks.WarnCheck.getConTy: "
++
show
q
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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