summary refs log tree commit diff stats
path: root/compiler/semmagic.nim
Commit message (Expand)AuthorAgeFilesLines
...
* init checks and 'out' parameters (#14521)Andreas Rumpf2020-06-231-3/+0
* fix #14243 (#14257)cooldome2020-05-071-5/+9
* drnim: tiny progress (#13882)Andreas Rumpf2020-04-151-8/+22
* Turn some of the errors back into warningsZahary Karadjov2020-04-011-1/+16
* DrNim (Nim compiler with Z3 integration) (#13743)Andreas Rumpf2020-03-311-0/+25
* rename `lenTuple` and `lenVarargs` (#13639)Miran2020-03-121-1/+1
* Remove dead magics (#13551)Arne Döring2020-03-031-3/+1
* fix incorrect lenTuple implementation (#13423)Timothee Cour2020-02-191-0/+4
* fix `is` with generic types; fix `genericHead(Foo[T])` (#13303)Timothee Cour2020-02-091-10/+16
* miscellaneous bug fixes (part 3) (#13304)Timothee Cour2020-02-071-1/+1
* fix #13349 regression: isNamedTuple now works with generic tuples (#13350)Timothee Cour2020-02-071-0/+1
* fixes #13095 (#13181)cooldome2020-01-171-0/+3
* fixes #13112 (#13127)Andreas Rumpf2020-01-131-2/+9
* more arc features (#13098)Andreas Rumpf2020-01-101-0/+31
* distinctBase type trait for distinct types (#13031)cooldome2020-01-081-0/+16
* fixes #12804 (#12809)cooldome2019-12-051-2/+2
* Cosmetic compiler cleanup (#12718)Clyybber2019-11-281-37/+36
* error message: Nim calls it 'proc'Andreas Rumpf2019-11-071-1/+1
* fix deprecation warnings related to Int128 (#12474)Miran2019-10-281-2/+2
* Fix spellings (#12277) [backport]Federico Ceratto2019-09-271-1/+1
* Small ast.nim cleanup (#12156)Clyybber2019-09-091-2/+2
* typeToString can now show (recursively) resolved type aliases; fixes #8569 #...Timothee Cour2019-08-311-0/+8
* int128 on firstOrd, lastOrd and lengthOrd (#11701)Arne Döring2019-08-071-2/+4
* revert changesAndrii Riabushenko2019-07-251-2/+2
* fixes #11826Andrii Riabushenko2019-07-251-2/+2
* Offsetof fixes (#11690)Arne Döring2019-07-091-44/+3
* fixes #11610 (#11659)Andreas Rumpf2019-07-051-0/+2
* fixes #7937 (#11244)Andreas Rumpf2019-05-141-3/+4
* added system.unown to make 'owned' sane to use in practice; later on we might...Araq2019-04-291-0/+35
* more destructor based changes (#10885)Andreas Rumpf2019-03-231-0/+5
* fixes #10807 (#10814)cooldome2019-03-121-5/+5
* 32 bit fixes (#10608)Arne Döring2019-02-131-3/+11
* Stop useless suggestion of unsafeAddr (#10598)LemonBoy2019-02-081-1/+6
* Finalizer proc must be global (#10388)LemonBoy2019-01-221-0/+5
* fix typetraits.`$` regression https://github.com/c-blake/cligen/issues/84 (#1...Timothee Cour2018-12-301-2/+3
* revives: Move typetraits.`$` to system. Fixes #5827 (#10071)Timothee Cour2018-12-301-1/+1
* fixes #9868Araq2018-12-111-2/+0
* fixes #7365alaviss2018-11-261-1/+1
* Fixes multiple bugs with sink arguments (#9802)cooldome2018-11-261-1/+1
* Of operator in vm fixes [backport] (#9717)cooldome2018-11-151-1/+7
* fixes #9610Andreas Rumpf2018-11-031-17/+13
* fixes #9498, typeof is for everybodyAraq2018-10-251-3/+9
* implement sizeof and alignof operator (manually squashed #5664) (#9356)Timothee Cour2018-10-141-2/+55
* fixes #7827, bindSym enhancement (#8499)andri lim2018-08-021-1/+66
* Do not consider enums with holes as ordinals (#8264)LemonBoy2018-07-121-1/+1
* refactoring: remove idents.legacy global variable and pass the IdentCache aro...Andreas Rumpf2018-05-271-2/+2
* refactoring: fewer global variablesAndreas Rumpf2018-05-271-1/+1
* remove more global variables in the Nim compilerAndreas Rumpf2018-05-271-1/+1
* platform.nim doesn't use globals anymore; prepare msgs.nim for not using globalsAndreas Rumpf2018-05-181-5/+1
* preparations of making compiler/msgs.nim free of global variablesAndreas Rumpf2018-05-171-1/+1
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-04-26 02:19:30 +0000
aries in emulated and native mode # NO_EMULATION=1 test_apps # compare generated binaries, run them in native mode # NO_EMULATION=1 test_apps record # run binaries just in native mode set -e cd `dirname $0` test $NO_EMULATION || EMULATED=1 test $EMULATED && echo 'testing emulated runs' test `uname` = 'Linux' && NATIVE=1 test $NATIVE && echo 'testing native runs' ./build export OS=${OS:-linux} echo "== translating and running using C++" # increase stack ulimit -S -s 131072 # 128MB # example programs echo ex1 ./bootstrap translate init.$OS apps/ex1.subx -o apps/ex1 test "$1" = 'record' || git diff --exit-code apps/ex1 test $EMULATED && { ./bootstrap run apps/ex1 || ret=$? test $ret -eq 42 # life, the universe and everything } test $NATIVE && { apps/ex1 || ret=$? test $ret -eq 42 # life, the universe and everything } echo ex2 ./bootstrap translate init.$OS apps/ex2.subx -o apps/ex2 test "$1" = 'record' || git diff --exit-code apps/ex2 test $EMULATED && { ./bootstrap run apps/ex2 || ret=$? test $ret -eq 7 # 3 + 4 } test $NATIVE && { apps/ex2 || ret=$? test $ret -eq 7 # 3 + 4 } echo ex3 ./bootstrap translate init.$OS apps/ex3.subx -o apps/ex3 test "$1" = 'record' || git diff --exit-code apps/ex3 test $EMULATED && { ./bootstrap run apps/ex3 || ret=$? test $ret -eq 55 # 1 + 2 + ... + 10 } test $NATIVE && { apps/ex3 || ret=$? test $ret -eq 55 # 1 + 2 + ... + 10 } echo ex4 ./bootstrap translate init.$OS apps/ex4.subx -o apps/ex4 test "$1" = 'record' || git diff --exit-code apps/ex4 test $EMULATED && { echo a | ./bootstrap run apps/ex4 >ex4.out || true test `cat ex4.out` = 'a' } test $NATIVE && { echo a | apps/ex4 >ex4.out || true test `cat ex4.out` = 'a' } echo ex5 ./bootstrap translate init.$OS apps/ex5.subx -o apps/ex5 test "$1" = 'record' || git diff --exit-code apps/ex5 test $EMULATED && { echo a | ./bootstrap run apps/ex5 >ex5.out || true test `cat ex5.out` = 'a' } test $NATIVE && { echo a | apps/ex5 >ex5.out || true test `cat ex5.out` = 'a' } echo ex6 ./bootstrap translate init.$OS apps/ex6.subx -o apps/ex6 test "$1" = 'record' || git diff --exit-code apps/ex6 test $EMULATED && { ./bootstrap run apps/ex6 >ex6.out || true test "`cat ex6.out`" = 'Hello, world!' } test $NATIVE && { apps/ex6 >ex6.out || true test "`cat ex6.out`" = 'Hello, world!' } echo ex7 ./bootstrap translate init.$OS apps/ex7.subx -o apps/ex7 test "$1" = 'record' || git diff --exit-code apps/ex7 test $EMULATED && { ./bootstrap run apps/ex7 || ret=$? test $ret -eq 97 # 'a' } test $NATIVE && { apps/ex7 || ret=$? test $ret -eq 97 # 'a' } echo ex8 ./bootstrap translate init.$OS apps/ex8.subx -o apps/ex8 test "$1" = 'record' || git diff --exit-code apps/ex8 test $EMULATED && { ./bootstrap run apps/ex8 abcd || ret=$? test $ret -eq 4 # length('abcd') } test $NATIVE && { apps/ex8 abcd || ret=$? test $ret -eq 4 # length('abcd') } echo ex9 ./bootstrap translate init.$OS apps/ex9.subx -o apps/ex9 test "$1" = 'record' || git diff --exit-code apps/ex9 test $EMULATED && { ./bootstrap run apps/ex9 z x || ret=$? test $ret -eq 2 # 'z' - 'x' } test $NATIVE && { apps/ex9 z x || ret=$? test $ret -eq 2 # 'z' - 'x' } echo ex10 ./bootstrap translate init.$OS apps/ex10.subx -o apps/ex10 test "$1" = 'record' || git diff --exit-code apps/ex10 test $EMULATED && { ./bootstrap run apps/ex10 abc abc || ret=$? test $ret -eq 1 # equal ./bootstrap run apps/ex10 abc abcd # 0; not equal } test $NATIVE && { apps/ex10 abc abc || ret=$? test $ret -eq 1 # equal apps/ex10 abc abcd # 0; not equal } echo ex11 ./bootstrap translate init.$OS apps/ex11.subx -o apps/ex11 test "$1" = 'record' || git diff --exit-code apps/ex11 test $EMULATED && { ./bootstrap run apps/ex11 echo } test $NATIVE && { apps/ex11 echo } echo ex12 ./bootstrap translate init.$OS apps/ex12.subx -o apps/ex12 test "$1" = 'record' || git diff --exit-code apps/ex12 test $EMULATED && ./bootstrap run apps/ex12 # final byte of mmap'd address is well-nigh guaranteed to be 0 test $NATIVE && apps/ex12 echo ex13 ./bootstrap translate init.$OS apps/ex13.subx -o apps/ex13 test "$1" = 'record' || git diff --exit-code apps/ex13 test $EMULATED && { ./bootstrap run apps/ex13 || ret=$? test $ret -eq 1 # 3 == 3 } test $NATIVE && { apps/ex13 || ret=$? test $ret -eq 1 # 3 == 3 } # Larger apps that use the standard library. echo factorial ./bootstrap translate init.$OS [01]*.subx apps/factorial.subx -o apps/factorial test "$1" = 'record' || git diff --exit-code apps/factorial test $EMULATED && { ./bootstrap run apps/factorial || ret=$? test $ret -eq 120 # factorial(5) ./bootstrap run apps/factorial test echo } test $NATIVE && { apps/factorial || ret=$? test $ret -eq 120 # factorial(5) apps/factorial test echo } echo crenshaw2-1 ./bootstrap translate init.$OS [01]*.subx apps/crenshaw2-1.subx -o apps/crenshaw2-1 test "$1" = 'record' || git diff --exit-code apps/crenshaw2-1 test $EMULATED && { ./bootstrap run apps/crenshaw2-1 test echo } test $NATIVE && { apps/crenshaw2-1 test echo } echo crenshaw2-1b ./bootstrap translate init.$OS [01]*.subx apps/crenshaw2-1b.subx -o apps/crenshaw2-1b test "$1" = 'record' || git diff --exit-code apps/crenshaw2-1b test $EMULATED && { ./bootstrap run apps/crenshaw2-1b test echo } test $NATIVE && { apps/crenshaw2-1b test echo } # Phases of the self-hosted SubX translator. for phase in hex survey pack assort dquotes tests do echo $phase ./bootstrap translate init.$OS [01]*.subx apps/subx-params.subx apps/$phase.subx -o apps/$phase test "$1" = 'record' || git diff --exit-code apps/$phase test $EMULATED && { ./bootstrap run apps/$phase test echo } test $NATIVE && { apps/$phase test echo } done # Higher-level syntax. # Certain phases of translation run native beyond this point. We're starting # to go beyond functionality of the C++ bootstrap. echo sigils ./bootstrap translate init.$OS [012]*.subx apps/subx-params.subx apps/sigils.subx -o apps/sigils test "$1" = 'record' || git diff --exit-code apps/sigils test $EMULATED && { ./bootstrap run apps/sigils test echo } test $NATIVE && { apps/sigils test echo } test $NATIVE || { echo 'there are more tests, but you need Linux to run them'; exit 0; } echo calls cat init.$OS [012]*.subx apps/subx-params.subx apps/calls.subx | apps/sigils > a.sigils ./bootstrap translate a.sigils -o apps/calls test "$1" = 'record' || git diff --exit-code apps/calls test $EMULATED && { ./bootstrap run apps/calls test echo } test $NATIVE && { apps/calls test echo } echo braces cat init.$OS [012]*.subx apps/subx-params.subx apps/braces.subx | apps/calls | apps/sigils > a.sigils ./bootstrap translate a.sigils -o apps/braces test "$1" = 'record' || git diff --exit-code apps/braces test $EMULATED && { ./bootstrap run apps/braces test echo } test $NATIVE && { apps/braces test echo } echo mu cat init.$OS [0-9]*.subx apps/mu.subx | apps/braces | apps/calls | apps/sigils > a.sigils ./bootstrap translate a.sigils -o apps/mu test "$1" = 'record' || git diff --exit-code apps/mu test $EMULATED && { ./bootstrap run apps/mu test echo } test $NATIVE && { apps/mu test echo } test $NATIVE || exit 0 echo "== translating using SubX (native only)" # example programs for n in `seq 1 12` do echo ex$n ./translate_subx init.$OS apps/ex$n.subx diff apps/ex$n a.elf done # Larger apps that use the standard library. for app in factorial crenshaw2-1 crenshaw2-1b do echo $app ./translate_subx init.$OS [01]*.subx apps/$app.subx diff apps/$app a.elf done # Phases of the self-hosted SubX translator. for app in hex survey pack assort dquotes tests do echo $app ./translate_subx init.$OS [01]*.subx apps/subx-params.subx apps/$app.subx diff apps/$app a.elf done for app in sigils calls braces do echo $app ./translate_subx init.$OS [012]*.subx apps/subx-params.subx apps/$app.subx diff apps/$app a.elf done # Mu translator echo mu ./translate_subx init.$OS [0-9]*.subx apps/mu.subx diff apps/mu a.elf # Mu programs echo ex1.mu ./translate_mu apps/ex1.mu test $EMULATED && { ./bootstrap run a.elf || ret=$? test $ret -eq 42 # life, the universe and everything } test $NATIVE && { ./a.elf || ret=$? test $ret -eq 42 # life, the universe and everything } echo ex2.mu ./translate_mu apps/ex2.mu test $EMULATED && { ./bootstrap run a.elf || ret=$? test $ret -eq 7 } test $NATIVE && { ./a.elf || ret=$? test $ret -eq 7 } echo ex3.mu ./translate_mu apps/ex3.mu test $EMULATED && { ./bootstrap run a.elf || ret=$? test $ret -eq 55 } test $NATIVE && { ./a.elf || ret=$? test $ret -eq 55 } echo ex3.2.mu ./translate_mu apps/ex3.2.mu test $EMULATED && { ./bootstrap run a.elf || ret=$? test $ret -eq 55 } test $NATIVE && { ./a.elf || ret=$? test $ret -eq 55 } echo factorial.mu ./translate_mu apps/factorial.mu test $EMULATED && { ./bootstrap run a.elf || ret=$? test $ret -eq 120 ./bootstrap run a.elf test echo } test $NATIVE && { ./a.elf || ret=$? test $ret -eq 120 ./a.elf test echo } exit 0
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-04-26 02:19:25 +0000