git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
d689c19
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
10 years ago
a254920
fixed tail call optim when closuser involved
Rui Barreiro
10 years ago
dc44b02
new javascript backend
Rui Barreiro
10 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