Skip to content

Instantly share code, notes, and snippets.

@FlyingJester

FlyingJester/unique_integer.m

Created January 19, 2016 02:56
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save FlyingJester/2eeff9ee722806e0b3fb to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save FlyingJester/2eeff9ee722806e0b3fb to your computer and use it in GitHub Desktop.
Download ZIP
Raw
unique_integer.m
:- module unique_integer.
:- interface.
% Written without testing...ignore small errors :P
:- type xyz ---> xyz(int).
:- pred abc(int::in, xyz::uo) is det.
:- implementation.
:- import_module int.
% This seems bad...
% I'm kind of cheating the mode system by making a unique integer just by adding zero to it.
abc(Int, xyz(Int+0)).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment