Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
0015ffed
Commit
0015ffed
authored
May 29, 2017
by
Sylvain Dailler
Browse files
SHELL IDE: Remove failing cases for some notifications
parent
18bd32c0
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/tools/why3shell.ml
View file @
0015ffed
...
...
@@ -238,8 +238,8 @@ let treat_notification fmt n =
|
Message
(
msg
)
->
treat_message_notification
fmt
msg
|
Dead
_s
->
(* TODO *)
fprintf
fmt
"got a Dead notification not yet supported@."
|
File_contents
_
->
assert
false
(* TODO *)
|
Next_Unproven_Node_Id
_
->
assert
false
(* TODO *)
|
File_contents
_
->
fprintf
fmt
"got a File_contents notification not yet supported@."
(* TODO *)
|
Next_Unproven_Node_Id
_
->
fprintf
fmt
"got a Next_Unproven_Node_Id notification not yet supported@."
(* TODO *)
|
Task
(
id
,
s
,
_list_loc
)
->
(* coloring the source is useless in shell *)
try
...
...
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