sid-code / boolalg Goto Github PK

Hi,

I'm facing following compile errors in boolalg.nim:

1. Line 59:
   let realComment = if isNil(comment): simpl.history[^1].comment else: comment
   gives me:

Error: type mismatch: got but expected 'string'

Tried to fix it with:
let realComment = if (comment == ""): simpl.history[^1].comment else: comment

2. Line 55:
   proc addSubstep(simpl: BExpSimplifier, subSimpl: BExpSimplifier, comment: string = nil) =
   gives me:

Error: type mismatch: got but expected 'string'

tried to fix it with:
proc addSubstep(simpl: BExpSimplifier, subSimpl: BExpSimplifier, comment: string = "") =

3. Line 71:
   s.write(step.substep, indent + 1)
   gives me:
   Error: type mismatch: got <BExpSimplifier>

Any ideas on this?
Thx,
Sven

edit:
Nim Compiler Version 0.20.2 [Windows: amd64]

Hi,
are there any background information available about the algorithm you are using?
Thx,
Sven