Skip to content

Commit 860ff44

Browse files
committed
Feat + Refactor : removed uneccesary lines + added info to README
1 parent 8f9eb21 commit 860ff44

File tree

3 files changed

+5
-39
lines changed

3 files changed

+5
-39
lines changed

README.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,11 @@ After running the setup script, you can start using Metta directly from the term
3737
```bash
3838
metta-run example.metta fct
3939
```
40+
- To format any output you get from metta-run:
41+
42+
```bash
43+
metta-run example.metta f
44+
```
4045

4146
- To run Metta without automatically activating the Python environment (you need to activate it manually first):
4247

metta-run/src/formatters/output_formater.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ pub fn format(metta_output: (String, String)) {
66
let mut indent_level = 0;
77
let (metta_err, metta_str) = metta_output;
88

9-
// println!("this is working ++++++++++++++++++++++++++++++++ {}",);
109

1110
if !metta_err.is_empty() {
1211
if let Some(last_line) = metta_err.lines().last() {
Lines changed: 0 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -1,39 +1 @@
11
!(TreeNode (Value Nil False ROOT) Nil (Cons NilNode (Cons (TreeNode (Value Nil True OR) Nil (Cons (TreeNode (Value a False LITERAL) Nil Nil) (Cons (TreeNode (Value Nil True AND) Nil (Cons (TreeNode (Value b False LITERAL) Nil Nil) (Cons (TreeNode (Value c False LITERAL) Nil Nil) Nil))) Nil))) Nil)))
2-
; !(assertEqualToResult 3 (+ 1 2) )
3-
4-
; ; !(get-type )
5-
6-
; (: isConsistent (-> (List Tree) Bool))
7-
; (= (isConsistent Nil) True)
8-
; (= (isConsistent (Cons $x $xs))
9-
; (if (detectConsistency $x $xs)
10-
; (isConsistent $xs)
11-
; False
12-
; )
13-
; )
14-
15-
; !(isConsistent
16-
; (Cons
17-
; (TreeNode
18-
; (Value "A" True AND)
19-
; Nil
20-
; (Cons
21-
; (TreeNode (Value "B" True OR) Nil Nil)
22-
; (Cons
23-
; (TreeNode (Value "C" False LITERAL) Nil Nil)
24-
; Nil
25-
; )
26-
; )
27-
; )
28-
; (Cons
29-
; (TreeNode (Value "B" True OR) Nil Nil)
30-
; (Cons
31-
; (TreeNode (Value "C" True LITERAL) Nil Nil)
32-
; (Cons
33-
; (TreeNode (Value "A" True LITERAL) Nil Nil)
34-
; Nil
35-
; )
36-
; )
37-
; )
38-
; )
39-
; )

0 commit comments

Comments
 (0)