Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry-packages
flatcurry-annotated
Commits
175d631f
Commit
175d631f
authored
Dec 16, 2020
by
Fredrik Wieczerkowski
Browse files
Request TAFCY from frontend instead of TFCY
parent
b60c964e
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/FlatCurry/Annotated/Files.curry
View file @
175d631f
...
...
@@ -66,7 +66,7 @@ readAnnotatedFlatCurryWithParseOptions progname options = do
loadpath
readAnnotatedFlatCurryFile filename
Just (dir,_) -> do
callFrontendWithParams TFCY options progname
callFrontendWithParams T
A
FCY options progname
readAnnotatedFlatCurryFile (annotatedFlatCurryFileName (dir </> takeFileName progname))
--- Reads a type-annotated FlatCurry program from a file in `.tafcy` format
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment