suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[icfp] remove old elabbo names

Browse Source
This commit is contained in:
ben 2016-03-16 10:26:32 -04:00
parent 1e8e800f25
commit c32c1a3be9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
icfp-2016/usage.scrbl
View File

@ -109,7 +109,7 @@ In Typed Racket this function is rather simple because the most common
Now to use @racket[fmt->types] in an elaboration. Now to use @racket[fmt->types] in an elaboration.
Given a call to @racket[printf], we check the number of arguments and Given a call to @racket[printf], we check the number of arguments and
add type annotations using the inferred types. add type annotations using the inferred types.
For all other syntax patterns, @racket[t-printf] is the identity elaboration. For all other syntax patterns, we perform the identity elaboration.
@exact|{ @exact|{
\hfill\fbox{$\elabf \in \elab$} \hfill\fbox{$\elabf \in \elab$}
@ -503,7 +503,7 @@ We parse @tt{SELECT} statements using @racket[sql->constr] and extract
}| }|
The schema, connection, and query constraints now come together in elaborations The schema, connection, and query constraints now come together in elaborations
such as @exact{$\RktMeta{query-exec} \in \elab$}. such as a wrapper @exact{$\elabf$} over @racket[query-row].
There is still a non-trivial amount of work to be done resolving wildcards and There is still a non-trivial amount of work to be done resolving wildcards and
validating row names before the type-annotated result is produced, validating row names before the type-annotated result is produced,
but all the necessary information is available, statically. but all the necessary information is available, statically.