Commit 2ee170a4 authored by John van Groningen's avatar John van Groningen

Merge branch 'remove-ignored-strictness-annotations' into 'master'

Remove ignored strictness annotations from StdLib

See merge request !3
parents 0380d4ab d0951323
...@@ -39,7 +39,7 @@ class updateArrElt a :: !(.e -> .e) !Int !*(a .e) -> *(a .e) ...@@ -39,7 +39,7 @@ class updateArrElt a :: !(.e -> .e) !Int !*(a .e) -> *(a .e)
instance updateArrElt {} instance updateArrElt {}
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 /* accArrElt f index array
= (x, { array & [index] = elt` }) = (x, { array & [index] = elt` })
where (x, elt`) = f array.[index] */ where (x, elt`) = f array.[index] */
......
...@@ -38,7 +38,7 @@ instance updateArrElt {!} ...@@ -38,7 +38,7 @@ instance updateArrElt {!}
# (e,array) = array![index] # (e,array) = array![index]
= {array & [index] = f e} = {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 {} instance accArrElt {}
where where
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment