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
clean-libraries
Commits
d0951323
Verified
Commit
d0951323
authored
Aug 06, 2019
by
Camil Staps
Browse files
Remove ignored strictness annotations from StdLib
parent
0380d4ab
Changes
2
Show whitespace changes
Inline
Side-by-side
Libraries/StdLib/StdArrayExtensions.dcl
View file @
d0951323
...
...
@@ -39,7 +39,7 @@ class updateArrElt a :: !(.e -> .e) !Int !*(a .e) -> *(a .e)
instance
updateArrElt
{}
instance
updateArrElt
{!}
class
accArrElt
a
::
!(.
e
->
(
!
.
x
,
!
.
e
))
!
Int
!*(
a
.
e
)
->
(!.
x
,
!*(
a
.
e
))
class
accArrElt
a
::
!(.
e
->
(.
x
,
.
e
))
!
Int
!*(
a
.
e
)
->
(!.
x
,
!*(
a
.
e
))
/* accArrElt f index array
= (x, { array & [index] = elt` })
where (x, elt`) = f array.[index] */
...
...
Libraries/StdLib/StdArrayExtensions.icl
View file @
d0951323
...
...
@@ -38,7 +38,7 @@ instance updateArrElt {!}
#
(
e
,
array
)
=
array
![
index
]
=
{
array
&
[
index
]
=
f
e
}
class
accArrElt
a
::
!(.
e
->
(
!
.
x
,
!
.
e
))
!
Int
!*(
a
.
e
)
->
(!.
x
,
!*(
a
.
e
))
class
accArrElt
a
::
!(.
e
->
(.
x
,
.
e
))
!
Int
!*(
a
.
e
)
->
(!.
x
,
!*(
a
.
e
))
instance
accArrElt
{}
where
...
...
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