(prompt string)
| 108 | } |
| 109 | |
| 110 | func nextLineWithPrompt(prompt string) (string, error) { |
| 111 | rl, err := readline.New(prompt) |
| 112 | if err != nil { |
| 113 | return "", err |
| 114 | } |
| 115 | line, err := rl.Readline() |
| 116 | if err != nil { |
| 117 | return "", err |
| 118 | } |
| 119 | readline.AddHistory(line) |
| 120 | return strings.TrimSpace(line), nil |
| 121 | } |
| 122 | |
| 123 | func (i *Interpreter) showPredicate(p ast.PredicateSym) { |
| 124 | const docStringMargin = 50 |