research/dope2-webapp
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

correct suggestion order also in body of lambda function

Browse source
This commit is contained in:
Joeri Exelmans 2025-05-17 23:32:35 +02:00
parent 1ff4b181ff
commit 24689b3783
7 changed files with 24 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/EnvContext.ts
View file

@ -1,10 +1,13 @@
import { createContext } from "react";
import { getDefaultTypeParser, module2Env, ModuleStd } from "dope2";
export const functionWith3Params = i => j => k => i+j+k;
export const functionWith4Params = i => j => k => l => i+j+k+l;
const mkType = getDefaultTypeParser();
export const extendedEnv = module2Env(ModuleStd.concat([
["functionWith3Params", { i: i => j => k => i + j + k, t: mkType("Int->Int->Int->Int") }],
["functionWith4Params", { i: i => j => k => l => i+j+k+l, t: mkType("Int->Int->Int->Int->Int")}]
["functionWith3Params", { i: functionWith3Params, t: mkType("Int->Int->Int->Int") }],
["functionWith4Params", { i: functionWith4Params, t: mkType("Int->Int->Int->Int->Int")}]
]));
export const EnvContext = createContext(extendedEnv);