summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-10-06 18:48:37 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-10-06 18:48:53 +0200
commitea99111b2565035ac60e971db5a050a2d2614bb5 (patch)
tree9230e918aecfa768e28afa697a85d2308c9296ab /prolog
parent5a1b4202dfa99bb88fab6b1f23594bd2def811c6 (diff)
Add "program is already correct" hints
Diffstat (limited to 'prolog')
-rw-r--r--prolog/common.py3
-rw-r--r--prolog/sl.py16
2 files changed, 9 insertions, 10 deletions
diff --git a/prolog/common.py b/prolog/common.py
index 8dca4dd..654ab81 100644
--- a/prolog/common.py
+++ b/prolog/common.py
@@ -5,7 +5,8 @@ import prolog.engine
from server.hints import Hint, HintSequence
hint_type = {
- 'no_hint': HintSequence('no_hint', 4),
+ 'no_hint': Hint('no_hint'),
+ 'program_already_correct': Hint('program_already_correct'),
'system_error': Hint('system_error'),
'test_results': Hint('test_results'),
'syntax_error': Hint('syntax_error'),
diff --git a/prolog/sl.py b/prolog/sl.py
index 293f5a6..1de28ba 100644
--- a/prolog/sl.py
+++ b/prolog/sl.py
@@ -4,15 +4,13 @@ name = 'Prolog'
description = 'Uvodni tečaj prologa.'
hint = {
- 'no_hint': ['''\
-<p>Namig ne obstaja! Poskusi uporabiti misli.</p>
-''', '''\
-<p>Ma res ti pravim, možgani so tvoje največje bogastvo…</p>
-''', '''\
-<p>… razen ledvic, te so vredne več na črnem trgu.</p>
-''', '''\
-<p>Definicija norosti: poskušati isto in pričakovati drugačen rezultat.</p>
-'''],
+ 'no_hint': '''\
+<p>Namig ne obstaja.</p>
+''',
+
+ 'program_already_correct': '''\
+<p>Tvoj program je pravilen!</p>
+''',
'system_error': ['''\
<p><span style="color: red;">Sistemska napaka:</span> [%=message%].</p>