Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

removed incomplete sample

  • Loading branch information...
commit 9303e0b59bc1a5a7954e8ef57a3cb9821da488f9 1 parent d69775e
Fabien Fleutot authored
Showing with 0 additions and 5 deletions.
  1. +0 −5 {src/samples → junk}/typecheck.mlua
View
5 src/samples/typecheck.mlua → junk/typecheck.mlua
@@ -77,13 +77,8 @@ match function get_type
| `Call{`Id 'table', tk, tv }, _ -> return tv
| `Table{...}==tt, `Id 'string' ->
-
-
local types_rt = require 'extension.types'
-
-
-
function check_function(f, term)
match get_type(term) with
| `Function{ params, {`Return{...} == results}}, args ->
Please sign in to comment.
Something went wrong with that request. Please try again.