on ea65347 help sign in
all commits
38484ffMerge branch 'master' of github.com:idris-lang/Idris-dev into search_for_includes_in_getIdrisLibDirRui Barreiro b71febeMerge branch 'master' of github.com:idris-lang/Idris-dev into issue_3697Rui Barreiro 1f50430added require for the %lib anotations in js backendRui Barreiro b36b2fdchanged js backend to look for includes also in getIdrisLibDirRui Barreiro c2df755JS Codegen : Add call specializebe5invis 4f002e5JSRTS: move templates into JSRTSbe5invis 9ed63a9fix basic008be5invis a16a24foptimize: morebe5invis 44f772dRefactorbe5invis 48f9a4bfixed LSHL for IT64Rui Barreiro 3e86df1added many missing primitives that were in the old backendRui Barreiro c76582fmoved js code from AST.hs to Runtime-common.jsRui Barreiro 1c908c3added import for applicativeRui Barreiro cb85d5echanged names to camelcaseRui Barreiro 8579263remove use of DeriveAnyClassRui Barreiro 57fb08erunned stylizeRui Barreiro d98e5f2added LIntFloat ITBig to the js backendRui Barreiro b2c56c3added JS_Float to available js foreign argsRui Barreiro 3e44eeeremoved dead code return null after thwow for LErrorRui Barreiro 487c639fixed LFloatInt primitiveRui Barreiro e1d16e2added more primitives, all tests passing nowRui Barreiro 492d0f6added more primFn to pass bounded testRui Barreiro 18fa741removed unused constructorsRui Barreiro da46fd6added function name to error message for invalid ffi typesRui Barreiro 8453697added support for bigints and int32, before both of than were working with js numbers(doubles)Rui Barreiro 462d4f2improvment in tailcall optim usage of variablesRui Barreiro 2be53f8created names for partial applicationsRui Barreiro a254920fixed tail call optim when closuser involvedRui Barreiro dc44b02new javascript backendRui Barreiro