Skip to content

Instantly share code, notes, and snippets.

@ryanmr

ryanmr/semant.sml

Created April 4, 2015 01:50
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ryanmr/2908c3bcfb708ff36421 to your computer and use it in GitHub Desktop.
Save ryanmr/2908c3bcfb708ff36421 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
semant.sml
val params' = map (fn ({name, escape, typ, pos}) => (
(case Symbol.look(tenv, typ) of
SOME(t) => t
| NONE => (report pos (E.UndeclaredType (Symbol.name name)) "undeclared type in function params"; E.ERROR)
)
)) params
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment