diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2023-02-18 22:50:38 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2023-02-18 22:50:38 +0100 |
| commit | 3eb6125609245c6588df2cacc3102b8e78093ea5 (patch) | |
| tree | d535681915977183ab77d0f092ba63cfa6c9dbd8 /app/Load.hs | |
| parent | de4775bd772703acb02fb1c953e5207be5bc0506 (diff) | |
| download | prlg-3eb6125609245c6588df2cacc3102b8e78093ea5.tar.gz prlg-3eb6125609245c6588df2cacc3102b8e78093ea5.tar.bz2 | |
expand like a prohuman
Diffstat (limited to 'app/Load.hs')
| -rw-r--r-- | app/Load.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Load.hs b/app/Load.hs index b1ad0a5..23b92fe 100644 --- a/app/Load.hs +++ b/app/Load.hs @@ -60,9 +60,9 @@ expansion noexpand expander output x = do ] else noexpand o x -queryExpansion = expansion (\_ -> id) "query_expansion" "call" +queryExpansion = expansion (\_ -> id) "expand_query" "call" -loadExpansion = expansion (\o x -> IR.CallI o [x]) "load_expansion" "assert" +loadExpansion = expansion (\o x -> IR.CallI o [x]) "expand_load" "assert" processInput fn queryMode input = do asts <- except $ tokenize fn input >>= parse fn |