Skip to content

Instantly share code, notes, and snippets.

@zaphar

zaphar/gist:1adc8d461097c52ff32f

Created June 9, 2015 02:18
Show Gist options
  • Save zaphar/1adc8d461097c52ff32f to your computer and use it in GitHub Desktop.
Save zaphar/1adc8d461097c52ff32f to your computer and use it in GitHub Desktop.
Download ZIP
Hoon type fail example
Raw
gistfile1.txt
|%
++ showcode :: This works as expected.
|= [code=tape]
;code
;pre: {code}
;pre: {<.*(~ (make (crip code)))>}
==
++ newline :: This works as expected.
|* [a=tape b=tape]
;: welp
a
"\0a"
b
==
++ testcode :: This works as expected.
;: newlines
"=+ a=1"
"a"
==
++ test
(showcode testcode) :: This apparently causes a type fail.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment