git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
src/IRTS/JavaScript/Codegen.hs
all commits
8882622
fix #4656
Rui Barreiro
8 years ago
fb717cc
Fix compilation with GHC 8.4
Niklas Larsson
9 years ago
74d29c0
Replace '-' with '_' in LHS of Node requires
Naman Bharadwaj
9 years ago
9e34930
Fix export in Node back end
Edwin Brady
9 years ago
3ccb494
Remove the empty property 'copyright'.
Jan de Muijnck-Hughes
9 years ago
2eea508
fixed point free functions, IO returning functions and added a test, all for js interfaces functionality
Rui Barreiro
9 years ago
938b321
run stylize
Rui Barreiro
9 years ago
d3f9138
interface parameter is passed to codegen
Rui Barreiro
9 years ago
2dd2fd1
add support for FFI_Export in js backend but the command line option does not reach js yet
Rui Barreiro
9 years ago
50d0e48
Merge pull request #3919 from geigerzaehler/simplify-language-var
Ahmad Salim Al-Sibahi
9 years ago
96c1aea
Remove redundant imports
Thomas Scholtes
9 years ago
4fc4c93
Remove unused function in JS codegen
Thomas Scholtes
9 years ago
41cc113
Remove unused data in JS code generation
Thomas Scholtes
9 years ago
311e3be
Simplify JS code generation
Thomas Scholtes
9 years ago
63944aa
Simplify LV/DV constructor be removing unused case
Thomas Scholtes
9 years ago
19a7a2d
stylize whitespace fix
Rui Barreiro
9 years ago
a9eaa61
fix_js_unexpected_con_as_glob
Rui Barreiro
9 years ago
810b5dc
Also fixed issue where require-ing filenames with periods would end up unintentally having property access syntax
Risto Stevcev
9 years ago
2fdf342
Fix issue where relative paths aren't parsed correctly for JS %lib includes
Risto Stevcev
9 years ago
38484ff
Merge branch 'master' of github.com:idris-lang/Idris-dev into search_for_includes_in_getIdrisLibDir
Rui Barreiro
9 years ago
b71febe
Merge branch 'master' of github.com:idris-lang/Idris-dev into issue_3697
Rui Barreiro
9 years ago
1f50430
added require for the %lib anotations in js backend
Rui Barreiro
9 years ago
b36b2fd
changed js backend to look for includes also in getIdrisLibDir
Rui Barreiro
9 years ago
c2df755
JS Codegen : Add call specialize
be5invis
9 years ago
4f002e5
JSRTS: move templates into JSRTS
be5invis
9 years ago
9ed63a9
fix basic008
be5invis
9 years ago
a16a24f
optimize: more
be5invis
9 years ago
44f772d
Refactor
be5invis
9 years ago
48f9a4b
fixed LSHL for IT64
Rui Barreiro
9 years ago
3e86df1
added many missing primitives that were in the old backend
Rui Barreiro
9 years ago
c76582f
moved js code from AST.hs to Runtime-common.js
Rui Barreiro
9 years ago
1c908c3
added import for applicative
Rui Barreiro
9 years ago
cb85d5e
changed names to camelcase
Rui Barreiro
9 years ago
8579263
remove use of DeriveAnyClass
Rui Barreiro
9 years ago
57fb08e
runned stylize
Rui Barreiro
9 years ago
d98e5f2
added LIntFloat ITBig to the js backend
Rui Barreiro
9 years ago
b2c56c3
added JS_Float to available js foreign args
Rui Barreiro
9 years ago
3e44eee
removed dead code return null after thwow for LError
Rui Barreiro
9 years ago
487c639
fixed LFloatInt primitive
Rui Barreiro
9 years ago
e1d16e2
added more primitives, all tests passing now
Rui Barreiro
9 years ago
492d0f6
added more primFn to pass bounded test
Rui Barreiro
9 years ago
18fa741
removed unused constructors
Rui Barreiro
9 years ago
da46fd6
added function name to error message for invalid ffi types
Rui Barreiro
9 years ago
8453697
added support for bigints and int32, before both of than were working with js numbers(doubles)
Rui Barreiro
9 years ago
462d4f2
improvment in tailcall optim usage of variables
Rui Barreiro
9 years ago
2be53f8
created names for partial applications
Rui Barreiro
9 years ago
a254920
fixed tail call optim when closuser involved
Rui Barreiro
9 years ago
dc44b02
new javascript backend
Rui Barreiro
9 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list