Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
clean-and-itasks
clean-platform
Commits
33754024
Commit
33754024
authored
Oct 17, 2018
by
Mart Lubbers
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Revert an accidental change
parent
647c96a3
Pipeline
#15144
passed with stage
in 1 minute and 10 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
1 addition
and
1 deletion
+1
-1
src/libraries/OS-Independent/Data/GenFDomain.icl
src/libraries/OS-Independent/Data/GenFDomain.icl
+1
-1
No files found.
src/libraries/OS-Independent/Data/GenFDomain.icl
View file @
33754024
...
...
@@ -9,7 +9,7 @@ generic gFDomain a :: [a]
gFDomain
{|
Bool
|}
=
[
False
,
True
]
gFDomain
{|
Char
|}
=
map
toChar
[
0
..
255
]
gFDomain
{|
UNIT
|}
=
[
UNIT
]
gFDomain
{|
PAIR
|}
dx
dy
=
zipWith
PAIR
dx
dy
gFDomain
{|
PAIR
|}
dx
dy
=
[
PAIR
x
y
\\
x
<-
dx
,
y
<-
dy
]
gFDomain
{|
EITHER
|}
dx
dy
=
map
LEFT
dx
++
map
RIGHT
dy
gFDomain
{|
CONS
|}
dx
=
map
CONS
dx
gFDomain
{|
FIELD
|}
dx
=
map
FIELD
dx
...
...
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