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-and-itasks
clm
Commits
33578d2b
Commit
33578d2b
authored
Oct 16, 2003
by
Ronny Wichers Schreur
🏘
Browse files
fixed uniqueness problem exposed by Clean 2.1 compiler
parent
a03183a6
Changes
2
Hide whitespace changes
Inline
Side-by-side
CleanIDE/Util/flexwin.dcl
View file @
33578d2b
...
...
@@ -7,7 +7,7 @@ class content_size c :: FontMetrics c -> Int
::
FlexBarState
s
::
FlexBarWindow
s
ls
pst
=
FlexBarWindow
Title
[(
String
,
Maybe
Int
)]
s
(
s
.
Int
.
Int
[.
Int
]
->
(.
SelectState
.
UpdateState
->
.
(*
Picture
->
*
Picture
)))
(
s
.
Int
.
Int
[.
Int
]
->
(.
SelectState
.
UpdateState
->
(*
Picture
->
*
Picture
)))
![(
FlexBarState
s
)
->
FlexBarState
s
]
(
R2Id
(
MessageIn
s
)
(
MessageOut
s
))
[
WindowAttribute
*(
ls
,
pst
)]
...
...
CleanIDE/Util/flexwin.icl
View file @
33578d2b
...
...
@@ -58,7 +58,7 @@ mi2cw (Just w)
Title
[(
String
,
Maybe
Int
)]
s
(
s
.
Int
.
Int
[.
Int
]
->
(.
SelectState
.
UpdateState
->
.
(*
Picture
->
*
Picture
)))
(
s
.
Int
.
Int
[.
Int
]
->
(.
SelectState
.
UpdateState
->
(*
Picture
->
*
Picture
)))
![(
FlexBarState
s
)
->
FlexBarState
s
]
(
R2Id
(
MessageIn
s
)
(
MessageOut
s
))
[
WindowAttribute
*(
ls
,
pst
)]
...
...
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