Skip to content

Instantly share code, notes, and snippets.

@bukzor

bukzor/gist:ecf6831a98c54b63c4eb961385f45bf5

Last active August 1, 2020 22:56
Show Gist options
  • Save bukzor/ecf6831a98c54b63c4eb961385f45bf5 to your computer and use it in GitHub Desktop.
Save bukzor/ecf6831a98c54b63c4eb961385f45bf5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
head.splitc_example3 : The(List(List(Char)), head.splitc('x', ['a', 'x', 'b']))
The.value<List(List(Char))>([['a'], ['b']])
Inside head.splitc_example3:
Found type... The(List(List(Char)),List.cons(List.cons('a',List.nil),List.cons(List.cons('b',List.nil),List.nil)))
Instead of... The(List(List(Char)),head.splitc('x',List.cons('a',List.cons('x',List.cons('b',List.nil)))))
On line 19:
18| head.splitc_example3 : The(List(List(Char)), head.splitc('x', ['a','x', 'b']))
19| The.value<List(List(Char))>([['a'], ['b']])
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment