diff options
Diffstat (limited to 'source/lux.lux')
| -rw-r--r-- | source/lux.lux | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/source/lux.lux b/source/lux.lux index 5b59d788f..d2a309b5f 100644 --- a/source/lux.lux +++ b/source/lux.lux @@ -206,13 +206,11 @@ ## (deftype HostState ## (& #writer (^ org.objectweb.asm.ClassWriter) -## #loader (^ java.net.URLClassLoader) -## #eval-ctor Int)) +## #loader (^ java.net.URLClassLoader))) (def' HostState (#RecordT (#Cons [["lux;writer" (#DataT "org.objectweb.asm.ClassWriter")] (#Cons [["lux;loader" (#DataT "java.lang.ClassLoader")] - (#Cons [["lux;eval-ctor" Int] - #Nil])])]))) + #Nil])]))) ## (deftype (DefData' m) ## (| #TypeD |