Skip to content
GitLab
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
cc1c5c8d
Commit
cc1c5c8d
authored
Apr 12, 2007
by
John van Groningen
Browse files
remove unused type Choice
parent
a56463d1
Changes
2
Hide whitespace changes
Inline
Side-by-side
frontend/general.dcl
View file @
cc1c5c8d
...
...
@@ -25,8 +25,6 @@ instance <<< [a] | <<< a
hasOption
::
(
Optional
x
)
->
Bool
::
Choice
a
b
=
Either
a
|
Or
b
(--->)
infix
::
.
a
!
b
->
.
a
|
<<<
b
(<---)
infix
::
!.
a
!
b
->
.
a
|
<<<
b
traceValue
::
!
String
!
String
.
a
->
.
a
...
...
frontend/general.icl
View file @
cc1c5c8d
...
...
@@ -11,8 +11,6 @@ import StdEnv
::
Optional
x
=
Yes
!
x
|
No
::
Choice
a
b
=
Either
a
|
Or
b
cMAXINT
:==
2147483647
::
BITVECT
:==
Int
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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