Commit ⋅ chakravala/Reduce.jl

Showing 2 of 3 files from the diff.

Other files ignored by Codecov

@@ -318,57 +318,13 @@

```
"""
Reset() = (kill(rs); Load())
__init__() = (Load(); atexit(() -> kill(rs)))
__init__() = (Load(); repl_init(); atexit(() -> kill(rs)))

# Server setup

const s = quote; #global rs = PSL()
    offs = ""
    for o in offlist
        global offs
        o != :nat && (offs = offs*"off $o; ")
    end
    write(rs.input,"off nat; $EOTstr;\n")
    banner = readuntil(rs.output,EOT) |> String
    readavailable(rs.output)
    rcsl = occursin(" CSL ",banner)
    if Sys.iswindows()
        banner = replace(banner,r"\r" => "")
        println(split(String(banner),'\n')[rcsl ? 1 : end-3])
    else
        ReduceCheck(banner)
        println(split(String(banner),'\n')[rcsl ? 1 : end-3])
    end
    load_package(:rlfi)
    offs |> RExpr |> rcall
    rcall(R"on savestructr")
    show(devnull,"text/latex",R"int(sinh(e**i*z),z)")
    R"x" == R"x"
    ListPrint(0)
end

function Load()
    global rs = PSL()
    global s
    if isdefined(Base,:active_repl) && isinteractive()
        eval(s)
        repl_init(Base.active_repl)
    elseif isdefined(Main,:IJulia)
        eval(s)
    else
        atreplinit() do repl
            eval(s)
            !isdefined(Main,:OhMyREPL) &&
                (repl.interface = Base.REPL.setup_interface(repl))
            repl_init(Base.active_repl)
            print('\n')
        end
    end
    return nothing
end

function Preload()
    global rs=PSL()
    offs = ""
    for o in offlist
        o != :nat && (offs = offs*"off $o; ")

@@ -379,18 +335,14 @@

    rcsl = occursin(" CSL ",banner)
    if Sys.iswindows()
        banner = replace(banner,r"\r" => "")
        println(split(String(banner),'\n')[rcsl ? 1 : end-3])
    else
        ReduceCheck(banner)
        println(split(String(banner),'\n')[rcsl ? 1 : end-3])
    end
    global banner = split(String(banner),'\n')[rcsl ? 1 : end-3]
    load_package(:rlfi)
    offs |> RExpr |> rcall
    rcall(R"on savestructr")
    show(devnull,"text/latex",R"int(sinh(e**i*z),z)")
    R"x" == R"x"
    ListPrint(0)
    atexit(()->kill(rs))
    return nothing
end

global preload = false

@@ -1,6 +1,6 @@

global rs = nothing
@info "Precompiling extra Reduce methods (set `ENV[\"REDPRE\"]=\"0\"` to disable)"
Reduce.Preload(); atexit(() -> kill(rs))
Reduce.Load(); atexit(() -> kill(rs))

rcall(:((1+pi)^2)) == convert(Expr,RExpr(rcall("(1+pi)**2")))
try; "1/0" |> rcall; false; catch; true; end

Files		•	•	•	Coverage
src	1,093	884	0	209	80.88%
Project Totals (7 files)	1,093	884	0	209	80.88%

View CI Build Download

No yaml found.

Create your codecov.yml to customize your Codecov experience

Read the docs

Interact now

The inner-most circle is the entire project, moving away from the center are folders then, finally, a single file. The size and color of each slice is representing the number of statements and the coverage, respectively.

SVG

The top section represents the entire project. Proceeding with folders and finally individual files. The size and color of each slice is representing the number of statements and the coverage, respectively.

SVG

Each block represents a single file in the project. The size and color of each block is represented by the number of statements and the coverage, respectively.

SVG

Learn more about the coverage sunburst graph

318	318		```
319	319		"""
320	320		Reset() = (kill(rs); Load())
321		-	__init__() = (Load(); atexit(() -> kill(rs)))
	321	+	__init__() = (Load(); repl_init(); atexit(() -> kill(rs)))
322	322
323	323		# Server setup
324	324
325		-	const s = quote; #global rs = PSL()
326		-	offs = ""
327		-	for o in offlist
328		-	global offs
329		-	o != :nat && (offs = offs*"off $o; ")
330		-	end
331		-	write(rs.input,"off nat; $EOTstr;\n")
332		-	banner = readuntil(rs.output,EOT) \|> String
333		-	readavailable(rs.output)
334		-	rcsl = occursin(" CSL ",banner)
335		-	if Sys.iswindows()
336		-	banner = replace(banner,r"\r" => "")
337		-	println(split(String(banner),'\n')[rcsl ? 1 : end-3])
338		-	else
339		-	ReduceCheck(banner)
340		-	println(split(String(banner),'\n')[rcsl ? 1 : end-3])
341		-	end
342		-	load_package(:rlfi)
343		-	offs \|> RExpr \|> rcall
344		-	rcall(R"on savestructr")
345		-	show(devnull,"text/latex",R"int(sinh(e*iz),z)")
346		-	R"x" == R"x"
347		-	ListPrint(0)
348		-	end
349		-
350	325		function Load()
351	326		global rs = PSL()
352		-	global s
353		-	if isdefined(Base,:active_repl) && isinteractive()
354		-	eval(s)
355		-	repl_init(Base.active_repl)
356		-	elseif isdefined(Main,:IJulia)
357		-	eval(s)
358		-	else
359		-	atreplinit() do repl
360		-	eval(s)
361		-	!isdefined(Main,:OhMyREPL) &&
362		-	(repl.interface = Base.REPL.setup_interface(repl))
363		-	repl_init(Base.active_repl)
364		-	print('\n')
365		-	end
366		-	end
367		-	return nothing
368		-	end
369	327
370		-	function Preload()
371		-	global rs=PSL()
372	328		offs = ""
373	329		for o in offlist
374	330		o != :nat && (offs = offs*"off $o; ")

379	335		rcsl = occursin(" CSL ",banner)
380	336		if Sys.iswindows()
381	337		banner = replace(banner,r"\r" => "")
382		-	println(split(String(banner),'\n')[rcsl ? 1 : end-3])
383	338		else
384	339		ReduceCheck(banner)
385		-	println(split(String(banner),'\n')[rcsl ? 1 : end-3])
386	340		end
	341	+	global banner = split(String(banner),'\n')[rcsl ? 1 : end-3]
387	342		load_package(:rlfi)
388	343		offs \|> RExpr \|> rcall
389	344		rcall(R"on savestructr")
390		-	show(devnull,"text/latex",R"int(sinh(e*iz),z)")
391		-	R"x" == R"x"
392		-	ListPrint(0)
393		-	atexit(()->kill(rs))
	345	+	return nothing
394	346		end
395	347
396	348		global preload = false

Navigation	Overlay
`t` Navigate files	`h` Toggle hits
`y` Change url to tip of branch	`m` Toggle misses
`b / v` Jump to prev/next hit line	`p` Toggle partial
`z / x` Jump to prev/next missed or partial line	`1..9` Toggle flags
`shift + o` Open current page in GitHub	`a` Toggle all on
`/ or ?` Show keyboard shortcuts dialog	`c` Toggle context lines or commits

1	1		global rs = nothing
2	2		@info "Precompiling extra Reduce methods (set `ENV[\"REDPRE\"]=\"0\"` to disable)"
3		-	Reduce.Preload(); atexit(() -> kill(rs))
	3	+	Reduce.Load(); atexit(() -> kill(rs))
4	4
5	5		rcall(:((1+pi)^2)) == convert(Expr,RExpr(rcall("(1+pi)**2")))
6	6		try; "1/0" \|> rcall; false; catch; true; end