Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-compiler-and-rts
compiler
Commits
bde940b4
Commit
bde940b4
authored
Apr 21, 2005
by
John van Groningen
Browse files
remove unused variable s
parent
6196612d
Changes
1
Hide whitespace changes
Inline
Side-by-side
frontend/unitype.icl
View file @
bde940b4
...
...
@@ -764,7 +764,6 @@ where
tryToMakeNonUnique
::
!
Int
!*
Coercions
->
(!
Bool
,
!*
Coercions
)
tryToMakeNonUnique
attr
coercions
=:{
coer_demanded
}
#!
s
=
size
coer_demanded
|
isUnique
coer_demanded
.[
attr
]
// -?-> (s <= attr, ("tryToMakeNonUnique", s, attr))]
=
(
False
,
coercions
)
...
...
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